Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/mon/mon_bin.c mon_bin_error() -> MON_OFF2HDR()

Type Parameter Key Value
PARAM_VALUE 0 rp 4096-ptr_max
PARAM_VALUE 1 offset 0-4294967294
BUF_SIZE 0 rp 392,416
BUF_SIZE 0 rp 392,416
CAPPED_DATA 0 rp->b_size 1
DATA_SOURCE 0 rp $0
PREEMPT_ADD <- disables preempt
UNITS 1 offset unit_byte
LOCK2 &mbus->lock
LOCK2 flags
LOCK2 flags
LOCK2 0 &rp->b_lock
TYPE_LOCK (struct mon_bus)->lock
TYPE_LOCK (struct mon_reader_bin)->b_lock

drivers/usb/mon/mon_bin.c mon_bin_event() -> MON_OFF2HDR()

Type Parameter Key Value
PARAM_VALUE 0 rp 4096-ptr_max
PARAM_VALUE 1 offset 0-4294967294
BUF_SIZE 0 rp 392,416
BUF_SIZE 0 rp 392,416
DATA_SOURCE 0 rp $0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
UNITS 1 offset unit_byte
LOCK2 &mbus->lock
LOCK2 flags
LOCK2 flags
LOCK2 0 &rp->b_lock
TYPE_LOCK (struct mon_bus)->lock
TYPE_LOCK (struct mon_reader_bin)->b_lock

drivers/usb/mon/mon_bin.c mon_bin_fetch() -> MON_OFF2HDR()

Type Parameter Key Value
PARAM_VALUE 0 rp 4096-ptr_max
BUF_SIZE 0 rp s32min-(-2),1-s32max
BUF_SIZE 0 rp s32min-(-2),1-s32max
CAPPED_DATA 0 &rp->fetch_lock 1
DATA_SOURCE 0 rp $1
LOCK2 0 &rp->fetch_lock
TYPE_LOCK (struct mon_reader_bin)->fetch_lock

drivers/usb/mon/mon_bin.c mon_bin_flush() -> MON_OFF2HDR()

Type Parameter Key Value
PARAM_VALUE 0 rp 4096-ptr_max
BUF_SIZE 0 rp s32min-(-2),1-s32max
BUF_SIZE 0 rp s32min-(-2),1-s32max
CAPPED_DATA 0 &rp->fetch_lock 1
DATA_SOURCE 0 rp $0
PREEMPT_ADD <- disables preempt
LOCK2 flags
LOCK2 0 &rp->b_lock
LOCK2 0 &rp->fetch_lock
TYPE_LOCK (struct mon_reader_bin)->b_lock
TYPE_LOCK (struct mon_reader_bin)->fetch_lock

drivers/usb/mon/mon_bin.c mon_bin_get_event() -> MON_OFF2HDR()

Type Parameter Key Value
PARAM_VALUE 0 rp 4096-ptr_max
BUF_SIZE 0 rp s32min-(-2),1-s32max
BUF_SIZE 0 rp s32min-(-2),1-s32max
CAPPED_DATA 0 &rp->fetch_lock 1
DATA_SOURCE 0 rp $1
LOCK2 0 &rp->fetch_lock
TYPE_LOCK (struct mon_reader_bin)->fetch_lock

drivers/usb/mon/mon_bin.c mon_bin_ioctl() -> MON_OFF2HDR()

Type Parameter Key Value
PARAM_VALUE 0 rp 4096-ptr_max
BUF_SIZE 0 rp s32min-(-2),1-s32max
BUF_SIZE 0 rp s32min-(-2),1-s32max
PREEMPT_ADD <- disables preempt
LOCK2 flags
LOCK2 0 &rp->b_lock
TYPE_LOCK (struct mon_reader_bin)->b_lock

drivers/usb/mon/mon_bin.c mon_bin_queued() -> MON_OFF2HDR()

Type Parameter Key Value
PARAM_VALUE 0 rp 4096-ptr_max
BUF_SIZE 0 rp s32min-(-2),1-s32max
BUF_SIZE 0 rp s32min-(-2),1-s32max
CAPPED_DATA 0 &rp->fetch_lock 1
DATA_SOURCE 0 rp $0
LOCK2 0 &rp->fetch_lock
TYPE_LOCK (struct mon_reader_bin)->fetch_lock

drivers/usb/mon/mon_bin.c mon_bin_read() -> MON_OFF2HDR()

Type Parameter Key Value
PARAM_VALUE 0 rp 4096-ptr_max
BUF_SIZE 0 rp s32min-(-2),1-s32max
BUF_SIZE 0 rp s32min-(-2),1-s32max
CAPPED_DATA 0 &rp->fetch_lock 1
LOCK2 0 &rp->fetch_lock
TYPE_LOCK (struct mon_reader_bin)->fetch_lock

drivers/usb/mon/mon_bin.c mon_buff_area_fill() -> MON_OFF2HDR()

Type Parameter Key Value
PARAM_VALUE 0 rp 4096-ptr_max
BUF_SIZE 0 rp 392,416
BUF_SIZE 0 rp 392,416
CAPPED_DATA 0 rp->b_size 1
DATA_SOURCE 0 rp $0
DATA_SOURCE 1 offset $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 1 offset unit_byte
LOCK2 &mbus->lock
LOCK2 flags
LOCK2 0 &rp->b_lock
TYPE_LOCK (struct mon_bus)->lock
TYPE_LOCK (struct mon_reader_bin)->b_lock