Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpib/common/gpib_os.c get_gpib_status_queue() -> gpib_address_equal()

Type Parameter Key Value
DATA_SOURCE 2 pad2 $1
DATA_SOURCE 3 sad2 $2
USER_DATA 2 pad2 0-u32max
USER_DATA 3 sad2 s32min-s32max
LOCK2 &board->big_gpib_mutex
TYPE_LOCK (struct gpib_board)->big_gpib_mutex

drivers/gpib/common/gpib_os.c increment_open_device_count() -> gpib_address_equal()

Type Parameter Key Value
DATA_SOURCE 2 pad2 $2
DATA_SOURCE 3 sad2 $3
USER_DATA 2 pad2 0-u32max
USER_DATA 3 sad2 s32min-s32max
LOCK2 &board->big_gpib_mutex
TYPE_LOCK (struct gpib_board)->big_gpib_mutex

drivers/gpib/common/gpib_os.c subtract_open_device_count() -> gpib_address_equal()

Type Parameter Key Value
DATA_SOURCE 2 pad2 $2
DATA_SOURCE 3 sad2 $3
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &board->big_gpib_mutex