| # 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 |
