diff --git a/kernel/fileobj.c b/kernel/fileobj.c
index 9b181115..5027b7d5 100644
--- a/kernel/fileobj.c
+++ b/kernel/fileobj.c
@@ -259,7 +259,6 @@ static void fileobj_release(struct memobj *memobj)
 		for (;;) {
 			struct page *page;
 			void *page_va;
-			int count;
 
 			page = page_list_first(obj);
 			if (!page) {
diff --git a/kernel/shmobj.c b/kernel/shmobj.c
index 0d39428f..fc9b2cef 100644
--- a/kernel/shmobj.c
+++ b/kernel/shmobj.c
@@ -241,7 +241,6 @@ void shmobj_destroy(struct shmobj *obj)
 	for (;;) {
 		struct page *page;
 		void *page_va;
-		int count;
 
 		page = page_list_first(obj);
 		if (!page) {