Index: ntoskrnl/include/internal/dbgk.h
===================================================================
--- ntoskrnl/include/internal/dbgk.h	(revision 68915)
+++ ntoskrnl/include/internal/dbgk.h	(working copy)
@@ -47,7 +47,6 @@
 #endif
 
 VOID
-INIT_FUNCTION
 NTAPI
 DbgkInitialize(
     VOID
Index: ntoskrnl/include/internal/io.h
===================================================================
--- ntoskrnl/include/internal/io.h	(revision 68915)
+++ ntoskrnl/include/internal/io.h	(working copy)
@@ -662,7 +662,6 @@
 );
 
 NTSTATUS
-INIT_FUNCTION
 IopInitPlugPlayEvents(VOID);
 
 NTSTATUS
Index: ntoskrnl/include/internal/ntoskrnl.h
===================================================================
--- ntoskrnl/include/internal/ntoskrnl.h	(revision 68915)
+++ ntoskrnl/include/internal/ntoskrnl.h	(working copy)
@@ -5,7 +5,7 @@
  */
 #define PLACE_IN_SECTION(s)	__attribute__((section (s)))
 #ifdef __GNUC__
-#define INIT_FUNCTION
+#define INIT_FUNCTION           PLACE_IN_SECTION("INIT")
 #define PAGE_LOCKED_FUNCTION	PLACE_IN_SECTION("pagelk")
 #define PAGE_UNLOCKED_FUNCTION	PLACE_IN_SECTION("pagepo")
 #else