Index: hal/halx86/include/halp.h
===================================================================
--- hal/halx86/include/halp.h	(revision 68935)
+++ hal/halx86/include/halp.h	(working copy)
@@ -4,17 +4,15 @@
 
 #pragma once
 
-#define PLACE_IN_SECTION(s)	__attribute__((section (s)))
-#ifdef __GNUC__
-#define INIT_FUNCTION
-#define PAGE_LOCKED_FUNCTION	PLACE_IN_SECTION("pagelk")
-#define PAGE_UNLOCKED_FUNCTION	PLACE_IN_SECTION("pagepo")
+#if defined(__GNUC__) && !defined(_MINIHAL_)
+#define INIT_SECTION __attribute__((section ("INIT")))
+#define INIT_FUNCTION INIT_SECTION
 #else
+#define INIT_SECTION  /* Done via alloc_text for MSC */
 #define INIT_FUNCTION
-#define PAGE_LOCKED_FUNCTION
-#define PAGE_UNLOCKED_FUNCTION
 #endif
 
+
 #ifdef _MSC_VER
 #define REGISTERCALL FASTCALL
 #else