1 *e65e175bSOded Gabbay# SPDX-License-Identifier: GPL-2.0-only 2 *e65e175bSOded GabbayHL_COMMON_MMU_FILES := common/mmu/mmu.o common/mmu/mmu_v1.o \ 3 *e65e175bSOded Gabbay common/mmu/mmu_v2_hr.o 4