Searched refs:irqs_pending_mask (Results 1 – 2 of 2) sorted by relevance
81 WRITE_ONCE(vcpu->arch.irqs_pending_mask, 0); in kvm_riscv_reset_vcpu()372 WRITE_ONCE(vcpu->arch.irqs_pending_mask, 0); in kvm_riscv_vcpu_set_reg_csr()611 if (READ_ONCE(vcpu->arch.irqs_pending_mask)) { in kvm_riscv_vcpu_flush_interrupts()612 mask = xchg_acquire(&vcpu->arch.irqs_pending_mask, 0); in kvm_riscv_vcpu_flush_interrupts()634 &v->irqs_pending_mask)) in kvm_riscv_vcpu_sync_interrupts()638 &v->irqs_pending_mask)) in kvm_riscv_vcpu_sync_interrupts()653 set_bit(irq, &vcpu->arch.irqs_pending_mask); in kvm_riscv_vcpu_set_interrupt()669 set_bit(irq, &vcpu->arch.irqs_pending_mask); in kvm_riscv_vcpu_unset_interrupt()
205 unsigned long irqs_pending_mask; member