/* If 32-bit MMIO register operations are not supported, then ASSERT(). */
UINT32 EFIAPI MmioRead32(IN UINTN Address)
/* If 32-bit MMIO register operations are not supported, then ASSERT(). */
UINT32 EFIAPI MmioRead32(IN UINTN Address)
{
  ASSERT ((Address & 3) == 0);
  return (UINT32)MmioReadWorker (Address, SMM_IO_UINT32);
}