VOID __fastcall MxBootDescriptorDepleted(INT64 a1){
__int64 v1;
int v2;
if( *(_QWORD *)(a1 + 16) == -1i64 )
{
v1 = *(_QWORD *)(a1 + 32);
v2 = *(_DWORD *)(v1 + 16);
if( (v2 & 0x40000000) != 0 )
{
*(_DWORD *)(v1 + 16) = v2 & 0xBFFFFFFF;
*(_DWORD *)(*(_QWORD *)(a1 + 32) + 16i64) |= 0x80000000;
}
}
}