040000 tree 9f33bc4313f0fec7ea5475fb5c9235b288180b3e	include
100644 blob 2f52f38f33895bf163e6eae1ab31b1ea0a73916f	ipi.c
040000 tree ada1acc515293f10f0c4698baf595ddec0f71d7a	ipi_mailbox_service
100644 blob de9cf4d0166f18f16ea54a28ddbc66d2a9a2274f	plat_startup.c
040000 tree 3e5f5f8a0682de9461fee97ab19b5cd20b2d0d51	pm_service