diff options
Diffstat (limited to 'src/isa_settings.rs')
| -rw-r--r-- | src/isa_settings.rs | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/isa_settings.rs b/src/isa_settings.rs index 76fab5a..c996bd2 100644 --- a/src/isa_settings.rs +++ b/src/isa_settings.rs @@ -764,6 +764,13 @@ macro_rules! gen_isa_settings { return Err(<$decode_err>::InvalidOpcode); } } + <$opcode>::INVEPT | + <$opcode>::INVVPID => { + if !settings.vmx() { + return Err(<$decode_err>::InvalidOpcode); + } + } + other => { if !settings.bmi1() { if BMI1.contains(&other) { |