pub const VMX_REASON_EPT_INVEPT: u64 = 50;