pub const VMCS_GUEST_GDTR_BASE: u32 = 0x00006816;