pub const VMCS_GUEST_DEBUG_EXC: u32 = 0x00006822;