diff --git a/reactos/include/psdk/specstrings.h b/reactos/include/psdk/specstrings.h
index a8207257743..294a8afa3fe 100644
--- a/reactos/include/psdk/specstrings.h
+++ b/reactos/include/psdk/specstrings.h
@@ -28,6 +28,7 @@
 
 #define __field_bcount(size) __notnull __byte_writableTo(size)
 #define __field_ecount(size) __notnull __elem_writableTo(size)
+#define __post_invalid _Post_ __notvalid
 
 #define __deref_in
 #define __deref_in_ecount(size)
diff --git a/reactos/include/psdk/winbase.h b/reactos/include/psdk/winbase.h
index 415cfbbfaa0..a05f52ab9c4 100644
--- a/reactos/include/psdk/winbase.h
+++ b/reactos/include/psdk/winbase.h
@@ -2392,6 +2392,8 @@ WINBASEAPI LONG WINAPI InterlockedIncrement(IN OUT LONG volatile *);
 PSLIST_ENTRY WINAPI InterlockedPopEntrySList(PSLIST_HEADER);
 PSLIST_ENTRY WINAPI InterlockedPushEntrySList(PSLIST_HEADER,PSLIST_ENTRY);
 #endif
+#define InterlockedCompareExchangePointerAcquire InterlockedCompareExchangePointer
+#define InterlockedCompareExchangePointerRelease InterlockedCompareExchangePointer
 
 #endif // !(defined (_M_AMD64) || defined (_M_IA64))
 
diff --git a/reactos/include/xdk/amd64/ke.h b/reactos/include/xdk/amd64/ke.h
index c863e71c551..c3070af74a4 100644
--- a/reactos/include/xdk/amd64/ke.h
+++ b/reactos/include/xdk/amd64/ke.h
@@ -45,6 +45,7 @@ typedef XSAVE_FORMAT XMM_SAVE_AREA32, *PXMM_SAVE_AREA32;
 #define KeGetDcacheFillSize() 1L
 
 #define YieldProcessor _mm_pause
+#define MemoryBarrier __faststorefence
 #define FastFence __faststorefence
 #define LoadFence _mm_lfence
 #define MemoryFence _mm_mfence