// SPDX-License-Identifier: GPL-2.0 | |
#include <linux/platform_device.h> | |
#ifdef CONFIG_MALI_MEMORY_GROUP_MANAGER | |
extern struct platform_driver memory_group_manager_driver; | |
#endif | |
#ifdef CONFIG_MALI_PRIORITY_CONTROL_MANAGER | |
extern struct platform_driver priority_control_manager_driver; | |
#endif | |
#ifdef CONFIG_MALI_PROTECTED_MEMORY_ALLOCATOR | |
extern struct platform_driver protected_memory_allocator_driver; | |
#endif | |
#ifdef CONFIG_MALI_PIXEL_STATS | |
extern int mali_pixel_init_pixel_stats(void); | |
#endif |