Searched refs:rcr3 (Results 1 – 2 of 2) sorted by relevance
54 static __inline u_int rcr3(void);120 rcr3(void) in rcr3() function
433 (pmap->pm_pdirpa == (paddr_t) rcr3()));