/roms/opensbi/lib/utils/ipi/

• ../
• fdt_ipi.c
• fdt_ipi_clint.c
• objects.mk