Mali & UMP memory allocation

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=y                                           //The Mali GPU is enabled.The mali driver does not reference this value at all.

CONFIG_MALI400=y    &nb