/* Write the data to the EHCI operation register. */
VOID EhcWriteOpReg(IN PEI_USB2_HC_DEV *Ehc, IN UINT32 Offset, IN UINT32 Data)
/* Write the data to the EHCI operation register. */
VOID EhcWriteOpReg(IN PEI_USB2_HC_DEV *Ehc, IN UINT32 Offset, IN UINT32 Data)
{
  ASSERT (Ehc->CapLen != 0);
  MmioWrite32 (Ehc->UsbHostControllerBaseAddress + Ehc->CapLen + Offset, Data);
}