Searched refs:rcr4 (Results 1 – 4 of 4) sorted by relevance
56 static __inline u_int rcr4(void);134 rcr4(void) in rcr4() function
293 cr4save = rcr4(); /* save cr4 */
1118 lcr4(rcr4() | CR4_TSD);1854 lcr4(rcr4() | CR4_OSFXSR); in identifycpu()1865 lcr4(rcr4() | CR4_OSXMMEXCPT); in identifycpu()
816 lcr4(rcr4() | CR4_PGE); /* enable hardware (via %cr4) */