mpentry_spintable
void mpentry_spintable(void);
pa = pmap_extract(kernel_pmap, (vm_offset_t)mpentry_spintable);