|
@@ -71,7 +71,6 @@ static DEFINE_PER_CPU(unsigned char, kvm_arm_hardware_enabled);
|
|
|
|
|
|
static void kvm_arm_set_running_vcpu(struct kvm_vcpu *vcpu)
|
|
|
{
|
|
|
- BUG_ON(preemptible());
|
|
|
__this_cpu_write(kvm_arm_running_vcpu, vcpu);
|
|
|
}
|
|
|
|
|
@@ -81,7 +80,6 @@ static void kvm_arm_set_running_vcpu(struct kvm_vcpu *vcpu)
|
|
|
*/
|
|
|
struct kvm_vcpu *kvm_arm_get_running_vcpu(void)
|
|
|
{
|
|
|
- BUG_ON(preemptible());
|
|
|
return __this_cpu_read(kvm_arm_running_vcpu);
|
|
|
}
|
|
|
|