cmpci_halt_input  154 dev/pci/cmpci.c int cmpci_halt_input(void *);
cmpci_halt_input  184 dev/pci/cmpci.c 	cmpci_halt_input,	/* halt_input */