'_ReadWriteBarrier' : cannot be found in "wdm.h"

I'm taking my first steps in kernel driver dev.

So to make the install I followed the process given here: https://learn.microsoft.com/fr-fr/windows-hardware/drivers/download-the-wdk .

However when trying to build a simple driver:

#include <ntifs.h> NTSTATUS DriverEntry() { return STATUS_SUCCESS; }

I have the following error:

'_ReadWriteBarrier' : cannot be found in "wdm.h"

Note that I created my project in Visual Studio 2022 as an empty Kernel Mode Driver.

(It seems that maybe Visual Studio messed some config parameters because I had already some problems with target definition for nddk.h.)

How can I fix this?