pub const IA32_DEBUGCTL_HIGH: u32 = 0x2803;
Expand description

Guest IA32_DEBUGCTL (high).