68 static inline int is_ipi_mb_within_range(uint32_t local, uint32_t remote)  in is_ipi_mb_within_range()  argument
72 	if (remote >= ipi_total || local >= ipi_total)  in is_ipi_mb_within_range()
87 int ipi_mb_validate(uint32_t local, uint32_t remote, unsigned int is_secure)  in ipi_mb_validate()  argument
91 	if (!is_ipi_mb_within_range(local, remote))  in ipi_mb_validate()
95 	else if (IPI_IS_SECURE(remote) && !is_secure)  in ipi_mb_validate()
108 void ipi_mb_open(uint32_t local, uint32_t remote)  in ipi_mb_open()  argument
111 		      IPI_BIT_MASK(remote));  in ipi_mb_open()
113 		      IPI_BIT_MASK(remote));  in ipi_mb_open()
123 void ipi_mb_release(uint32_t local, uint32_t remote)  in ipi_mb_release()  argument
126 		      IPI_BIT_MASK(remote));  in ipi_mb_release()
138 int ipi_mb_enquire_status(uint32_t local, uint32_t remote)  in ipi_mb_enquire_status()  argument
144 	if (status & IPI_BIT_MASK(remote))  in ipi_mb_enquire_status()
147 	if (status & IPI_BIT_MASK(remote))  in ipi_mb_enquire_status()
162 void ipi_mb_notify(uint32_t local, uint32_t remote, uint32_t is_blocking)  in ipi_mb_notify()  argument
167 		      IPI_BIT_MASK(remote));  in ipi_mb_notify()
172 		} while (status & IPI_BIT_MASK(remote));  in ipi_mb_notify()
184 void ipi_mb_ack(uint32_t local, uint32_t remote)  in ipi_mb_ack()  argument
187 		      IPI_BIT_MASK(remote));  in ipi_mb_ack()
198 void ipi_mb_disable_irq(uint32_t local, uint32_t remote)  in ipi_mb_disable_irq()  argument
201 		      IPI_BIT_MASK(remote));  in ipi_mb_disable_irq()
212 void ipi_mb_enable_irq(uint32_t local, uint32_t remote)  in ipi_mb_enable_irq()  argument
215 		      IPI_BIT_MASK(remote));  in ipi_mb_enable_irq()