porttypes         151 drivers/uio/uio.c 	const char *porttypes[] = {"none", "x86", "gpio", "other"};
porttypes         156 drivers/uio/uio.c 	return sprintf(buf, "port_%s\n", porttypes[port->porttype]);