/include/sbi_utils/ipi/
../
fdt_ipi.h