The MALI & UMP device drivers reside in driver/gpu directory:
Mali driver: gpu/mali/mali/linux/mali_kernel_linux.c.
It is a platform device, the driver name is "mali-utgard". (ls /sys/bus/platform/drivers),
the device name is "mali-utgard.0" (ls /sys/bus/platform/devices)
UMP driver: gpu/mali/ump/linux/ump_kernel_linux.c
It is a char device, the driver name is "ump", (ls sys/module/ump)
the device name is "ump", (ls /sys/devices/virtual)
Them mali $ UMP drivers both can be configured to allocate memory from
A. Dedicated memory
or
B. Share the Kernel memory
Below are related items in config, SparkPos project.
CONFIG_MALI_GPU