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