In wdm.h, i’ve found these:
#define InterlockedIncrement64 _InterlockedIncrement64
LONG64
InterlockedIncrement64 (
_Inout_ _Interlocked_operand_ LONG64 volatile *Addend
);
But after some search “InterlockedIncrement” (https://docs.microsoft.com/en-us/windows-hardware/drivers/ddi/wdm/nf-wdm-interlockedincrement) is the only one documented which takes a LONG argument:
LONG CDECL_NON_WVMPURE InterlockedIncrement(
[in, out] LONG volatile *Addend
);
So what is the proper way to increment a 64bit argument ? Should we just call InterlockedIncrement64 directly?