Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

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 1 obj 4096-ptr_max
PARAM_VALUE 1 obj->all_hint.counter 1
PARAM_VALUE 1 obj->dev->wait_all_lock.dep_map->name 0-255
PARAM_VALUE 1 obj->dev->wait_all_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 1 obj->dev->wait_all_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 obj->dev->wait_all_lock.osq.tail.counter 0-s32max
PARAM_VALUE 1 obj->dev_locked 1
PARAM_VALUE 1 obj->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 obj->type 2
PARAM_VALUE 1 obj->u.event.signaled 1
BUF_SIZE 1 obj s32min-(-2),1-s32max
BUF_SIZE 1 obj s32min-(-2),1-s32max
DATA_SOURCE 1 obj $0
NOCHECK_CALL
UNITS 0 dev unit_byte
LOCK2 0 &dev->wait_all_lock
TYPE_LOCK (struct ntsync_device)->wait_all_lock

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

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 1 obj 4096-ptr_max
PARAM_VALUE 1 obj->all_hint.counter 1
PARAM_VALUE 1 obj->dev->wait_all_lock.dep_map->name 0-255
PARAM_VALUE 1 obj->dev->wait_all_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 1 obj->dev->wait_all_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 obj->dev->wait_all_lock.osq.tail.counter 0-s32max
PARAM_VALUE 1 obj->dev_locked 1
PARAM_VALUE 1 obj->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 obj->type 1
PARAM_VALUE 1 obj->u.mutex.count 0
PARAM_VALUE 1 obj->u.mutex.owner 0
PARAM_VALUE 1 obj->u.mutex.ownerdead 1
BUF_SIZE 1 obj s32min-(-2),1-s32max
BUF_SIZE 1 obj s32min-(-2),1-s32max
DATA_SOURCE 1 obj $0
NOCHECK_CALL
UNITS 0 dev unit_byte
LOCK2 0 &dev->wait_all_lock
TYPE_LOCK (struct ntsync_device)->wait_all_lock

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

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 1 obj 4096-ptr_max
PARAM_VALUE 1 obj->all_hint.counter 1
PARAM_VALUE 1 obj->dev->wait_all_lock.dep_map->name 0-255
PARAM_VALUE 1 obj->dev->wait_all_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 1 obj->dev->wait_all_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 obj->dev->wait_all_lock.osq.tail.counter 0-s32max
PARAM_VALUE 1 obj->dev_locked 1
PARAM_VALUE 1 obj->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 obj->type 1
BUF_SIZE 1 obj s32min-(-2),1-s32max
BUF_SIZE 1 obj s32min-(-2),1-s32max
DATA_SOURCE 1 obj $0
NOCHECK_CALL
UNITS 0 dev unit_byte
LOCK2 0 &dev->wait_all_lock
TYPE_LOCK (struct ntsync_device)->wait_all_lock

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

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 1 obj 4096-ptr_max
PARAM_VALUE 1 obj->all_hint.counter 1
PARAM_VALUE 1 obj->dev->wait_all_lock.dep_map->name 0-255
PARAM_VALUE 1 obj->dev->wait_all_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 1 obj->dev->wait_all_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 obj->dev->wait_all_lock.osq.tail.counter 0-s32max
PARAM_VALUE 1 obj->dev_locked 1
PARAM_VALUE 1 obj->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 obj->type 0
BUF_SIZE 1 obj s32min-(-2),1-s32max
BUF_SIZE 1 obj s32min-(-2),1-s32max
DATA_SOURCE 1 obj $0
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 obj->u.sem.count
UNITS 0 dev unit_byte
LOCK2 0 &dev->wait_all_lock
TYPE_LOCK (struct ntsync_device)->wait_all_lock