Searched refs:irq_delegated (Results 1 – 1 of 1) sorted by relevance
434 uint64_t vsbits, irq_delegated; in riscv_cpu_local_irq_pending() local475 irq_delegated = pending & env->mideleg & env->hideleg; in riscv_cpu_local_irq_pending()478 vsbits = irq_delegated & VS_MODE_INTERRUPTS; in riscv_cpu_local_irq_pending()479 irq_delegated &= ~VS_MODE_INTERRUPTS; in riscv_cpu_local_irq_pending()480 irq_delegated |= vsbits >> 1; in riscv_cpu_local_irq_pending()482 irqs = (irq_delegated | irqs_f_vs) & -vsie; in riscv_cpu_local_irq_pending()