HEADER: sbi_utils/ipi/fdt_ipi.h
TYPE: const struct fdt_driver
NAME: fdt_ipi_drivers