debug_read_reset_dr6
exc_debug_kernel(regs, debug_read_reset_dr6());
exc_debug_user(regs, debug_read_reset_dr6());
unsigned long dr6 = debug_read_reset_dr6();