Symbol: PLIC_READ
sys/arch/riscv/dev/plic.c
127
while ((pending = PLIC_READ(sc, claim_addr)) > 0) {
sys/arch/riscv/dev/plic.c
155
uint32_t reg = PLIC_READ(sc, addr);
sys/arch/riscv/dev/plic.c
168
uint32_t reg = PLIC_READ(sc, addr);