/* Read RTC content through its registers using MMIO access. */
STATIC UINT8 MmioRtcRead(IN UINTN Address)
/* Read RTC content through its registers using MMIO access. */
STATIC UINT8 MmioRtcRead(IN UINTN Address)
{
  MmioWrite8 (
    mRtcIndexRegister,
    (UINT8)(Address | (UINT8)(MmioRead8 (mRtcIndexRegister) & 0x80))
    );
  return MmioRead8 (mRtcTargetRegister);
}