Searched refs:pend_addr (Results 1 – 1 of 1) sorted by relevance
385 mem_addr_t pend_addr = get_pending_reg(dev, local_irq); in riscv_plic_irq_set_pending() local386 uint32_t pend_value = sys_read32(pend_addr); in riscv_plic_irq_set_pending()389 sys_write32(pend_value, pend_addr); in riscv_plic_irq_set_pending()
