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