void __fastcall PnprFreeMappingReserve(__int64 a1){
_MDL *v2;
void *v3;
v2 = *(_MDL **)a1;
if( v2 )
{
IoFreeMdl(v2);
*(_QWORD *)a1 = 0i64;
}
v3 = *(void **)(a1 + 8);
if( v3 )
{
MmFreeMappingAddress(v3, 0x51706E50u);
*(_QWORD *)(a1 + 8) = 0i64;
}
*(_WORD *)(a1 + 16) = 0;
}