#ifndef VM_INIT_H
#define VM_INIT_H
-extern void vm_mem_bootstrap(void) __attribute__((section("__TEXT, initcode")));
-extern void vm_mem_init(void) __attribute__((section("__TEXT, initcode")));
-extern void vm_map_steal_memory(void) __attribute__((section("__TEXT, initcode")));;
+extern void vm_mem_bootstrap(void);
+extern void vm_mem_init(void);
+extern void vm_map_steal_memory(void);;
#endif /* VM_INIT_H */