// Decompiled: 0xffe07ab1
// Function: CheckFeature
// Module: TxtPei.efi (TXTPEI)

int *__cdecl CheckFeature(int a1, int a2, _DWORD *a3, int *a4)
{
  int v4; // ecx

  v4 = CachePagingSetup(a3) + (*a3 & 0xFFFFFFF); /*0xffe07ac5*/
  *a4 = v4; /*0xffe07acc*/
  return a4; /*0xffe07acb*/
}