Searched defs:__readcr4 (Results 1 – 2 of 2) sorted by relevance
330 static __inline__ __attribute__((always_inline)) unsigned long __readcr4(void) in __readcr4() function
334 static __inline__ __attribute__((always_inline)) unsigned long __readcr4(void) in __readcr4() function