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