Index: kernel/arch/ppc32/src/mm/frame.c
===================================================================
--- kernel/arch/ppc32/src/mm/frame.c	(revision e16e0d595cccccd7668bd8111478ac903c1b3be3)
+++ kernel/arch/ppc32/src/mm/frame.c	(revision a68f7375e3e4f83a6876853e429edc329d00e4e4)
@@ -58,5 +58,5 @@
 {
 	pfn_t minconf = 2;
-	count_t i;
+	size_t i;
 	pfn_t start, conf;
 	size_t size;
Index: kernel/arch/ppc32/src/mm/tlb.c
===================================================================
--- kernel/arch/ppc32/src/mm/tlb.c	(revision e16e0d595cccccd7668bd8111478ac903c1b3be3)
+++ kernel/arch/ppc32/src/mm/tlb.c	(revision a68f7375e3e4f83a6876853e429edc329d00e4e4)
@@ -550,5 +550,5 @@
 
 
-void tlb_invalidate_pages(asid_t asid, uintptr_t page, count_t cnt)
+void tlb_invalidate_pages(asid_t asid, uintptr_t page, size_t cnt)
 {
 	// TODO