diff --git a/target-microblaze/mmu.c b/target-microblaze/mmu.c
index f3dfa89bcefc07e6db0d6183ef821377bb65210e..72d318384a20e483f47c75e7df9d7cc9be1fd808 100644
--- a/target-microblaze/mmu.c
+++ b/target-microblaze/mmu.c
@@ -37,7 +37,7 @@ static unsigned int tlb_decode_size(unsigned int f)
     return sizes[f];
 }
 
-static void mmu_flush_idx(CPUState *env, unsigned idx)
+static void mmu_flush_idx(CPUState *env, unsigned int idx)
 {
     struct microblaze_mmu *mmu = &env->mmu;
     unsigned int tlb_size;