DB_TRAP_WATCHPOINT
case DB_TRAP_WATCHPOINT:
kdb_trap(DB_TRAP_WATCHPOINT, tf);
((type) == DB_TRAP_BREAKPOINT || (type) == DB_TRAP_WATCHPOINT)
((type) == DB_TRAP_WATCHPOINT)