XHCI_XECP_BIOS_SEM
bios_sem = bus_read_1(res, eecp + XHCI_XECP_BIOS_SEM);
XHCI_XECP_BIOS_SEM);
bus_write_1(res, eecp + XHCI_XECP_BIOS_SEM, 0x00);
bios_sem = XREAD1(sc, capa, eecp + XHCI_XECP_BIOS_SEM);
bios_sem = XREAD1(sc, capa, eecp + XHCI_XECP_BIOS_SEM);