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