VOID __fastcall SepReleaseOrderedReadLocks(INT64 a1, INT64 a2){ ExReleaseResourceLite(*(PERESOURCE *)(a1 + 48)); KeLeaveCriticalRegion(); ExReleaseResourceLite(*(PERESOURCE *)(a2 + 48)); KeLeaveCriticalRegion(); }