| # SPDX-License-Identifier: GPL-2.0 | |
| # | |
| # Copyright (C) 2018 MediaTek Inc. | |
| # | |
| ifeq ($(CONFIG_MTK_PROT_MEM_SUPPORT), y) | |
| ccflags-y += -I$(DEVICE_MODULES_PATH)/drivers/misc/mediatek/trusted_mem/public/ | |
| endif | |
| ifeq ($(CONFIG_MTK_SECURE_MEM_SUPPORT), y) | |
| ccflags-y += -I$(DEVICE_MODULES_PATH)/drivers/misc/mediatek/trusted_mem/public/ | |
| endif | |
| ifeq ($(CONFIG_MTK_WFD_SMEM_SUPPORT), y) | |
| ccflags-y += -I$(DEVICE_MODULES_PATH)/drivers/misc/mediatek/trusted_mem/public/ | |
| endif | |
| ifeq ($(CONFIG_MTK_TRUSTED_MEMORY_SUBSYSTEM), y) | |
| ccflags-y += -I$(DEVICE_MODULES_PATH)/drivers/misc/mediatek/trusted_mem/public/ | |
| endif |