cd6b168ee28d
1 2 3
DBREGC accepts breakpoint specifications on the command line and prints out the corresponding IA32 hardware debug register values in a format usful for kernel debugging with ddb.