/* If 64-bit I/O port operations are not supported, then ASSERT(). If Port 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 IoBitFieldRead64(IN UINTN Port, IN UINTN StartBit, IN UINTN EndBit)
/* If 64-bit I/O port operations are not supported, then ASSERT(). If Port 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 IoBitFieldRead64(IN UINTN Port, IN UINTN StartBit, IN UINTN EndBit)
{
  return BitFieldRead64 (IoRead64 (Port), StartBit, EndBit);
}