Searched defs:__writecr3 (Results 1 – 3 of 3) sorted by relevance
399 static __inline__ __attribute__((always_inline)) void __writecr3(unsigned long Data) in __writecr3() function
395 static __inline__ __attribute__((always_inline)) void __writecr3(unsigned long Data) in __writecr3() function
945 __writecr3(unsigned int __cr3_val) { in __writecr3() function