emuxki_round_buffersize  178 dev/pci/emuxki.c size_t	emuxki_round_buffersize(void *, int, size_t);
emuxki_round_buffersize  252 dev/pci/emuxki.c 	emuxki_round_buffersize,