VOID __stdcall DbgkpDereferenceErrorPort(UINT64 a1, INT64 a2, UINT64 a3){ if( _InterlockedExchangeAdd((volatile signed __int32 *)a1, 0xFFFFFFFF) == 1 ) DbgkpDeleteErrorPort((PVOID)a1); }