VOID __stdcall MiDeletePxeSharedLocks(INT64 a1){ __int64 v1; void *v2; v1 = *(_QWORD *)(a1 + 16); if( v1 ) { v2 = *(void **)(v1 + 608); if( v2 ) ExFreePoolWithTag(v2, 0); } }