acpi_uhub_upc_type
acpi_uhub_upc_type(porttypenum));
sbuf_printf(&sb, "%s port\n", acpi_uhub_upc_type(port->upc & 0xff));