PCI_EHCI_USBLEGSUP
legsup = pci_conf_read(pc, tag, addr + PCI_EHCI_USBLEGSUP);
pci_conf_write(pc, tag, addr + PCI_EHCI_USBLEGSUP,
legsup = pci_conf_read(pc, tag, addr + PCI_EHCI_USBLEGSUP);
pci_conf_write(pc, tag, addr + PCI_EHCI_USBLEGSUP,
addr + PCI_EHCI_USBLEGSUP);
addr + PCI_EHCI_USBLEGSUP, 0);