CPU_NUMBER         51 kern/kern_lock.c #define CPU_NUMBER() cpu_number()
CPU_NUMBER         53 kern/kern_lock.c #define CPU_NUMBER() 0