diff --git a/reactos/drivers/network/ndis/include/ndissys.h b/reactos/drivers/network/ndis/include/ndissys.h
index 8388a683b7c..6d412e42f11 100644
--- a/reactos/drivers/network/ndis/include/ndissys.h
+++ b/reactos/drivers/network/ndis/include/ndissys.h
@@ -515,6 +515,13 @@ ExGetCurrentProcessorCounts(
    PULONG TotalCpuTime,
    PULONG ProcessorNumber);
 
+/* portability fixes */
+#ifdef _M_AMD64
+#define KfReleaseSpinLock KeReleaseSpinLock
+#define KefAcquireSpinLockAtDpcLevel KeAcquireSpinLockAtDpcLevel
+#define KefReleaseSpinLockFromDpcLevel KeReleaseSpinLockFromDpcLevel
+#endif
+
 #endif /* __NDISSYS_H */
 
 /* EOF */