Searched defs:__read_cr4 (Results 1 – 2 of 2) sorted by relevance
142 static inline unsigned long __read_cr4(void) in __read_cr4() function
89 static inline unsigned long __read_cr4(void) in __read_cr4() function