Symbol: kvmppc_mmu_map_page