Searched defs:__readcr3 (Results 1 – 3 of 3) sorted by relevance
325 static __inline__ __attribute__((always_inline)) unsigned long __readcr3(void) in __readcr3() function
321 static __inline__ __attribute__((always_inline)) unsigned long __readcr3(void) in __readcr3() function
938 __readcr3(void) { in __readcr3() function