64  * @remote - remote IPI ID
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()
82  * @remote - remote IPI ID
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()
105  * @remote - remote IPI ID
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()
120  * @remote - remote IPI ID
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()
133  * @remote - remote IPI ID
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()
156  * @remote - remote IPI ID
159  * It sets the remote bit in the IPI agent trigger register.
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()
179  * @remote - remote IPI ID
181  * It will clear the remote bit in the isr register.
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()
193  * @remote - remote IPI ID
195  * It will mask the remote bit in the idr register.
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()
207  * @remote - remote IPI ID
209  * It will mask the remote bit in the idr register.
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()