Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

kernel/sched/build_policy.c sched_init_dl_servers() -> dl_server_apply_params()

Type Parameter Key Value
PARAM_VALUE 0 dl_se 4096-ptr_max
PARAM_VALUE 1 runtime 50000000
PARAM_VALUE 2 period 1000000000
PARAM_VALUE 3 init 1
BUF_SIZE 0 dl_se 272
NOCHECK_CALL
LOCK2 _T->lock
LOCK2 irq
HALF_LOCKED2 global &once_lock

kernel/sched/build_utility.c sched_server_write_common() -> dl_server_apply_params()

Type Parameter Key Value
PARAM_VALUE 0 dl_se 4096-ptr_max
PARAM_VALUE 2 period 100000-4194304000
PARAM_VALUE 3 init 0
BUF_SIZE 0 dl_se 272
CAPPED_DATA 0 dl_se 1
CAPPED_DATA 1 runtime 1
CAPPED_DATA 1 runtime 1
DATA_SOURCE 0 dl_se $5
PARAM_COMPARE 1 runtime <= $2
PARAM_COMPARE 2 period >= $1
PARAM_COMPARE 2 period >= $1
USER_DATA 1 runtime 0-u64max
USER_DATA 2 period 100000-4194304000
NO_OVERFLOW_SIMPLE 1 runtime
LOCK2 _T->lock
LOCK2 _T->rf.flags