#ifdef CONFIG_FFMPEG_WITH_FRSH
frsh_vres_id_t disk_vres;
+frsh_contract_t cpu_contract;
frsh_contract_t disk_contract;
#endif
f, 1/ifi, 1/ifi_avg, 1/sqrt(ifi_var));
#ifdef CONFIG_FFMPEG_WITH_FRSH
- if (renegotiate == f)
+ if (renegotiate == f) {
frsh_contract_renegotiate_sync(&disk_contract, disk_vres);
+ frsh_contract_renegotiate_sync(&disk_contract, disk_vres);
+ }
#endif
out:
start = end;
frsh_thread_attr_t frsh_attr;
frsh_thread_id_t thread;
frsh_vres_id_t cpu_vres;
- frsh_contract_t cpu_contract;
frsh_rel_time_t cpu_budget, cpu_period;
frsh_rel_time_t disk_budget, disk_period;