/src/drivers/intel/fsp2_0/ppi/
../
Kconfig
Makefile.inc
mp_service_ppi.c