pub const VMCS_GUEST_LINK_POINTER: u32 = 0x00002800;