Open Menu /

Documented in 1 files:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

kernel/locking/rtmutex_api.c __rt_mutex_slowlock() -> rt_mutex_slowlock_block()

Type Parameter Key Value
PARAM_VALUE 0 lock 4096-ptr_max
PARAM_VALUE 0 lock->wait_lock.dep_map->name 0-255
PARAM_VALUE 0 lock->wait_lock.owner_cpu 0
PARAM_VALUE 0 lock->wait_lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 0 lock->waiters.rb_leftmost 4096-ptr_max
PARAM_VALUE 0 lock->waiters.rb_leftmost->rb_left 0
PARAM_VALUE 0 lock->waiters.rb_leftmost->rb_right 0
PARAM_VALUE 0 lock->waiters.rb_root.rb_node 4096-ptr_max
PARAM_VALUE 1 ww_ctx 0
PARAM_VALUE 2 state 1-2,258
PARAM_VALUE 3 timeout 0
PARAM_VALUE 4 waiter 1915897843520421888
PARAM_VALUE 4 waiter->lock 0,4096-ptr_max
PARAM_VALUE 4 waiter->lock->wait_lock.owner_cpu 0
PARAM_VALUE 4 waiter->lock->wait_lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 4 waiter->pi_tree.entry.__rb_parent_color 0-1
PARAM_VALUE 4 waiter->pi_tree.entry.rb_left 0,4096-ptr_max
PARAM_VALUE 4 waiter->pi_tree.entry.rb_right 0,4096-ptr_max
PARAM_VALUE 4 waiter->task->pi_lock.owner_cpu 0
PARAM_VALUE 4 waiter->task->pi_lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 4 waiter->tree.entry.__rb_parent_color 0-1
PARAM_VALUE 4 waiter->tree.entry.rb_left 0,4096-ptr_max
PARAM_VALUE 4 waiter->tree.entry.rb_right 0,4096-ptr_max
PARAM_VALUE 5 wake_q 828948117259419648
PARAM_VALUE 5 wake_q->first 1
PARAM_VALUE 5 wake_q->lastp 509141807900323840,828948117259419648,8149604758187044864
PARAM_VALUE 5 *wake_q->lastp 1
DATA_SOURCE 0 lock $0
DATA_SOURCE 1 ww_ctx $1
DATA_SOURCE 2 state $2
DATA_SOURCE 4 waiter $4
DATA_SOURCE 5 wake_q $5
FUZZY_MAX 4 waiter->pi_tree.entry.__rb_parent_color 0
FUZZY_MAX 4 waiter->tree.entry.__rb_parent_color 0
MEM_ZERO 4 waiter
PREEMPT_ADD
RX_PATH
LOCK2 flags
LOCK2 0 &lock->wait_lock
TYPE_LOCK (struct rt_mutex_base)->wait_lock

kernel/locking/rtmutex_api.c rt_mutex_wait_proxy_lock() -> rt_mutex_slowlock_block()

Type Parameter Key Value
PARAM_VALUE 0 lock 4096-ptr_max
PARAM_VALUE 0 lock->wait_lock.dep_map->name 0-255
PARAM_VALUE 0 lock->wait_lock.owner_cpu 0
PARAM_VALUE 0 lock->wait_lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 1 ww_ctx 0
PARAM_VALUE 2 state 1
PARAM_VALUE 3 timeout 0,600911181894369280,7279306262414782464
PARAM_VALUE 3 timeout->task 0
PARAM_VALUE 3 timeout->timer.base->active.rb_root.rb_leftmost->node.__rb_parent_color 1
PARAM_VALUE 3 timeout->timer.node.node.next 0
PARAM_VALUE 3 timeout->timer.node.node.prev 0
PARAM_VALUE 4 waiter 1423252197386153984,9173740585203314688
PARAM_VALUE 5 wake_q 0
BUF_SIZE 0 lock (-1),96
BUF_SIZE 0 lock (-1),96
BUF_SIZE 3 timeout (-1),88
BUF_SIZE 3 timeout (-1),88
DATA_SOURCE 0 lock $0
DATA_SOURCE 3 timeout $1
DATA_SOURCE 4 waiter $2
MEM_ZERO 4 waiter
PREEMPT_ADD <- disables preempt
RX_PATH
LOCK2 irq
LOCK2 0 &lock->wait_lock
HALF_LOCKED2 &hb->lock
TYPE_LOCK (struct rt_mutex_base)->wait_lock