Searched refs:irqs_pending_mask (Results 1 – 2 of 2) sorted by relevance
138 WRITE_ONCE(vcpu->arch.irqs_pending_mask, 0); in kvm_riscv_reset_vcpu()462 WRITE_ONCE(vcpu->arch.irqs_pending_mask, 0); in kvm_riscv_vcpu_set_reg_csr()680 if (READ_ONCE(vcpu->arch.irqs_pending_mask)) { in kvm_riscv_vcpu_flush_interrupts()681 mask = xchg_acquire(&vcpu->arch.irqs_pending_mask, 0); in kvm_riscv_vcpu_flush_interrupts()703 &v->irqs_pending_mask)) in kvm_riscv_vcpu_sync_interrupts()707 &v->irqs_pending_mask)) in kvm_riscv_vcpu_sync_interrupts()725 set_bit(irq, &vcpu->arch.irqs_pending_mask); in kvm_riscv_vcpu_set_interrupt()741 set_bit(irq, &vcpu->arch.irqs_pending_mask); in kvm_riscv_vcpu_unset_interrupt()
202 unsigned long irqs_pending_mask; member
