pub const VMCS_CTRL_VMFUNC_CTRL: u32 = 0x00002018;