Searching in libplatsupport/src/arch/riscv/irqchip