WriteCapReg32
WriteCapReg32(eecp, eec | XHCI_LEGSUP_OSOWNED);
WriteCapReg32(eecp, eec & ~XHCI_LEGSUP_BIOSOWNED);
WriteCapReg32(eecp + XHCI_LEGCTLSTS, legctlsts);
inline void WriteCapReg32(uint32 reg, uint32 value);