Searched refs:pend_value (Results 1 – 1 of 1) sorted by relevance
386 uint32_t pend_value = sys_read32(pend_addr); in riscv_plic_irq_set_pending() local388 WRITE_BIT(pend_value, local_irq & PLIC_REG_MASK, true); in riscv_plic_irq_set_pending()389 sys_write32(pend_value, pend_addr); in riscv_plic_irq_set_pending()
