Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/misc/usbtest.c test_halt() -> verify_not_halted()

Type Parameter Key Value
PARAM_VALUE 0 tdev 4096-ptr_max
PARAM_VALUE 1 ep 0-15,128-143
PARAM_VALUE 2 urb 4096-ptr_max
PARAM_VALUE 2 urb->pipe 1-u32max
PARAM_VALUE 2 *urb->dev->toggle 0-4294967295
BUF_SIZE 0 tdev s32min-(-2),1-s32max
BUF_SIZE 0 tdev s32min-(-2),1-s32max
CAPPED_DATA 2 urb 1
DATA_SOURCE 0 tdev $0
DATA_SOURCE 1 ep $1
DATA_SOURCE 2 urb $2
BIT_INFO 1 ep 0x0,0x8f
BIT_INFO 2 urb->pipe 0x0,0x7fffffff
NO_OVERFLOW_SIMPLE 2 urb->num_mapped_sgs
NO_OVERFLOW_SIMPLE 2 urb->transfer_buffer_length
UNITS 0 tdev unit_byte
LOCK2 &dev->dev.mutex
LOCK2 &dev->lock
TYPE_LOCK (struct device)->mutex
TYPE_LOCK (struct usbtest_dev)->lock

drivers/usb/misc/usbtest.c test_halt() -> verify_not_halted()

Type Parameter Key Value
PARAM_VALUE 0 tdev 4096-ptr_max
PARAM_VALUE 1 ep 0-15,128-143
PARAM_VALUE 2 urb 4096-ptr_max
PARAM_VALUE 2 urb->context 6991588988379762688
PARAM_VALUE 2 urb->dev 4096-ptr_max
PARAM_VALUE 2 urb->dev->dev.kobj.release->timer->entry.pprev 4096-ptr_max
PARAM_VALUE 2 urb->dev->dev.kobj.release.timer.is_hard 0-1
PARAM_VALUE 2 urb->dev->dev.kobj.release.timer.is_lazy 0-1
PARAM_VALUE 2 urb->dev->dev.kobj.release.timer.is_queued 0-1
PARAM_VALUE 2 urb->dev->dev.kobj.release.timer.is_soft 0-1
PARAM_VALUE 2 urb->ep 4096-ptr_max
PARAM_VALUE 2 urb->ep->urb_list.prev 4096-ptr_max
PARAM_VALUE 2 urb->ep->urb_list.prev->next 4096-ptr_max
PARAM_VALUE 2 urb->ep->urb_list.prev->next->next 4096-ptr_max
PARAM_VALUE 2 urb->hcpriv 0,4096-ptr_max
PARAM_VALUE 2 urb->interval s32min-32768
PARAM_VALUE 2 urb->num_mapped_sgs 0-s32max
PARAM_VALUE 2 urb->pipe 1-u32max
PARAM_VALUE 2 urb->status (-4095)-0
PARAM_VALUE 2 urb->transfer_buffer->_refcount.counter s32min-s32max
PARAM_VALUE 2 urb->transfer_buffer->bDeviceProtocol 1
PARAM_VALUE 2 urb->transfer_buffer->bmAttributes 0-255
PARAM_VALUE 2 urb->transfer_buffer->memcg_data 0
PARAM_VALUE 2 urb->transfer_buffer->page_type 0-4294967295
PARAM_VALUE 2 urb->urb_list.next->next 4096-ptr_max
PARAM_VALUE 2 urb->urb_list.next->prev 4096-ptr_max
PARAM_VALUE 2 urb->urb_list.prev->next 4096-ptr_max
PARAM_VALUE 2 urb->urb_list.prev->prev 4096-ptr_max
PARAM_VALUE 2 *urb->dev->toggle 0-4294967295
BUF_SIZE 0 tdev s32min-(-2),1-s32max
BUF_SIZE 0 tdev s32min-(-2),1-s32max
CAPPED_DATA 2 urb 1
DATA_SOURCE 0 tdev $0
DATA_SOURCE 1 ep $1
DATA_SOURCE 2 urb $2
BIT_INFO 1 ep 0x0,0x8f
BIT_INFO 2 urb->pipe 0x0,0x7fffffff
NO_OVERFLOW_SIMPLE 2 urb->num_mapped_sgs
NO_OVERFLOW_SIMPLE 2 urb->transfer_buffer_length
UNITS 0 tdev unit_byte
LOCK2 &dev->dev.mutex
LOCK2 &dev->lock
TYPE_LOCK (struct device)->mutex
TYPE_LOCK (struct usbtest_dev)->lock