Searched defs:read_cr4 (Results 1 – 3 of 3) sorted by relevance
140 static inline unsigned long read_cr4(void) in read_cr4() function
83 static inline unsigned long read_cr4(void) in read_cr4() function
114 unsigned long (*read_cr4)(void); member