pmap_get_kcr3
WAKECODE_FIXUP(wakeup_cr3, register_t, pmap_get_kcr3());
copyin_fast_tramp(udaddr, kaddr, len, pmap_get_kcr3()) == 0))
copyout_fast_tramp(kaddr, udaddr, len, pmap_get_kcr3()) == 0))
res = fubyte_fast_tramp(base, pmap_get_kcr3());
res = fuword16_fast_tramp(base, pmap_get_kcr3());
if (fueword_fast_tramp(base, val, pmap_get_kcr3()) == 0)
if (fast_copyout && subyte_fast_tramp(base, byte, pmap_get_kcr3()) == 0)
if (fast_copyout && suword16_fast_tramp(base, word, pmap_get_kcr3())
if (fast_copyout && suword_fast_tramp(base, word, pmap_get_kcr3()) == 0)
thread0.td_pcb->pcb_cr3 = pmap_get_kcr3();
dblfault_tss->tss_cr3 = pmap_get_kcr3();
u_int pmap_get_kcr3(void);