pub const VMCS_GUEST_TR_BASE: u32 = 0x00006814;