fileobj, shmobj: free pages in object destructor (as opposed to page_unmap())

Change-Id: I3ea50fc13ae5c090ba32aad4461f9741a4c35665
2018-12-14 17:37:07 +09:00
parent 022e04b62b
commit c1270cdf6d
3 changed files with 3 additions and 1 deletions
--- a/kernel/shmobj.c
+++ b/kernel/shmobj.c
@@ -277,6 +277,7 @@ static void shmobj_destroy(struct shmobj *obj)
 				 1UL << obj->pgshift);
 			memory_stat_rss_sub(1UL << obj->pgshift,
 					    1UL << obj->pgshift);
+			kfree(page);
 		}
 #if 0
 		dkprintf("shmobj_destroy(%p):"