1,8 → 1,5 |
#include "kernel/kern.h" |
#include "fsf_basic_types.h" |
#include "fsf_core.h" |
#include "fsf_hierarchical.h" |
#include "fsf_spare_capacity.h" |
#include "fsf.h" |
#include "fsf_server.h" |
|
#include "func.h" |
31,7 → 28,9 |
fsf_set_contract_reclamation_parameters(&contract,&c->cmax,&c->tmin,FSF_DEFAULT_GRANULARITY, NULL, 1,1); |
|
if (TIMESPEC2USEC(&c->deadline) != 0) |
fsf_set_contract_timing_requirements(&contract,FALSE,&c->deadline,0,no_sigval,0,no_sigval); |
fsf_set_contract_timing_requirements(&contract,false,&c->deadline,0,no_sigval,0,no_sigval); |
else |
fsf_set_contract_timing_requirements(&contract,true,NULL,0,no_sigval,0,no_sigval); |
|
switch (c->local_scheduler) { |
case PAR_EDF: |