Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 1 args 8159099856320901120
PARAM_VALUE 2 all 1
PARAM_VALUE 3 ret_q 8572375617726574592
BUF_SIZE 0 dev s32min-(-2),1-s32max
BUF_SIZE 0 dev s32min-(-2),1-s32max
DATA_SOURCE 0 dev $0
USER_DATA 1 args->alert 0-u32max
USER_DATA 1 args->count 0-u32max
USER_DATA 1 args->flags 0-u32max
USER_DATA 1 args->index 0-u32max
USER_DATA 1 args->objs 0-u64max
USER_DATA 1 args->owner 0-u32max
USER_DATA 1 args->pad 0-u32max
USER_DATA 1 args->timeout 0-u64max

drivers/misc/ntsync.c ntsync_wait_any() -> setup_wait()

Type Parameter Key Value
PARAM_VALUE 1 args 6631289607768813568
PARAM_VALUE 2 all 0
PARAM_VALUE 3 ret_q 8254266932688297984
BUF_SIZE 0 dev s32min-(-2),1-s32max
BUF_SIZE 0 dev s32min-(-2),1-s32max
DATA_SOURCE 0 dev $0
USER_DATA 1 args->alert 0-u32max
USER_DATA 1 args->count 0-u32max
USER_DATA 1 args->flags 0-u32max
USER_DATA 1 args->index 0-u32max
USER_DATA 1 args->objs 0-u64max
USER_DATA 1 args->owner 0-u32max
USER_DATA 1 args->pad 0-u32max
USER_DATA 1 args->timeout 0-u64max