Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/locking/lockdep.c mark_held_locks() -> mark_lock()

Type Parameter Key Value
PARAM_VALUE 0 curr 4096-ptr_max
PARAM_VALUE 0 curr->lockdep_depth 1-s32max
PARAM_VALUE 1 this 4096-ptr_max
PARAM_VALUE 1 this->check 1
PARAM_VALUE 2 new_bit 2-3,6-9
DATA_SOURCE 0 curr $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 irq

kernel/locking/lockdep.c mark_usage() -> mark_lock()

Type Parameter Key Value
PARAM_VALUE 0 curr 4096-ptr_max
PARAM_VALUE 1 this 4096-ptr_max
PARAM_VALUE 1 this->instance 4096-ptr_max
PARAM_VALUE 1 this->read 1-3
PARAM_VALUE 1 this->trylock 0
PARAM_VALUE 1 this->waittime_stamp 0
PARAM_VALUE 2 new_bit 1
DATA_SOURCE 0 curr $0
DATA_SOURCE 1 this $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 flags

kernel/locking/lockdep.c mark_usage() -> mark_lock()

Type Parameter Key Value
PARAM_VALUE 0 curr 4096-ptr_max
PARAM_VALUE 0 curr->softirq_context s32min-(-1),1-s32max
PARAM_VALUE 1 this 4096-ptr_max
PARAM_VALUE 1 this->instance 4096-ptr_max
PARAM_VALUE 1 this->read 1-3
PARAM_VALUE 1 this->trylock 0
PARAM_VALUE 1 this->waittime_stamp 0
PARAM_VALUE 2 new_bit 5
DATA_SOURCE 0 curr $0
DATA_SOURCE 1 this $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 flags

kernel/locking/lockdep.c mark_usage() -> mark_lock()

Type Parameter Key Value
PARAM_VALUE 0 curr 4096-ptr_max
PARAM_VALUE 1 this 4096-ptr_max
PARAM_VALUE 1 this->instance 4096-ptr_max
PARAM_VALUE 1 this->read 0
PARAM_VALUE 1 this->trylock 0
PARAM_VALUE 1 this->waittime_stamp 0
PARAM_VALUE 2 new_bit 0
DATA_SOURCE 0 curr $0
DATA_SOURCE 1 this $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 flags

kernel/locking/lockdep.c mark_usage() -> mark_lock()

Type Parameter Key Value
PARAM_VALUE 0 curr 4096-ptr_max
PARAM_VALUE 0 curr->softirq_context s32min-(-1),1-s32max
PARAM_VALUE 1 this 4096-ptr_max
PARAM_VALUE 1 this->instance 4096-ptr_max
PARAM_VALUE 1 this->read 0
PARAM_VALUE 1 this->trylock 0
PARAM_VALUE 1 this->waittime_stamp 0
PARAM_VALUE 2 new_bit 4
DATA_SOURCE 0 curr $0
DATA_SOURCE 1 this $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 flags

kernel/locking/lockdep.c mark_usage() -> mark_lock()

Type Parameter Key Value
PARAM_VALUE 0 curr 4096-ptr_max
PARAM_VALUE 1 this 4096-ptr_max
PARAM_VALUE 1 this->hardirqs_off 0
PARAM_VALUE 1 this->instance 4096-ptr_max
PARAM_VALUE 1 this->read 1-3
PARAM_VALUE 1 this->sync 0
PARAM_VALUE 1 this->waittime_stamp 0
PARAM_VALUE 2 new_bit 3
DATA_SOURCE 0 curr $0
DATA_SOURCE 1 this $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 flags

kernel/locking/lockdep.c mark_usage() -> mark_lock()

Type Parameter Key Value
PARAM_VALUE 0 curr 4096-ptr_max
PARAM_VALUE 0 curr->softirqs_enabled s32min-(-1),1-s32max
PARAM_VALUE 1 this 4096-ptr_max
PARAM_VALUE 1 this->hardirqs_off 0
PARAM_VALUE 1 this->instance 4096-ptr_max
PARAM_VALUE 1 this->read 1-3
PARAM_VALUE 1 this->sync 0
PARAM_VALUE 1 this->waittime_stamp 0
PARAM_VALUE 2 new_bit 7
DATA_SOURCE 0 curr $0
DATA_SOURCE 1 this $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 flags

kernel/locking/lockdep.c mark_usage() -> mark_lock()

Type Parameter Key Value
PARAM_VALUE 0 curr 4096-ptr_max
PARAM_VALUE 1 this 4096-ptr_max
PARAM_VALUE 1 this->hardirqs_off 0
PARAM_VALUE 1 this->instance 4096-ptr_max
PARAM_VALUE 1 this->read 0
PARAM_VALUE 1 this->sync 0
PARAM_VALUE 1 this->waittime_stamp 0
PARAM_VALUE 2 new_bit 2
DATA_SOURCE 0 curr $0
DATA_SOURCE 1 this $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 flags

kernel/locking/lockdep.c mark_usage() -> mark_lock()

Type Parameter Key Value
PARAM_VALUE 0 curr 4096-ptr_max
PARAM_VALUE 0 curr->softirqs_enabled s32min-(-1),1-s32max
PARAM_VALUE 1 this 4096-ptr_max
PARAM_VALUE 1 this->hardirqs_off 0
PARAM_VALUE 1 this->instance 4096-ptr_max
PARAM_VALUE 1 this->read 0
PARAM_VALUE 1 this->sync 0
PARAM_VALUE 1 this->waittime_stamp 0
PARAM_VALUE 2 new_bit 6
DATA_SOURCE 0 curr $0
DATA_SOURCE 1 this $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 flags

kernel/locking/lockdep.c mark_usage() -> mark_lock()

Type Parameter Key Value
PARAM_VALUE 0 curr 4096-ptr_max
PARAM_VALUE 1 this 4096-ptr_max
PARAM_VALUE 1 this->instance 4096-ptr_max
PARAM_VALUE 1 this->waittime_stamp 0
PARAM_VALUE 2 new_bit 8
DATA_SOURCE 0 curr $0
DATA_SOURCE 1 this $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 flags