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