p_cpuid          1341 kern/kern_sysctl.c 		ki->p_cpuid = KI_NOCPU;
p_cpuid          1344 kern/kern_sysctl.c 			ki->p_cpuid = CPU_INFO_UNIT(p->p_cpu);
p_cpuid           462 sys/sysctl.h   	u_int64_t p_cpuid;		/* LONG: CPU id */