__SIMPLELOCK_LOCKED
__cpu_simple_lock_t cpu_boot_mutex = __SIMPLELOCK_LOCKED;
u_int old = __SIMPLELOCK_LOCKED;