Searched refs:read_cr4 (Results 1 – 2 of 2) sorted by relevance
52 static inline unsigned long read_cr4(void) in read_cr4() function
117 cr4 = read_cr4(); in dump_regs()