Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/kcmp.c __do_sys_kcmp() -> kcmp_unlock()

Type Parameter Key Value
PARAM_VALUE 0 l1 4096-ptr_max
PARAM_VALUE 0 l1->wait_lock.owner (-1)
PARAM_VALUE 0 l1->wait_lock.owner_cpu u32max
PARAM_VALUE 1 l2 4096-ptr_max
PARAM_VALUE 1 l2->wait_lock.owner (-1)
PARAM_VALUE 1 l2->wait_lock.owner_cpu u32max
NOCHECK_CALL

kernel/kcmp.c __do_sys_kcmp() -> kcmp_unlock()

Type Parameter Key Value
PARAM_VALUE 0 l1 4096-ptr_max
PARAM_VALUE 0 l1->wait_lock.owner (-1)
PARAM_VALUE 0 l1->wait_lock.owner_cpu u32max
PARAM_VALUE 1 l2 4096-ptr_max
PARAM_VALUE 1 l2->wait_lock.owner (-1)
PARAM_VALUE 1 l2->wait_lock.owner_cpu u32max
NOCHECK_CALL