040000 tree ef9987ddf3eba6c3b1eac9699e29c2eaf95bc9b3	include
100644 blob 8fa7bc563ff60b699d59c60f74b7a28dbdab1cfb	ipi.c
040000 tree 0b3350bc35055d6debe012236a05fd68e33cdedb	ipi_mailbox_service
100644 blob de9cf4d0166f18f16ea54a28ddbc66d2a9a2274f	plat_startup.c
040000 tree 1b7193066d4471e043e7fc018d6b27b77fc91090	pm_service