VOID __stdcall MiAddTriageDumpPtes(VOID *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 || !MI_IS_PHYSICAL_ADDRESS(TriageVa) )
IoAddTriageDumpDataBlock((VOID *)v2, (_BYTE *)8);
}
}