pub const VMCS_GUEST_GDTR_LIMIT: u32 = 0x00004810;