getcr3
(ulong_t)real_mode_platter->rm_pdbr, getcr3()))
real_mode_platter->rm_pdbr = getcr3();
(ulong_t)real_mode_platter->rm_pdbr, getcr3()))
(ulong_t)wcpp->rm_pdbr, getcr3()))
real_mode_platter->rm_pdbr = getcr3();
if (getcr3() > 0xffffffffUL)
(unsigned long long)getcr3());
printf("cr3: %lx ", getcr3());
extern ulong_t getcr3(void);
#define getcr3_pa() (getcr3() & MMU_PAGEMASK)
(getcr3() & MMU_PAGEOFFSET) : PCID_NONE)
setcr3(getcr3());
ASSERT((getcr3() & MMU_PAGEOFFSET) == PCID_NONE);
kpti_safe_cr3 = (uint64_t)getcr3();