VOID __stdcall MiAddTriageDumpPtes(PVOID TriageVa){
unsigned __int64 v2;
unsigned int i;
v2 = (unsigned __int64)TriageVa;
for( i = 0; i < 4; ++i )
{
v2 = (unsigned __int64)MmGetPteBase() + ((v2 >> 9) & 0x7FFFFFFFF8i64);
if( i || !(unsigned int)MI_IS_PHYSICAL_ADDRESS(TriageVa) )
IoAddTriageDumpDataBlock((PVOID)v2, 8ui64);
}
}