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 09285268680b736d54a4a59cd29ffeff37e8a272)
@@ -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.