Files
opensbi/lib/utils/irqchip/plic.c