diff --git a/sdk/include/ddk/ndis.h b/sdk/include/ddk/ndis.h
index 916ba98e556..c5f1dd58514 100644
--- a/sdk/include/ddk/ndis.h
+++ b/sdk/include/ddk/ndis.h
@@ -4482,14 +4482,14 @@ NdisGetCurrentProcessorCpuUsage(
  * NDIS_INIT_FUNCTION(FunctionName)
  */
 #define NDIS_INIT_FUNCTION(FunctionName)    \
-  alloc_text(init, FunctionName)
+  alloc_text(INIT, FunctionName)
 
 /*
  * VOID
  * NDIS_PAGABLE_FUNCTION(FunctionName)
  */
 #define NDIS_PAGEABLE_FUNCTION(FunctionName) \
-  alloc_text(page, FunctionName)
+  alloc_text(PAGE, FunctionName)
 
 #define NDIS_PAGABLE_FUNCTION NDIS_PAGEABLE_FUNCTION