Symbol: kvmppc_mmu_dtlb_index