Searched defs:__readcr3 (Results 1 – 10 of 10) sorted by relevance
613 static __inline__ unsigned __LPTRINT_TYPE__ __DEFAULT_FN_ATTRS __readcr3(void) { in __readcr3() function
612 static __inline__ unsigned __LPTRINT_TYPE__ __DEFAULT_FN_ATTRS __readcr3(void) { in __readcr3() function
402 static __inline__ unsigned __LPTRINT_TYPE__ __DEFAULT_FN_ATTRS __readcr3(void) { in __readcr3() function
321 static __inline__ __attribute__((always_inline)) unsigned long __readcr3(void) in __readcr3() function
325 static __inline__ __attribute__((always_inline)) unsigned long __readcr3(void) in __readcr3() function
938 __readcr3(void) { in __readcr3() function