mp_cpu_spinloop
extern uint32_t mp_cpu_spinloop[];
(vm_offset_t)mp_cpu_spinloop;
(vm_offset_t)&mp_cpu_spinloop;
(vm_offset_t)mp_cpu_spinloop;
bcopy(mp_cpu_spinloop, release_vaddr, size);