Defined in 1 files as a function:
Referenced in 6 files:
- kernel/locking/rtmutex.c, line 413
- kernel/locking/ww_mutex.h
- kernel/sched/core.c, line 256
- kernel/sched/cpudeadline.c
- kernel/sched/deadline.c
- kernel/sched/sched.h, line 305
Smatch caller information:
kernel/sched/build_policy.c cpudl_find() -> dl_time_before()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING |
kernel/sched/build_policy.c cpudl_heapify() -> dl_time_before()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &cp->lock | ||
| LOCK2 | flags | ||
| HALF_LOCKED2 | rf.flags | ||
| HALF_LOCKED2 | rq | ||
| TYPE_LOCK | (struct cpudl)->lock |
kernel/sched/build_policy.c cpudl_heapify_down() -> dl_time_before()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &cp->lock | ||
| LOCK2 | flags | ||
| HALF_LOCKED2 | rq | ||
| TYPE_LOCK | (struct cpudl)->lock |
kernel/sched/build_policy.c cpudl_heapify_down() -> dl_time_before()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &cp->lock | ||
| LOCK2 | flags | ||
| HALF_LOCKED2 | rq | ||
| TYPE_LOCK | (struct cpudl)->lock |
kernel/sched/build_policy.c cpudl_heapify_up() -> dl_time_before()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &cp->lock | ||
| LOCK2 | flags | ||
| HALF_LOCKED2 | rq | ||
| TYPE_LOCK | (struct cpudl)->lock |
kernel/sched/build_policy.c dl_check_constrained_dl() -> dl_time_before()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING |
kernel/sched/build_policy.c dl_check_constrained_dl() -> dl_time_before()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING |
kernel/sched/build_policy.c dl_entity_overflow() -> dl_time_before()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | b | 0-u64max[c] |
kernel/sched/build_policy.c dl_entity_preempt() -> dl_time_before()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &p->pi_lock | ||
| HALF_LOCKED2 | rcu_read |
kernel/sched/build_policy.c dl_server_timer() -> dl_time_before()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | irq |
kernel/sched/build_policy.c dl_task_is_earliest_deadline() -> dl_time_before()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &p->pi_lock | ||
| HALF_LOCKED2 | irq | ||
| HALF_LOCKED2 | rcu_read |
kernel/sched/build_policy.c enqueue_dl_entity() -> dl_time_before()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING |
kernel/sched/build_policy.c inc_dl_deadline() -> dl_time_before()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | b | 1-u64max |
| DATA_SOURCE | 0 | a | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
kernel/sched/build_policy.c prio_changed_dl() -> dl_time_before()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | a | $2 |
| PARAM_COMPARE | 0 | a | != $1 |
| PARAM_COMPARE | 0 | a | != $1 |
| PARAM_COMPARE | 1 | b | != $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
kernel/sched/build_policy.c prio_changed_dl() -> dl_time_before()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING |
kernel/sched/build_policy.c prio_changed_dl() -> dl_time_before()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING |
kernel/sched/build_policy.c pull_dl_task() -> dl_time_before()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | irq |
kernel/sched/build_policy.c pull_dl_task() -> dl_time_before()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | irq |
kernel/sched/build_policy.c pull_dl_task() -> dl_time_before()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | irq |
kernel/sched/build_policy.c push_dl_task() -> dl_time_before()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING |
kernel/sched/build_policy.c replenish_dl_entity() -> dl_time_before()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING |
kernel/sched/build_policy.c replenish_dl_entity() -> dl_time_before()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING |
kernel/sched/build_policy.c setup_new_dl_entity() -> dl_time_before()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | irq |
kernel/sched/build_policy.c update_dl_entity() -> dl_time_before()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING |
kernel/sched/build_policy.c update_dl_entity() -> dl_time_before()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING |
kernel/sched/build_policy.c update_dl_revised_wakeup() -> dl_time_before()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING |
kernel/locking/rtmutex_api.c rt_waiter_node_less() -> dl_time_before()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &lock->wait_lock | ||
| HALF_LOCKED2 | irq | ||
| TYPE_LOCK | (struct rt_mutex_base)->wait_lock |
kernel/sched/core.c dl_entity_preempt() -> dl_time_before()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &lock->wait_lock | ||
| HALF_LOCKED2 | &p->pi_lock | ||
| HALF_LOCKED2 | irq | ||
| TYPE_LOCK | (struct rt_mutex_base)->wait_lock |
kernel/sched/core.c prio_less() -> dl_time_before()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | irq |