35 #define EXCLAVES_CTL_TRAP _exclaves_ctl_trap  macro
37 #define EXCLAVES_CTL_TRAP(port, opf, id, buffer, size, offset, size2) ({ \  macro
58 	kr = EXCLAVES_CTL_TRAP(port, opf, endpoint_id, msg_buffer, size, 0, 0);  in exclaves_endpoint_call()
73 	return EXCLAVES_CTL_TRAP(port, opf, buffer_name,  in exclaves_outbound_buffer_create()
84 	return EXCLAVES_CTL_TRAP(outbound_buffer_port, opf,  in exclaves_outbound_buffer_copyout()
93 	return EXCLAVES_CTL_TRAP(port, opf, buffer_name,  in exclaves_inbound_buffer_create()
104 	return EXCLAVES_CTL_TRAP(inbound_buffer_port, opf,  in exclaves_inbound_buffer_copyin()
140 	return EXCLAVES_CTL_TRAP(port, opf, buffer_name,  in exclaves_named_buffer_create()
149 	return EXCLAVES_CTL_TRAP(named_buffer_port, opf, (exclaves_id_t)offset,  in exclaves_named_buffer_copyin()
158 	return EXCLAVES_CTL_TRAP(named_buffer_port, opf, (exclaves_id_t)offset,  in exclaves_named_buffer_copyout()
171 	return EXCLAVES_CTL_TRAP(port, opf, 0, 0, 0, 0, 0);  in exclaves_launch_conclave()
186 	kr = EXCLAVES_CTL_TRAP(port, opf, 0,  in exclaves_lookup_service()
198 	return EXCLAVES_CTL_TRAP(port, opf, stage, 0, 0, 0, 0);  in exclaves_boot()
206 	return EXCLAVES_CTL_TRAP(port, opf, (exclaves_id_t) buffer_name,  in exclaves_audio_buffer_create()
217 	return EXCLAVES_CTL_TRAP(audio_buffer_port, opf,  in exclaves_audio_buffer_copyout()
226 	return EXCLAVES_CTL_TRAP(port, opf, (exclaves_id_t) sensor_name,  in exclaves_sensor_create()
235 	return EXCLAVES_CTL_TRAP(sensor_port, opf, flags,  in exclaves_sensor_start()
244 	return EXCLAVES_CTL_TRAP(sensor_port, opf, flags,  in exclaves_sensor_stop()
253 	return EXCLAVES_CTL_TRAP(sensor_port, opf, flags,  in exclaves_sensor_status()
271 	kr = EXCLAVES_CTL_TRAP(port, opf, (exclaves_id_t)0,  in exclaves_notification_create()