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 __do_sys_sched_setattr() -> sched_setattr()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 1 attr 971500483485368320
PARAM_VALUE 1 attr->sched_policy 0-s32max,u32max
CAPPED_DATA 0 p 1
DATA_SOURCE 0 p r class_find_get_task_constructor
USER_DATA 1 attr->sched_deadline 0-u64max
USER_DATA 1 attr->sched_flags 0-u64max
USER_DATA 1 attr->sched_nice s32min-s32max
USER_DATA 1 attr->sched_period 0-u64max
USER_DATA 1 attr->sched_policy 0-s32max
USER_DATA 1 attr->sched_priority 0-u32max
USER_DATA 1 attr->sched_runtime 0-u64max
USER_DATA 1 attr->sched_util_max 0-u32max
USER_DATA 1 attr->sched_util_min 0-u32max
USER_DATA 1 attr->size 0-u32max

kernel/sched/build_policy.c __do_sys_sched_setattr() -> sched_setattr()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 1 attr 971500483485368320
PARAM_VALUE 1 attr->sched_policy 0-s32max,u32max
CAPPED_DATA 0 p 1
DATA_SOURCE 0 p r class_find_get_task_constructor
USER_DATA 1 attr->sched_deadline 0-u64max
USER_DATA 1 attr->sched_flags 0-u64max
USER_DATA 1 attr->sched_nice s32min-s32max
USER_DATA 1 attr->sched_period 0-u64max
USER_DATA 1 attr->sched_policy 0-s32max
USER_DATA 1 attr->sched_priority 0-u32max
USER_DATA 1 attr->sched_runtime 0-u64max
USER_DATA 1 attr->sched_util_max 0-u32max
USER_DATA 1 attr->sched_util_min 0-u32max
USER_DATA 1 attr->size 0-u32max

kernel/trace/trace.c trace_wakeup_test_thread() -> sched_setattr()

Type Parameter Key Value
PARAM_VALUE 1 attr 5788335121992990720
PARAM_VALUE 1 attr->sched_deadline 10000000
PARAM_VALUE 1 attr->sched_flags 0
PARAM_VALUE 1 attr->sched_nice 0
PARAM_VALUE 1 attr->sched_period 10000000
PARAM_VALUE 1 attr->sched_policy 6
PARAM_VALUE 1 attr->sched_priority 0
PARAM_VALUE 1 attr->sched_runtime 100000
PARAM_VALUE 1 attr->sched_util_max 0
PARAM_VALUE 1 attr->sched_util_min 0
PARAM_VALUE 1 attr->size 0
NOCHECK_CALL