// GetTimerValue - decompiled from Platform.efi
unsigned __int64 __fastcall GetTimerValue(unsigned int Pool, unsigned __int64 n23, unsigned __int64 n0x20)
{
  __int64 Pool_1; // rsi

  Pool_1 = Pool; /*0xac6f*/
  if ( n0x20 >= 0x20 ) /*0xac7b*/
    Assert((__int64)"e:\\hs\\MdePkg\\Library\\BaseLib\\BitField.c", 539, (__int64)"EndBit < 32"); /*0xac90*/
  if ( n23 > n0x20 ) /*0xac98*/
    Assert((__int64)"e:\\hs\\MdePkg\\Library\\BaseLib\\BitField.c", 540, (__int64)"StartBit <= EndBit"); /*0xacad*/
  return (Pool_1 & (unsigned __int64)~(-2LL << n0x20)) >> n23; /*0xacd5*/
}