Searched refs:cid_print_head (Results 1 – 1 of 1) sorted by relevance
2851 char cid_print_head; member2947 if (cid->cid_print_head) { in cpuinfo_walk_cpu()2952 cid->cid_print_head = FALSE; in cpuinfo_walk_cpu()3002 cid->cid_print_head = TRUE; in cpuinfo_walk_cpu()3071 cid->cid_print_head = TRUE; in cpuinfo_walk_cpu()3139 cid->cid_print_head = TRUE; in cpuinfo_walk_cpu()3145 if (cid->cid_print_head) in cpuinfo_walk_cpu()3160 cid.cid_print_head = DCMD_HDRSPEC(flags) ? TRUE : FALSE; in cpuinfo()3174 cid.cid_print_head = TRUE; in cpuinfo()