emuxki_set_port   188 dev/pci/emuxki.c int	emuxki_set_port(void *, mixer_ctrl_t *);
emuxki_set_port   247 dev/pci/emuxki.c 	emuxki_set_port,