Searched refs:cid_print_head (Results 1 – 1 of 1) sorted by relevance
3109 char cid_print_head; member3211 if (cid->cid_print_head) { in cpuinfo_walk_cpu()3216 cid->cid_print_head = FALSE; in cpuinfo_walk_cpu()3267 cid->cid_print_head = TRUE; in cpuinfo_walk_cpu()3336 cid->cid_print_head = TRUE; in cpuinfo_walk_cpu()3405 cid->cid_print_head = TRUE; in cpuinfo_walk_cpu()3411 if (cid->cid_print_head) in cpuinfo_walk_cpu()3426 cid.cid_print_head = DCMD_HDRSPEC(flags) ? TRUE : FALSE; in cpuinfo()3440 cid.cid_print_head = TRUE; in cpuinfo()