Searched refs:read_c0_guestctl2 (Results 1 – 2 of 2) sorted by relevance
325 if (!(read_c0_guestctl2() & (irq << 14))) in kvm_vz_irq_clear_cb()337 if (!(read_c0_guestctl2() & (irq << 14))) in kvm_vz_irq_clear_cb()2701 read_c0_guestctl2(); in kvm_vz_vcpu_put()
1512 #define read_c0_guestctl2() __read_32bit_c0_register($10, 5) macro