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()
98 	} else if (IPI_IS_SECURE(remote) && (is_secure == 0U)) {  in ipi_mb_validate()
113 void ipi_mb_open(uint32_t local, uint32_t remote)  in ipi_mb_open()  argument
119 		      IPI_BIT_MASK(remote));  in ipi_mb_open()
121 		      IPI_BIT_MASK(remote));  in ipi_mb_open()
130 void ipi_mb_release(uint32_t local, uint32_t remote)  in ipi_mb_release()  argument
135 		      IPI_BIT_MASK(remote));  in ipi_mb_release()
146 uint32_t ipi_mb_enquire_status(uint32_t local, uint32_t remote)  in ipi_mb_enquire_status()  argument
154 	if ((status & IPI_BIT_MASK(remote)) != 0U) {  in ipi_mb_enquire_status()
158 	if ((status & IPI_BIT_MASK(remote)) != 0U) {  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
181 		      IPI_BIT_MASK(remote));  in ipi_mb_notify()
185 		} while ((status & IPI_BIT_MASK(remote)) != 0U);  in ipi_mb_notify()
197 void ipi_mb_ack(uint32_t local, uint32_t remote)  in ipi_mb_ack()  argument
202 		      IPI_BIT_MASK(remote));  in ipi_mb_ack()
213 void ipi_mb_disable_irq(uint32_t local, uint32_t remote)  in ipi_mb_disable_irq()  argument
218 		      IPI_BIT_MASK(remote));  in ipi_mb_disable_irq()
229 void ipi_mb_enable_irq(uint32_t local, uint32_t remote)  in ipi_mb_enable_irq()  argument
234 		      IPI_BIT_MASK(remote));  in ipi_mb_enable_irq()