Silence a bogus "may be used uninitialised" warning.  It only affects
architectures which use the tlb_finish_mmu() args.