Index: kernel/generic/src/mm/frame.c
===================================================================
--- kernel/generic/src/mm/frame.c	(revision 89bcb5201dfce10f22863fd9ae0e955003a7324c)
+++ kernel/generic/src/mm/frame.c	(revision 28295955681d9c52a6ec28c78195bc7901964454)
@@ -1147,5 +1147,5 @@
 	mutex_lock(&mem_avail_mtx);
 	if (mem_avail_req > 0)
-		mem_avail_req--;
+		mem_avail_req -= min(mem_avail_req, size);
 	
 	if (mem_avail_req == 0) {