/* Write 8 bytes to Trace Hub MMIO addr + 0x0. */
VOID EFIAPI MipiSystWriteD64(IN VOID *MipiSystHandle, IN UINT64 Data)
/* Write 8 bytes to Trace Hub MMIO addr + 0x0. */
VOID EFIAPI MipiSystWriteD64(IN VOID *MipiSystHandle, IN UINT64 Data)
{
  MIPI_SYST_HANDLE  *MipiSystH;
  MipiSystH = (MIPI_SYST_HANDLE *)MipiSystHandle;
  MmioWrite64 ((UINTN)(MipiSystH->systh_platform.TraceHubPlatformData.MmioAddr + 0x0), Data);
}