kernel/debug/debug_core.h

A (or the?) private implementation header file (for the communication between the kernel debugger core and the debugger front end code?).