auixp_halt_input  122 dev/pci/auixp.c int	auixp_halt_input(void *);
auixp_halt_input  191 dev/pci/auixp.c 	auixp_halt_input,