zephyr/drivers/ipi
..
ipi_quark_se.c
ipi_quark_se.h
ipi_static_irq_stubs.S
Kconfig
Makefile