cs4231_halt_output  143 dev/sbus/cs4231.c int	cs4231_halt_output(void *);
cs4231_halt_output  169 dev/sbus/cs4231.c 	cs4231_halt_output,
cs4231_halt_output  480 dev/sbus/cs4231.c 	cs4231_halt_output(sc);