envy_trigger_output
int envy_trigger_output(void *, void *, void *, int,
.trigger_output = envy_trigger_output,