Searched refs:printed_header (Results 1 – 1 of 1) sorted by relevance
233 static int printed_header = 0; in dump_user_access() local234 if (!printed_header) { in dump_user_access()237 printed_header = 1; in dump_user_access()