pub const VMX_REASON_INVD: u64 = 13;