__next_service_by_instance
while ((service = __next_service_by_instance(instance->state,
while ((service = __next_service_by_instance(instance->state,
service = __next_service_by_instance(state, instance, pidx);
__next_service_by_instance(struct vchiq_state *state,