INT64 __stdcall HalpIommuUpdatePageWalkCapability(){
INT64 v0;
INT64 result;
v0 = HalpIommuList;
HalpIommuPageTableCacheCoherent = 1;
while( (INT64 *)v0 != &HalpIommuList )
{
result = *(_DWORD *)(v0 + 456) & 0x900;
if( (_DWORD)result == 256 )
{
HalpIommuPageTableCacheCoherent = 0;
return result;
}
v0 = *(_QWORD *)v0;
}
return result;
}