kvm_vz_dequeue_irq
kvm_vz_dequeue_irq(vcpu, MIPS_EXC_INT_TIMER);
kvm_vz_dequeue_irq(vcpu, kvm_irq_to_priority(-intr));