Searched refs:irqs_pending_mask (Results 1 – 2 of 2) sorted by relevance
66 WRITE_ONCE(vcpu->arch.irqs_pending_mask, 0); in kvm_riscv_reset_vcpu()332 WRITE_ONCE(vcpu->arch.irqs_pending_mask, 0); in kvm_riscv_vcpu_set_reg_csr()472 if (READ_ONCE(vcpu->arch.irqs_pending_mask)) { in kvm_riscv_vcpu_flush_interrupts()473 mask = xchg_acquire(&vcpu->arch.irqs_pending_mask, 0); in kvm_riscv_vcpu_flush_interrupts()495 &v->irqs_pending_mask)) in kvm_riscv_vcpu_sync_interrupts()499 &v->irqs_pending_mask)) in kvm_riscv_vcpu_sync_interrupts()514 set_bit(irq, &vcpu->arch.irqs_pending_mask); in kvm_riscv_vcpu_set_interrupt()530 set_bit(irq, &vcpu->arch.irqs_pending_mask); in kvm_riscv_vcpu_unset_interrupt()
184 unsigned long irqs_pending_mask; member
Completed in 6 milliseconds