VOID __stdcall MmUnlockLoadedModuleListShared(UINT64 OldIrql){
unsigned __int64 v1;
v1 = (unsigned __int8)OldIrql;
ExReleaseSpinLockSharedFromDpcLevel((PEX_SPIN_LOCK)&PsLoadedModuleSpinLock);
if( (unsigned __int8)v1 < 0xFu )
__writecr8(v1);
}