69 static inline int is_ipi_mb_within_range(uint32_t local, uint32_t remote)  in is_ipi_mb_within_range()  argument
73 	if (remote >= ipi_total || local >= ipi_total) {  in is_ipi_mb_within_range()
89 int ipi_mb_validate(uint32_t local, uint32_t remote, unsigned int is_secure)  in ipi_mb_validate()  argument
93 	if (!is_ipi_mb_within_range(local, remote)) {  in ipi_mb_validate()
95 	} else if (IPI_IS_SECURE(local) && !is_secure) {  in ipi_mb_validate()
112 void ipi_mb_open(uint32_t local, uint32_t remote)  in ipi_mb_open()  argument
114 	mmio_write_32(IPI_REG_BASE(local) + IPI_IDR_OFFSET,  in ipi_mb_open()
116 	mmio_write_32(IPI_REG_BASE(local) + IPI_ISR_OFFSET,  in ipi_mb_open()
126 void ipi_mb_release(uint32_t local, uint32_t remote)  in ipi_mb_release()  argument
128 	mmio_write_32(IPI_REG_BASE(local) + IPI_IDR_OFFSET,  in ipi_mb_release()
141 int ipi_mb_enquire_status(uint32_t local, uint32_t remote)  in ipi_mb_enquire_status()  argument
146 	status = mmio_read_32(IPI_REG_BASE(local) + IPI_OBR_OFFSET);  in ipi_mb_enquire_status()
150 	status = mmio_read_32(IPI_REG_BASE(local) + IPI_ISR_OFFSET);  in ipi_mb_enquire_status()
167 void ipi_mb_notify(uint32_t local, uint32_t remote, uint32_t is_blocking)  in ipi_mb_notify()  argument
171 	mmio_write_32(IPI_REG_BASE(local) + IPI_TRIG_OFFSET,  in ipi_mb_notify()
175 			status = mmio_read_32(IPI_REG_BASE(local) +  in ipi_mb_notify()
189 void ipi_mb_ack(uint32_t local, uint32_t remote)  in ipi_mb_ack()  argument
191 	mmio_write_32(IPI_REG_BASE(local) + IPI_ISR_OFFSET,  in ipi_mb_ack()
203 void ipi_mb_disable_irq(uint32_t local, uint32_t remote)  in ipi_mb_disable_irq()  argument
205 	mmio_write_32(IPI_REG_BASE(local) + IPI_IDR_OFFSET,  in ipi_mb_disable_irq()
217 void ipi_mb_enable_irq(uint32_t local, uint32_t remote)  in ipi_mb_enable_irq()  argument
219 	mmio_write_32(IPI_REG_BASE(local) + IPI_IER_OFFSET,  in ipi_mb_enable_irq()