ARM Mali Display Processor

modulename: mali-dp.ko

configname: CONFIG_DRM_MALI_DISPLAY

Linux Kernel Configuration
└─>Device Drivers
└─>Graphics support
└─>Direct Rendering Manager (XFree86 4.1.0 and higher DRI support)
└─>ARM devices
└─>Device Tree and Open Firmware support
└─>ARM Mali Display Processor
In linux kernel since version 3.10 (release Date: 2013-06-30)  
Choose this option if you want to compile the ARM Mali Display
Processor driver. It supports the DP500, DP550 and DP650 variants
of the hardware.

If compiled as a module it will be called mali-dp.

source code:
drivers/gpu/drm//arm/