Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/can/isotp.c isotp_register_rxid() -> isotp_bc_flags()

Type Parameter Key Value
DATA_SOURCE 0 so $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 so unit_byte
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 sk

net/can/isotp.c isotp_sendmsg() -> isotp_bc_flags()

Type Parameter Key Value
PARAM_VALUE 0 so 4096-ptr_max
BUF_SIZE 0 so->tx.buf 1-u32max,u64max
CAPPED_DATA 0 so->echotimer.base 1
CAPPED_DATA 0 so->txfrtimer.base 1
CAPPED_DATA 0 so->txtimer.base 1
CAPPED_DATA 0 &so->echotimer 1
CAPPED_DATA 0 &so->txfrtimer 1
CAPPED_DATA 0 &so->txtimer 1
PARAM_COMPARE 0 &so->echotimer != $0->echotimer.base->running
PARAM_COMPARE 0 &so->txfrtimer != $0->txfrtimer.base->running
PARAM_COMPARE 0 &so->txtimer != $0->txtimer.base->running
RX_PATH
TASK_NOT_RUNNING
UNITS 0 so unit_byte
HALF_LOCKED2 &vq->mutex
HALF_LOCKED2 sk

net/can/isotp.c isotp_sendmsg() -> isotp_bc_flags()

Type Parameter Key Value
PARAM_VALUE 0 so 4096-ptr_max
BUF_SIZE 0 so->tx.buf 1-u32max,u64max
CAPPED_DATA 0 so->echotimer.base 1
CAPPED_DATA 0 so->ifindex 1
CAPPED_DATA 0 so->tx.len 1
CAPPED_DATA 0 so->tx.ll_dl 1
CAPPED_DATA 0 so->txfrtimer.base 1
CAPPED_DATA 0 so->txtimer.base 1
CAPPED_DATA 0 &so->echotimer 1
CAPPED_DATA 0 &so->txfrtimer 1
CAPPED_DATA 0 &so->txtimer 1
PARAM_COMPARE 0 &so->echotimer != $0->echotimer.base->running
PARAM_COMPARE 0 &so->txfrtimer != $0->txfrtimer.base->running
PARAM_COMPARE 0 &so->txtimer != $0->txtimer.base->running
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 so->tx.len 1-s32max[c]
UNITS 0 so unit_byte
HALF_LOCKED2 &vq->mutex
HALF_LOCKED2 sk

net/can/isotp.c isotp_setsockopt_locked() -> isotp_bc_flags()

Type Parameter Key Value
PARAM_VALUE 0 so 4096-ptr_max
PARAM_VALUE 0 so->opt.flags 512-u32max
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 so->opt s32min-s32max
USER_DATA 0 so->opt.ext_address 0-255
USER_DATA 0 so->opt.flags 512-u32max
USER_DATA 0 so->opt.frame_txtime 0-u32max
USER_DATA 0 so->opt.rx_ext_address 0-255
USER_DATA 0 so->opt.rxpad_content 0-255
USER_DATA 0 so->opt.txpad_content 0-255
UNITS 0 so unit_byte
LOCK2 sk