VOID __stdcall MxBootDescriptorDepleted(_MX_ALLOCATION_DESCRIPTOR *Md){
__int64 v1;
int v2;
if( *((_QWORD *)Md + 2) == -1i64 )
{
v1 = *((_QWORD *)Md + 4);
v2 = *(_DWORD *)(v1 + 16);
if( (v2 & 0x40000000) != 0 )
{
*(_DWORD *)(v1 + 16) = v2 & 0xBFFFFFFF;
*(_DWORD *)(*((_QWORD *)Md + 4) + 16i64) |= 0x80000000;
}
}
}