Index: kernel/arch/ppc32/src/mm/tlb.c
===================================================================
--- kernel/arch/ppc32/src/mm/tlb.c	(revision 896ad9f900f2434342a878312aa1a5cb22bdf135)
+++ kernel/arch/ppc32/src/mm/tlb.c	(revision 53634f9294eaa723f35916cf5364f8cd4ab720f8)
@@ -41,4 +41,5 @@
 #include <print.h>
 #include <symtab.h>
+#include <macros.h>
 
 
@@ -130,17 +131,4 @@
 
 
-/** Pseudorandom generator
- *
- * A pretty standard linear congruential pseudorandom
- * number generator (m = 2^32).
- *
- */
-#define RANDI(seed) \
-	({ \
-		(seed) = 1103515245 * (seed) + 12345; \
-		(seed); \
-	})
-
-
 static void pht_insert(const uintptr_t vaddr, const pte_t *pte)
 {