emuxki_close      170 dev/pci/emuxki.c void	emuxki_close(void *);
emuxki_close      232 dev/pci/emuxki.c 	emuxki_close,