pub const VMCS_GUEST_DS_BASE: u32 = 0x0000680c;