cmpci_halt_output  153 dev/pci/cmpci.c int cmpci_halt_output(void *);
cmpci_halt_output  183 dev/pci/cmpci.c 	cmpci_halt_output,	/* halt_output */