kernel-fxtec-pro1x/drivers/mailbox
..
Kconfig
Makefile
pl320-ipc.c