127e23b5fSChristophe Leroy# SPDX-License-Identifier: GPL-2.0 227e23b5fSChristophe Leroy 325ae981fSChristophe Leroyobj-y += mmu_context.o tlb.o tlb_low.o kup.o 4*a898530eSMichael Ellermanobj-$(CONFIG_PPC_BOOK3E_64) += tlb_64e.o tlb_low_64e.o book3e_pgtable.o 527e23b5fSChristophe Leroyobj-$(CONFIG_44x) += 44x.o 627e23b5fSChristophe Leroyobj-$(CONFIG_PPC_8xx) += 8xx.o 73e731858SChristophe Leroyobj-$(CONFIG_PPC_E500) += e500.o 82b0e86ccSJason Yanobj-$(CONFIG_RANDOMIZE_BASE) += kaslr_booke.o 927e23b5fSChristophe Leroyifdef CONFIG_HUGETLB_PAGE 103e731858SChristophe Leroyobj-$(CONFIG_PPC_E500) += e500_hugetlbpage.o 1127e23b5fSChristophe Leroyendif 1227e23b5fSChristophe Leroy 1327e23b5fSChristophe Leroy# Disable kcov instrumentation on sensitive code 1427e23b5fSChristophe Leroy# This is necessary for booting with kcov enabled on book3e machines 1527e23b5fSChristophe LeroyKCOV_INSTRUMENT_tlb.o := n 163e731858SChristophe LeroyKCOV_INSTRUMENT_e500.o := n 17