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