Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/misc/ntsync.c ntsync_wait_all() -> try_wake_all()

Type Parameter Key Value
PARAM_VALUE 0 dev->wait_all_lock.dep_map->name 0-255
PARAM_VALUE 0 dev->wait_all_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 dev->wait_all_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 dev->wait_all_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 dev->wait_all_lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 dev->wait_all_lock.wait_lock.owner (-1)
PARAM_VALUE 0 dev->wait_all_lock.wait_lock.owner_cpu u32max
PARAM_VALUE 1 q 4096-ptr_max
PARAM_VALUE 1 q->owner 1-4294967295
PARAM_VALUE 1 q->ownerdead 0
PARAM_VALUE 1 q->signaled.counter (-1)
PARAM_VALUE 2 locked_obj 0
BUF_SIZE 0 dev s32min-(-2),1-s32max
BUF_SIZE 0 dev s32min-(-2),1-s32max
CAPPED_DATA 0 &dev->wait_all_lock 1
DATA_SOURCE 0 dev $0
NOCHECK_CALL
USER_DATA 1 q->count 0-4294967295
USER_DATA 1 q->owner 1-4294967295
LOCK2 0 &dev->wait_all_lock
TYPE_LOCK (struct ntsync_device)->wait_all_lock

drivers/misc/ntsync.c try_wake_all_obj() -> try_wake_all()

Type Parameter Key Value
PARAM_VALUE 0 dev->wait_all_lock.dep_map->name 0-255
PARAM_VALUE 0 dev->wait_all_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 dev->wait_all_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 dev->wait_all_lock.osq.tail.counter 0-s32max
PARAM_VALUE 2 locked_obj 4096-ptr_max
PARAM_VALUE 2 locked_obj->all_hint.counter 1
PARAM_VALUE 2 locked_obj->dev->wait_all_lock.dep_map->name 0-255
PARAM_VALUE 2 locked_obj->dev->wait_all_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 2 locked_obj->dev->wait_all_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 2 locked_obj->dev->wait_all_lock.osq.tail.counter 0-s32max
PARAM_VALUE 2 locked_obj->dev_locked 1
PARAM_VALUE 2 locked_obj->lock.rlock.dep_map->name 0-255
PARAM_VALUE 2 locked_obj->type 0-2
BUF_SIZE 2 locked_obj s32min-(-2),1-s32max
BUF_SIZE 2 locked_obj s32min-(-2),1-s32max
CAPPED_DATA 2 &locked_obj->all_waiters 1
DATA_SOURCE 0 dev $0
DATA_SOURCE 2 locked_obj $1
HARD_MAX 2 locked_obj->type 2
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 2 locked_obj->u.sem.count
UNITS 0 dev unit_byte
UNITS 2 locked_obj unit_byte
LOCK2 0 &dev->wait_all_lock
TYPE_LOCK (struct ntsync_device)->wait_all_lock