Index: kernel/generic/src/mm/frame.c
===================================================================
--- kernel/generic/src/mm/frame.c	(revision 270bf4fe38f53f4a00441b4db82354b89ed7cf71)
+++ kernel/generic/src/mm/frame.c	(revision 683e58483af641062db340a52f3028c2b63eb47e)
@@ -73,23 +73,4 @@
 static size_t mem_avail_req = 0;  /**< Number of frames requested. */
 static size_t mem_avail_gen = 0;  /**< Generation counter. */
-
-/********************/
-/* Helper functions */
-/********************/
-
-NO_TRACE static inline size_t frame_index(zone_t *zone, frame_t *frame)
-{
-	return (size_t) (frame - zone->frames);
-}
-
-NO_TRACE static inline size_t frame_index_abs(zone_t *zone, frame_t *frame)
-{
-	return (size_t) (frame - zone->frames) + zone->base;
-}
-
-NO_TRACE static inline bool frame_index_valid(zone_t *zone, size_t index)
-{
-	return (index < zone->count);
-}
 
 /** Initialize frame structure.