Searched refs:read_dr3 (Results 1 – 3 of 3) sorted by relevance
110 read_dr3(), read_dr6(), read_dr7()); in Debug_Registers()240 kprintf("DR3: 0x%lx\n", read_dr3()); in Debug_ListBreakpoints()
107 read_dr3(), read_dr6(), read_dr7()); in Trap_Dump()
245 static INLINE uint64_t read_dr3() in read_dr3() function