Index: kernel/generic/src/mm/frame.c
===================================================================
--- kernel/generic/src/mm/frame.c	(revision b1c57a828cb73794beb6a309f5ec0199ca75ecc2)
+++ kernel/generic/src/mm/frame.c	(revision fc7bf198e20e68849d91546bbc5a2a24c943840e)
@@ -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.