64  * @remote: remote IPI ID.
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()
83  * @remote: remote IPI ID.
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()
97 	} else if (IPI_IS_SECURE(remote) && !is_secure) {  in ipi_mb_validate()
109  * @remote: remote IPI ID.
112 void ipi_mb_open(uint32_t local, uint32_t remote)  in ipi_mb_open()  argument
115 		      IPI_BIT_MASK(remote));  in ipi_mb_open()
117 		      IPI_BIT_MASK(remote));  in ipi_mb_open()
123  * @remote: remote IPI ID.
126 void ipi_mb_release(uint32_t local, uint32_t remote)  in ipi_mb_release()  argument
129 		      IPI_BIT_MASK(remote));  in ipi_mb_release()
135  * @remote: remote IPI ID.
141 int ipi_mb_enquire_status(uint32_t local, uint32_t remote)  in ipi_mb_enquire_status()  argument
147 	if ((status & IPI_BIT_MASK(remote)) != 0U) {  in ipi_mb_enquire_status()
151 	if ((status & IPI_BIT_MASK(remote)) != 0U) {  in ipi_mb_enquire_status()
161  * @remote: remote IPI ID.
164  * It sets the remote bit in the IPI agent trigger register.
167 void ipi_mb_notify(uint32_t local, uint32_t remote, uint32_t is_blocking)  in ipi_mb_notify()  argument
172 		      IPI_BIT_MASK(remote));  in ipi_mb_notify()
177 		} while ((status & IPI_BIT_MASK(remote)) != 0U);  in ipi_mb_notify()
184  * @remote: remote IPI ID.
186  * It will clear the remote bit in the isr register.
189 void ipi_mb_ack(uint32_t local, uint32_t remote)  in ipi_mb_ack()  argument
192 		      IPI_BIT_MASK(remote));  in ipi_mb_ack()
198  * @remote: remote IPI ID.
200  * It will mask the remote bit in the idr register.
203 void ipi_mb_disable_irq(uint32_t local, uint32_t remote)  in ipi_mb_disable_irq()  argument
206 		      IPI_BIT_MASK(remote));  in ipi_mb_disable_irq()
212  * @remote: remote IPI ID.
214  * It will mask the remote bit in the idr register.
217 void ipi_mb_enable_irq(uint32_t local, uint32_t remote)  in ipi_mb_enable_irq()  argument
220 		      IPI_BIT_MASK(remote));  in ipi_mb_enable_irq()