auixp_halt_output  121 dev/pci/auixp.c int	auixp_halt_output(void *);
auixp_halt_output  190 dev/pci/auixp.c 	auixp_halt_output,