/* Set MCU power saving information used by the UI.  */
void ui_set_mcu_status(power_scaling_t power_scaling, sleep_mode_t sleep_mode, uint32_t cpu_freq, cpu_src_t cpu_src)
/* Set MCU power saving information used by the UI.  */
void ui_set_mcu_status(power_scaling_t power_scaling, sleep_mode_t sleep_mode, uint32_t cpu_freq, cpu_src_t cpu_src)
{
	sam4l_status.power_scaling = power_scaling;
	sam4l_status.sleep_mode = sleep_mode;
	sam4l_status.cpu_freq = cpu_freq;
	sam4l_status.cpu_src = cpu_src;
}