auich_halt_input  273 dev/pci/auich.c int auich_halt_input(void *);
auich_halt_input  303 dev/pci/auich.c 	auich_halt_input,