set_cr3           211 bsp/hal/x86/arch/mmu.c 		set_cr3(phys);
set_cr3            44 bsp/hal/x86/include/cpufunc.h void	 set_cr3(uint32_t);