Index: kernel/genarch/include/mm/page_pt.h
===================================================================
--- kernel/genarch/include/mm/page_pt.h	(revision 08a19ba655441635df46ca12a53414694005e074)
+++ kernel/genarch/include/mm/page_pt.h	(revision af863d0df32b98f1005d2470e2de1d3e71a445e6)
@@ -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;
 
Index: kernel/genarch/src/mm/as_pt.c
===================================================================
--- kernel/genarch/src/mm/as_pt.c	(revision 08a19ba655441635df46ca12a53414694005e074)
+++ kernel/genarch/src/mm/as_pt.c	(revision af863d0df32b98f1005d2470e2de1d3e71a445e6)
@@ -53,29 +53,4 @@
 static void pt_unlock(as_t *as, bool unlock);
 
-#ifdef __OBJC__
-@implementation as_t
-
-+ (pte_t *) page_table_create: (int) flags
-{
-	return ptl0_create(flags);
-}
-
-+ (void) page_table_destroy: (pte_t *) page_table
-{
-	ptl0_destroy(page_table);
-}
-
-- (void) page_table_lock: (bool) _lock
-{
-	pt_lock(self, _lock);
-}
-
-- (void) page_table_unlock: (bool) unlock
-{
-	pt_unlock(self, unlock);
-}
-
-@end
-#else
 as_operations_t as_pt_operations = {
 	.page_table_create = ptl0_create,
@@ -84,5 +59,4 @@
 	.page_table_unlock = pt_unlock
 };
-#endif
 
 /** Create PTL0.