get_cr2           124 bsp/hal/x86/arch/trap.c 			 get_cr2(), curtask->name));
get_cr2           132 bsp/hal/x86/arch/trap.c 		printf(" Fault address=%x\n", get_cr2());
get_cr2            43 bsp/hal/x86/include/cpufunc.h uint32_t get_cr2(void);