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