NTSTATUS __stdcall HalpIommuGetPageTableType(INT64 *a1){
int v2;
UINT8 v4;
v2 = 0;
v4 = 0;
if( HalpGetCpuInfo(0i64, 0i64, 0i64, &v4) )
{
if( v4 == 2 )
{
LABEL_5:
*(_DWORD *)a1 = v2;
return 0;
}
if( v4 == 1 )
{
v2 = 3;
goto LABEL_5;
}
}
return -1073741637;
}