18c2ecf20Sopenharmony_ci# SPDX-License-Identifier: GPL-2.0 28c2ecf20Sopenharmony_ci 38c2ecf20Sopenharmony_ciKASAN_SANITIZE_mmu.o := n 48c2ecf20Sopenharmony_ci 58c2ecf20Sopenharmony_ciifdef CONFIG_KASAN 68c2ecf20Sopenharmony_ciCFLAGS_mmu.o += -DDISABLE_BRANCH_PROFILING 78c2ecf20Sopenharmony_ciendif 88c2ecf20Sopenharmony_ci 98c2ecf20Sopenharmony_ciobj-y += mmu.o hash_low.o mmu_context.o tlb.o 10