# SPDX-License-Identifier: GPL-2.0 ccflags-$([31mCONFIG_PPC64[0m) := $(NO_MINIMAL_TOC) obj-y += mmu_context.o tlb.o tlb_low.o obj-$([31mCONFIG_PPC_BOOK3E_64[0m) += tlb_low_64e.o book3e_pgtable.o obj-$([31mCONFIG_40x[0m) += 40x.o obj-$([31mCONFIG_44x[0m) += 44x.o obj-$([31mCONFIG_PPC_8xx[0m) += 8xx.o obj-$([31mCONFIG_PPC_FSL_BOOK3E[0m) += fsl_booke.o ifdef [31mCONFIG_HUGETLB_PAGE[0m obj-$([31mCONFIG_PPC_FSL_BOOK3E[0m) += book3e_hugetlbpage.o endif # Disable kcov instrumentation on sensitive code # This is necessary for booting with kcov enabled on book3e machines KCOV_INSTRUMENT_tlb.o := n KCOV_INSTRUMENT_fsl_booke.o := n |