get_cr3           210 bsp/hal/x86/arch/mmu.c 	if (phys != get_cr3())
get_cr3            45 bsp/hal/x86/include/cpufunc.h uint32_t get_cr3(void);