70 static inline uint32_t is_ipi_mb_within_range(uint32_t local, uint32_t remote)  in is_ipi_mb_within_range()  argument
74 	if ((remote >= ipi_total) || (local >= ipi_total)) {  in is_ipi_mb_within_range()
90 int32_t ipi_mb_validate(uint32_t local, uint32_t remote, uint32_t is_secure)  in ipi_mb_validate()  argument
94 	if (is_ipi_mb_within_range(local, remote) == 0U) {  in ipi_mb_validate()
96 	} else if (IPI_IS_SECURE(local) && (is_secure == 0U)) {  in ipi_mb_validate()
113 void ipi_mb_open(uint32_t local, uint32_t remote)  in ipi_mb_open()  argument
115 	uint64_t idr_offset = (uint64_t)(IPI_REG_BASE(local) + IPI_IDR_OFFSET);  in ipi_mb_open()
116 	uint64_t isr_offset = (uint64_t)(IPI_REG_BASE(local) + IPI_ISR_OFFSET);  in ipi_mb_open()
130 void ipi_mb_release(uint32_t local, uint32_t remote)  in ipi_mb_release()  argument
132 	uint64_t idr_offset = (uint64_t)(IPI_REG_BASE(local) + IPI_IDR_OFFSET);  in ipi_mb_release()
146 uint32_t ipi_mb_enquire_status(uint32_t local, uint32_t remote)  in ipi_mb_enquire_status()  argument
150 	uint64_t obr_offset = (uint64_t)(IPI_REG_BASE(local) + IPI_OBR_OFFSET);  in ipi_mb_enquire_status()
151 	uint64_t isr_offset = (uint64_t)(IPI_REG_BASE(local) + IPI_ISR_OFFSET);  in ipi_mb_enquire_status()
174 void ipi_mb_notify(uint32_t local, uint32_t remote, uint32_t is_blocking)  in ipi_mb_notify()  argument
177 	uint64_t trig_offset = (uint64_t)(IPI_REG_BASE(local) + IPI_TRIG_OFFSET);  in ipi_mb_notify()
178 	uint64_t obr_offset = (uint64_t)(IPI_REG_BASE(local) + IPI_OBR_OFFSET);  in ipi_mb_notify()
197 void ipi_mb_ack(uint32_t local, uint32_t remote)  in ipi_mb_ack()  argument
199 	uint64_t isr_offset = (uint64_t)(IPI_REG_BASE(local) + IPI_ISR_OFFSET);  in ipi_mb_ack()
213 void ipi_mb_disable_irq(uint32_t local, uint32_t remote)  in ipi_mb_disable_irq()  argument
215 	uint64_t idr_offset = (uint64_t)(IPI_REG_BASE(local) + IPI_IDR_OFFSET);  in ipi_mb_disable_irq()
229 void ipi_mb_enable_irq(uint32_t local, uint32_t remote)  in ipi_mb_enable_irq()  argument
231 	uint64_t ier_offset = (uint64_t)(IPI_REG_BASE(local) + IPI_IER_OFFSET);  in ipi_mb_enable_irq()