Index: arch/mips32/src/drivers/arc.c
===================================================================
--- arch/mips32/src/drivers/arc.c	(revision 4c8715d2a084f4c01bd9eff2cd0bc71aeb8c2bff)
+++ arch/mips32/src/drivers/arc.c	(revision bb68433fea16aec0b0b4240149c9c3e8fb347b34)
@@ -306,5 +306,5 @@
 			
 			zone_create(ADDR2PFN(base),
-				    SIZE2PFN(ALIGN_DOWN(basesize,FRAME_SIZE)),
+				    SIZE2FRAMES(ALIGN_DOWN(basesize,FRAME_SIZE)),
 				    ADDR2PFN(base),0);
 		}