CPU_INFO_UNIT     536 ddb/db_command.c 		db_printf("ddb{%d}> ", CPU_INFO_UNIT(curcpu()));
CPU_INFO_UNIT    1344 kern/kern_sysctl.c 			ki->p_cpuid = CPU_INFO_UNIT(p->p_cpu);