Symbol: dispc_init_mflag