Index: kernel/genarch/include/mm/page_pt.h
===================================================================
--- kernel/genarch/include/mm/page_pt.h	(revision 80bcaed11c2e767559657092d6c13d1a7fdd449c)
+++ kernel/genarch/include/mm/page_pt.h	(revision bea09de6fa613b688ac7cad04e20e544a8e4c668)
@@ -108,5 +108,7 @@
 #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;