cs4231_halt_output
int cs4231_halt_output(void *);
.halt_output = cs4231_halt_output,
cs4231_halt_output(sc);