Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpib/common/iblib.c ibwait() -> wait_satisfied()

Type Parameter Key Value
PARAM_VALUE 0 winfo 5270592003795820544
PARAM_VALUE 0 winfo->board 4096-ptr_max
PARAM_VALUE 0 winfo->timed_out 0
PARAM_VALUE 1 status_queue 0,4096-ptr_max
PARAM_VALUE 2 wait_mask s32min-(-1),1-s32max
PARAM_VALUE 3 status 4191857964202598416
PARAM_VALUE 4 desc 4096-ptr_max
DATA_SOURCE 2 wait_mask $1
DATA_SOURCE 3 status $4
DATA_SOURCE 4 desc $6
USER_DATA 0 winfo->usec_timeout 0-u32max
USER_DATA 2 wait_mask s32min-(-1),1-s32max
USER_DATA 3 *status s32min-s32max
USER_PTR 3 status

drivers/gpib/common/iblib.c ibwait() -> wait_satisfied()

Type Parameter Key Value
PARAM_VALUE 0 winfo 5270592003795820544
PARAM_VALUE 0 winfo->board 4096-ptr_max
PARAM_VALUE 0 winfo->timed_out 0
PARAM_VALUE 1 status_queue 0,4096-ptr_max
PARAM_VALUE 2 wait_mask s32min-(-1),1-s32max
PARAM_VALUE 3 status 4191857964202598416
PARAM_VALUE 4 desc 4096-ptr_max
DATA_SOURCE 2 wait_mask $1
DATA_SOURCE 3 status $4
DATA_SOURCE 4 desc $6
TASK_NOT_RUNNING
USER_DATA 0 winfo->usec_timeout 0-u32max
USER_DATA 2 wait_mask s32min-(-1),1-s32max
USER_DATA 3 *status s32min-s32max
USER_PTR 3 status

drivers/gpib/common/iblib.c ibwait() -> wait_satisfied()

Type Parameter Key Value
PARAM_VALUE 0 winfo 5270592003795820544
PARAM_VALUE 0 winfo->board 4096-ptr_max
PARAM_VALUE 0 winfo->timed_out 0
PARAM_VALUE 1 status_queue 0,4096-ptr_max
PARAM_VALUE 2 wait_mask s32min-(-1),1-s32max
PARAM_VALUE 3 status 4191857964202598416
PARAM_VALUE 4 desc 4096-ptr_max
DATA_SOURCE 2 wait_mask $1
DATA_SOURCE 3 status $4
DATA_SOURCE 4 desc $6
TASK_NOT_RUNNING
USER_DATA 0 winfo->usec_timeout 0-u32max
USER_DATA 2 wait_mask s32min-(-1),1-s32max
USER_DATA 3 *status s32min-s32max
USER_PTR 3 status