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 4638401d72971e059187a767fda13c9cf1a57ac1)
@@ -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;