// Decompiled: 0xffe07b0f
// Function: CacheRegionSetup
// Module: TxtPei.efi (TXTPEI)

int __cdecl CacheRegionSetup(_DWORD *a1, int a2)
{
  int v3; // [esp+Ch] [ebp-4h]

  v3 = CpuGetVersion((void *)6); /*0xffe07b3f*/
  a1[1] = 16 * a2 + 16; /*0xffe07b48*/
  if ( !a1[4] && !a1[5] ) /*0xffe07b64*/
  {
    *(_DWORD *)(v3 + 16) = CpuGetApicId((void *)5); /*0xffe07b89*/
    *(_DWORD *)(v3 + 20) = 0; /*0xffe07ba0*/
  }
  return 0; /*0xffe07ba6*/
}