pub const VMX_REASON_EPT_VIOLATION: u64 = 48;