pub const VMCS_GUEST_IDTR_LIMIT: u32 = 0x00004812;