From: Will Deacon <will.deacon@arm.com>Date: Wed, 17 Oct 2012 14:01:25 +0100> + update_mmu_cache(vma, address, pmd);This won't build, use update_mmu_cache_pmd().