Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/block/nbd.c nbd_send_cmd() -> was_interrupted()

Type Parameter Key Value
PARAM_VALUE 0 result s32min-(-1)
DATA_SOURCE 0 result r sock_xmit
FUZZY_MAX 0 result (-1)
BIT_INFO 0 result 0x0,0x7fffffff
HARD_MAX 0 result (-1)
RX_PATH
TASK_NOT_RUNNING
LOCK2 &cmd->lock
LOCK2 &nsock->tx_lock
TYPE_LOCK (struct nbd_cmd)->lock
TYPE_LOCK (struct nbd_sock)->tx_lock

drivers/block/nbd.c nbd_send_cmd() -> was_interrupted()

Type Parameter Key Value
PARAM_VALUE 0 result s32min-(-1)
DATA_SOURCE 0 result r sock_xmit
FUZZY_MAX 0 result (-1)
BIT_INFO 0 result 0x0,0x7fffffff
HARD_MAX 0 result (-1)
RX_PATH
TASK_NOT_RUNNING
LOCK2 &cmd->lock
LOCK2 &nsock->tx_lock
TYPE_LOCK (struct nbd_cmd)->lock
TYPE_LOCK (struct nbd_sock)->tx_lock