Symbol: kvmppc_mmu_itlb_index