75 		volatile const struct ivc_channel_header *ch)  in ivc_channel_empty()  argument
82 	uint32_t wr_count = ch->w_count;  in ivc_channel_empty()
83 	uint32_t rd_count = ch->r_count;  in ivc_channel_empty()
106 		volatile const struct ivc_channel_header *ch)  in ivc_channel_full()  argument
108 	uint32_t wr_count = ch->w_count;  in ivc_channel_full()
109 	uint32_t rd_count = ch->r_count;  in ivc_channel_full()
121 		volatile const struct ivc_channel_header *ch)  in ivc_channel_avail_count()  argument
123 	uint32_t wr_count = ch->w_count;  in ivc_channel_avail_count()
124 	uint32_t rd_count = ch->r_count;  in ivc_channel_avail_count()
222 				volatile const struct ivc_channel_header *ch,  in ivc_frame_pointer()  argument
226 	return (void *)((uintptr_t)(&ch[1]) +  in ivc_frame_pointer()