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