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()
97 	} else if (IPI_IS_SECURE(remote) && !is_secure) {  in ipi_mb_validate()
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()
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()
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)) {  in ipi_mb_enquire_status()
151 	if (status & IPI_BIT_MASK(remote)) {  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
172 		      IPI_BIT_MASK(remote));  in ipi_mb_notify()
177 		} while (status & IPI_BIT_MASK(remote));  in ipi_mb_notify()
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()
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()
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()