Searched refs:read_dr0 (Results 1 – 3 of 3) sorted by relevance
108 read_dr0(), read_dr1(), read_dr2()); in Debug_Registers()231 kprintf("DR0: 0x%lx\n", read_dr0()); in Debug_ListBreakpoints()
105 read_dr0(), read_dr1(), read_dr2()); in Trap_Dump()
194 static INLINE uint64_t read_dr0() in read_dr0() function