Symbol: zynqmp_ipi_free_mboxes