/src/drivers/intel/fsp2_0/ppi/

• ../
• Kconfig
• Makefile.inc
• mp_service1.c
• mp_service2.c
• mp_service_ppi.c