Lines Matching refs:platform
66 DEFINES +=-DMALI_KBASE_THIRDPARTY_PATH=../../$(src)/platform/$(CONFIG_MALI_PLATFORM_THIRDPARTY_NAME)
69 DEFINES +=-DMALI_KBASE_THIRDPARTY_PATH=$(src)/platform/$(CONFIG_MALI_PLATFORM_THIRDPARTY_NAME)
138 SRC += platform/vexpress/mali_kbase_config_vexpress.c \
139 platform/vexpress/mali_kbase_cpu_vexpress.c
140 ccflags-y += -I$(src)/platform/vexpress
144 SRC += platform/rtsm_ve/mali_kbase_config_vexpress.c
145 ccflags-y += -I$(src)/platform/rtsm_ve
149 SRC += platform/vexpress_1xv7_a57/mali_kbase_config_vexpress.c
150 ccflags-y += -I$(src)/platform/vexpress_1xv7_a57
154 SRC += platform/vexpress_6xvirtex7_10mhz/mali_kbase_config_vexpress.c \
155 platform/vexpress_6xvirtex7_10mhz/mali_kbase_cpu_vexpress.c
156 ccflags-y += -I$(src)/platform/vexpress_6xvirtex7_10mhz
169 MALI_PLATFORM_THIRDPARTY_DIR := platform/$(platform_name)
209 # Default to devicetree platform if neither a fake platform or a thirdparty
210 # platform is configured.
216 platform/devicetree/mali_kbase_runtime_pm.o \
217 platform/devicetree/mali_kbase_config_devicetree.o
218 ccflags-$(CONFIG_MALI_PLATFORM_DEVICETREE) += -I$(src)/platform/devicetree