Searched refs:lcr4 (Results 1 – 4 of 4) sorted by relevance
55 static __inline void lcr4(u_int);128 lcr4(u_int val) in lcr4() function
295 lcr4(cr4save & ~CR4_PGE);364 lcr4(cr4save); /* restore 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) */