Symbol: IA32_DEBUG_INTERFACE
sys/arch/amd64/include/specialreg.h
1105
#define IA32_DEBUG_INTERFACE 0xc80
sys/arch/i386/include/specialreg.h
790
#define IA32_DEBUG_INTERFACE 0xc80