// Decompiled: 0xffe06e07
// Function: BitFieldRead32
// Module: TxtPei.efi (TXTPEI)

int __cdecl BitFieldRead32(int a1)
{
  int v1; // ecx
  int v2; // ecx

  IoRead8(v1, 1, 0); /*0xffe06e12*/
  v2 = a1; /*0xffe06e17*/
  if ( *(_QWORD *)(*(_DWORD *)(a1 + 24) + 16) ) /*0xffe06e20*/
    LtPeiLibLaunchBiosAcm(a1, 6); /*0xffe06e2b*/
  return IoRead8(v2, 0, 0); /*0xffe06e3f*/
}