XHCI_PS_SPEED_GET
if (XHCI_PS_SPEED_GET(portsc) != 0) {
switch (XHCI_PS_SPEED_GET(portsc)) {
(void) printf("(%d)\n", XHCI_PS_SPEED_GET(portsc));
switch (XHCI_PS_SPEED_GET(reg)) {