Searched refs:read_cr4 (Results 1 – 3 of 3) sorted by relevance
106 read_cr3(), read_cr4()); in Debug_Registers()
103 read_cr3(), read_cr4()); in Trap_Dump()
173 static INLINE uint64_t read_cr4() in read_cr4() function