pub const VMCS_GUEST_SMBASE: u32 = 0x00004828;