/* If 64-bit MMIO register operations are not supported, then ASSERT(). If Address is not aligned on a 64-bit boundary, then ASSERT(). If StartBit is greater than 63, then ASSERT(). If EndBit is greater than 63, then ASSERT(). If EndBit is less than StartBit, then ASSERT(). */
UINT64 EFIAPI MmioBitFieldRead64(IN UINTN Address, IN UINTN StartBit, IN UINTN EndBit)
/* If 64-bit MMIO register operations are not supported, then ASSERT(). If Address is not aligned on a 64-bit boundary, then ASSERT(). If StartBit is greater than 63, then ASSERT(). If EndBit is greater than 63, then ASSERT(). If EndBit is less than StartBit, then ASSERT(). */
UINT64 EFIAPI MmioBitFieldRead64(IN UINTN Address, IN UINTN StartBit, IN UINTN EndBit)
{
  return BitFieldRead64 (MmioRead64 (Address), StartBit, EndBit);
}