aria_halt_input   182 dev/isa/aria.c int	aria_halt_input(void *);
aria_halt_input   249 dev/isa/aria.c 	aria_halt_input,