/drivers/mailbox/stm32-ipcc.mod.c