// 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*/
}