to_svm(vcpu)->msrpm;
offset = svm_msrpm_offset(msr);
+ if (KVM_BUG_ON(offset == MSR_INVALID, vcpu->kvm))
+ return false;
+
bit_write = 2 * (msr & 0x0f) + 1;
tmp = msrpm[offset];
- BUG_ON(offset == MSR_INVALID);
-
return test_bit(bit_write, &tmp);
}
write = 0;
offset = svm_msrpm_offset(msr);
+ if (KVM_BUG_ON(offset == MSR_INVALID, vcpu->kvm))
+ return;
+
bit_read = 2 * (msr & 0x0f);
bit_write = 2 * (msr & 0x0f) + 1;
tmp = msrpm[offset];
- BUG_ON(offset == MSR_INVALID);
-
read ? clear_bit(bit_read, &tmp) : set_bit(bit_read, &tmp);
write ? clear_bit(bit_write, &tmp) : set_bit(bit_write, &tmp);