Index: kernel/genarch/include/mm/page_pt.h
===================================================================
--- kernel/genarch/include/mm/page_pt.h	(revision f4c2b6a104d4ab9ce057413b12ff1efedcba0fcd)
+++ kernel/genarch/include/mm/page_pt.h	(revision c544c5d07c2bd7b5301e09b4a820744b9010991c)
@@ -117,7 +117,5 @@
 #define PTE_EXECUTABLE(p)	PTE_EXECUTABLE_ARCH((p))
 
-#ifndef __OBJC__
 extern as_operations_t as_pt_operations;
-#endif
 extern page_mapping_operations_t pt_mapping_operations;