/include/sbi_utils/ipi/

• ../
• aclint_mswi.h
• fdt_ipi.h