Searched refs:rcr3 (Results 1 – 2 of 2) sorted by relevance
663 rcr3(void) in rcr3() function694 load_cr3(rcr3()); in cpu_invltlb()965 u_int rcr3(void);
754 #define x86_get_cr3() rcr3()762 #define x86_get_cr3() rcr3()