emuxki_halt_output  184 dev/pci/emuxki.c int	emuxki_halt_output(void *);
emuxki_halt_output  242 dev/pci/emuxki.c 	emuxki_halt_output,