cs4231_halt_input  144 dev/sbus/cs4231.c int	cs4231_halt_input(void *);
cs4231_halt_input  170 dev/sbus/cs4231.c 	cs4231_halt_input,
cs4231_halt_input  479 dev/sbus/cs4231.c 	cs4231_halt_input(sc);