linux_dsm_epyc7002/drivers/mailbox
..
Kconfig
Makefile
pl320-ipc.c