Xilinx ZynqMP IPI Mailbox

modulename: zynqmp-ipi-mailbox.ko

configname: CONFIG_ZYNQMP_IPI_MBOX

Linux Kernel Configuration
└─>Device Drivers
└─>Mailbox Hardware Support
└─>Device Tree and Open Firmware support
└─>Xilinx ZynqMP IPI Mailbox
In linux kernel since version 5.1 (release Date: 2019-05-05)  
Say yes here to add support for Xilinx IPI mailbox driver.
This mailbox driver is used to send notification or short message
between processors with Xilinx ZynqMP IPI. It will place the
message to the IPI buffer and will access the IPI control
registers to kick the other processor or enquire status.

source code: