cs4231_halt_input
int cs4231_halt_input(void *);
.halt_input = cs4231_halt_input,
cs4231_halt_input(sc);