|
@@ -393,7 +393,7 @@ int kvm_arch_vcpu_ioctl_run(struct kvm_vcpu *vcpu, struct kvm_run *run)
|
|
|
kvm_mips_deliver_interrupts(vcpu,
|
|
|
kvm_read_c0_guest_cause(vcpu->arch.cop0));
|
|
|
|
|
|
- kvm_guest_enter();
|
|
|
+ __kvm_guest_enter();
|
|
|
|
|
|
/* Disable hardware page table walking while in guest */
|
|
|
htw_stop();
|
|
@@ -403,7 +403,7 @@ int kvm_arch_vcpu_ioctl_run(struct kvm_vcpu *vcpu, struct kvm_run *run)
|
|
|
/* Re-enable HTW before enabling interrupts */
|
|
|
htw_start();
|
|
|
|
|
|
- kvm_guest_exit();
|
|
|
+ __kvm_guest_exit();
|
|
|
local_irq_enable();
|
|
|
|
|
|
if (vcpu->sigset_active)
|