allegro_mcu_push_buffer_internal 1225 drivers/staging/media/allegro-dvt/allegro-core.c 	return allegro_mcu_push_buffer_internal(channel, type);
allegro_mcu_push_buffer_internal 1232 drivers/staging/media/allegro-dvt/allegro-core.c 	return allegro_mcu_push_buffer_internal(channel, type);