pub const VMCS_GUEST_IA32_DEBUGCTL: u32 = 0x00002802;