Index: kernel/arch/ia64/src/mm/frame.c
===================================================================
--- kernel/arch/ia64/src/mm/frame.c	(revision ae318d3535cba06a6996f270db31a961fae402ad)
+++ kernel/arch/ia64/src/mm/frame.c	(revision 53d9ee96329510963ab21f729dcc2e29c0617773)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup ia64mm	
+/** @addtogroup ia64mm
  * @{
  */
@@ -52,5 +52,4 @@
 
 uintptr_t last_frame = 0;
-uintptr_t end_frame = 0;
 
 void frame_arch_init(void)