INT64 CmpVolumeContextCleanup(void){
__int64 v0;
__int64 v1;
INT64 result;
struct _DMA_ADAPTER *v3;
v1 = v0;
if( *(_BYTE *)(v0 + 64) )
result = PiPagePathSetState(*(FILE_OBJECT **)(v0 + 48), 0);
v3 = *(struct _DMA_ADAPTER **)(v1 + 48);
if( v3 )
HalPutDmaAdapter(v3);
return result;
}