Searched defs:__writecr4 (Results 1 – 2 of 2) sorted by relevance
404 static __inline__ __attribute__((always_inline)) void __writecr4(unsigned long Data) in __writecr4() function
408 static __inline__ __attribute__((always_inline)) void __writecr4(unsigned long Data) in __writecr4() function