Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
kernel/sched/build_policy.c get_params() -> __getparam_dl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 4096-ptr_max |
| PARAM_VALUE | 0 | p->policy | 6 |
| PARAM_VALUE | 1 | attr | 971500483485368320,5935336051117449216 |
| PARAM_VALUE | 1 | attr->sched_flags | 0-1,16-u64max |
| PARAM_VALUE | 1 | attr->sched_nice | 0 |
| PARAM_VALUE | 2 | flags | 0-1 |
| DATA_SOURCE | 0 | p | $0 |
| DATA_SOURCE | 1 | attr | $1 |
| DATA_SOURCE | 2 | flags | $2 |
| NOCHECK_CALL | |||
| USER_DATA | 1 | attr->sched_deadline | 0-u64max |
| USER_DATA | 1 | attr->sched_flags | 16-u64max |
| USER_DATA | 1 | attr->sched_nice | 0 |
| 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 |
| USER_DATA | 2 | flags | 0 |
| HALF_LOCKED2 | rcu_read |