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