emuxki_halt_input  185 dev/pci/emuxki.c int	emuxki_halt_input(void *);
emuxki_halt_input  243 dev/pci/emuxki.c 	emuxki_halt_input,