dispc_init_platform_driver
int __init dispc_init_platform_driver(void)
int dispc_init_platform_driver(void) __init;