pub const VMCS_GUEST_TR: u32 = 0x0000080e;