This is already declared in mmu_decl.h, so we don't need a second
version in the C file.
Signed-off-by: NMichael Ellerman <mpe@ellerman.id.au>