35 #define EXCLAVES_CTL_TRAP _exclaves_ctl_trap  macro
37 #define EXCLAVES_CTL_TRAP(port, opf, id, buffer, size, offset, size2, status) ({ \  macro
58 	kr = EXCLAVES_CTL_TRAP(port, opf, endpoint_id, msg_buffer, size, 0, 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()
141 	return EXCLAVES_CTL_TRAP(port, opf, 0, 0, 0, 0, 0, 0);  in exclaves_launch_conclave()
156 	kr = EXCLAVES_CTL_TRAP(port, opf, 0,  in exclaves_lookup_service()
168 	return EXCLAVES_CTL_TRAP(port, opf, stage, 0, 0, 0, 0, 0);  in exclaves_boot()
176 	return EXCLAVES_CTL_TRAP(port, opf, (exclaves_id_t) buffer_name,  in exclaves_audio_buffer_create()
187 	return EXCLAVES_CTL_TRAP(audio_buffer_port, opf,  in exclaves_audio_buffer_copyout()
199 	return EXCLAVES_CTL_TRAP(audio_buffer_port, opf,  in exclaves_audio_buffer_copyout_with_status()
210 	return EXCLAVES_CTL_TRAP(port, opf, (exclaves_id_t) sensor_name,  in exclaves_sensor_create()
219 	return EXCLAVES_CTL_TRAP(sensor_port, opf, flags,  in exclaves_sensor_start()
228 	return EXCLAVES_CTL_TRAP(sensor_port, opf, flags,  in exclaves_sensor_stop()
237 	return EXCLAVES_CTL_TRAP(sensor_port, opf, flags,  in exclaves_sensor_status()
255 	kr = EXCLAVES_CTL_TRAP(port, opf, (exclaves_id_t)0,  in exclaves_notification_create()