Searched refs:cid_print_head (Results 1 – 1 of 1) sorted by relevance
3112 char cid_print_head; member3214 if (cid->cid_print_head) { in cpuinfo_walk_cpu()3219 cid->cid_print_head = FALSE; in cpuinfo_walk_cpu()3270 cid->cid_print_head = TRUE; in cpuinfo_walk_cpu()3339 cid->cid_print_head = TRUE; in cpuinfo_walk_cpu()3408 cid->cid_print_head = TRUE; in cpuinfo_walk_cpu()3414 if (cid->cid_print_head) in cpuinfo_walk_cpu()3429 cid.cid_print_head = DCMD_HDRSPEC(flags) ? TRUE : FALSE; in cpuinfo()3443 cid.cid_print_head = TRUE; in cpuinfo()