pub const VMCS_GUEST_IDTR_BASE: u32 = 0x00006818;