auich_halt_output  272 dev/pci/auich.c int auich_halt_output(void *);
auich_halt_output  302 dev/pci/auich.c 	auich_halt_output,