usb_pcwd_send_command identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

drivers/watchdog/pcwd_usb.c, line 207 (as a function)

Referenced in 1 files:

drivers/watchdog/pcwd_usb.c

Smatch caller information:

drivers/watchdog/pcwd_usb.c usb_pcwd_get_temperature() -> usb_pcwd_send_command()

Type	Parameter	Key	Value
PARAM_VALUE	1	cmd	2
PARAM_VALUE	2	msb	1905050669028966400
PARAM_VALUE	2	*msb	0
PARAM_VALUE	3	lsb	7592549476970983424
PARAM_VALUE	3	*lsb	0
DATA_SOURCE	0	usb_pcwd	$0
NOCHECK_CALL

drivers/watchdog/pcwd_usb.c usb_pcwd_get_timeleft() -> usb_pcwd_send_command()

Type	Parameter	Key	Value
PARAM_VALUE	1	cmd	24
PARAM_VALUE	2	msb	1633576514803257344
PARAM_VALUE	2	*msb	0
PARAM_VALUE	3	lsb	1447493703450984448
PARAM_VALUE	3	*lsb	0
DATA_SOURCE	0	usb_pcwd	$0
NOCHECK_CALL

drivers/watchdog/pcwd_usb.c usb_pcwd_keepalive() -> usb_pcwd_send_command()

Type	Parameter	Key	Value
PARAM_VALUE	1	cmd	2
PARAM_VALUE	2	msb	2030973434682318848
PARAM_VALUE	3	lsb	2030973434682318848
DATA_SOURCE	0	usb_pcwd	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/watchdog/pcwd_usb.c usb_pcwd_probe() -> usb_pcwd_send_command()

Type	Parameter	Key	Value
PARAM_VALUE	0	usb_pcwd	4096-ptr_max
PARAM_VALUE	0	usb_pcwd->cmd_received.counter	0
PARAM_VALUE	0	usb_pcwd->exists	1
PARAM_VALUE	0	usb_pcwd->interface	4096-ptr_max
PARAM_VALUE	0	usb_pcwd->interface->authorized	1
PARAM_VALUE	0	usb_pcwd->interface->condition	1
PARAM_VALUE	0	usb_pcwd->interface->cur_altsetting	4096-ptr_max
PARAM_VALUE	0	usb_pcwd->interface->needs_altsetting0	0
PARAM_VALUE	0	usb_pcwd->interface->needs_binding	0
PARAM_VALUE	0	usb_pcwd->interface_number	0-255
PARAM_VALUE	0	usb_pcwd->intr_buffer	1-u64max
PARAM_VALUE	0	usb_pcwd->intr_size	8-u16max
PARAM_VALUE	0	usb_pcwd->intr_urb	4096-ptr_max
PARAM_VALUE	0	usb_pcwd->intr_urb->actual_length	0-s32max
PARAM_VALUE	0	usb_pcwd->intr_urb->anchor	0
PARAM_VALUE	0	usb_pcwd->intr_urb->anchor_list.next	4096-ptr_max
PARAM_VALUE	0	usb_pcwd->intr_urb->anchor_list.next->next	4096-ptr_max
PARAM_VALUE	0	usb_pcwd->intr_urb->anchor_list.prev	4096-ptr_max
PARAM_VALUE	0	usb_pcwd->intr_urb->anchor_list.prev->next	4096-ptr_max
PARAM_VALUE	0	usb_pcwd->intr_urb->anchor_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	usb_pcwd->intr_urb->complete	811653580836163584
PARAM_VALUE	0	usb_pcwd->intr_urb->context	4096-ptr_max
PARAM_VALUE	0	usb_pcwd->intr_urb->dev	4096-ptr_max
PARAM_VALUE	0	usb_pcwd->intr_urb->dev->state	4-u32max
PARAM_VALUE	0	usb_pcwd->intr_urb->ep	4096-ptr_max
PARAM_VALUE	0	usb_pcwd->intr_urb->ep->urb_list.prev	4096-ptr_max
PARAM_VALUE	0	usb_pcwd->intr_urb->ep->urb_list.prev->next	4096-ptr_max
PARAM_VALUE	0	usb_pcwd->intr_urb->ep->urb_list.prev->next->next	4096-ptr_max
PARAM_VALUE	0	usb_pcwd->intr_urb->error_count	0
PARAM_VALUE	0	usb_pcwd->intr_urb->hcpriv	0,4096-ptr_max
PARAM_VALUE	0	usb_pcwd->intr_urb->interval	s32min-32768
PARAM_VALUE	0	usb_pcwd->intr_urb->num_mapped_sgs	0-s32max
PARAM_VALUE	0	usb_pcwd->intr_urb->num_sgs	0
PARAM_VALUE	0	usb_pcwd->intr_urb->number_of_packets	0
PARAM_VALUE	0	usb_pcwd->intr_urb->pipe	0,128-u32max
PARAM_VALUE	0	usb_pcwd->intr_urb->reject.counter	0
PARAM_VALUE	0	usb_pcwd->intr_urb->sg	0
PARAM_VALUE	0	usb_pcwd->intr_urb->sgt	0
PARAM_VALUE	0	usb_pcwd->intr_urb->start_frame	(-1)
PARAM_VALUE	0	usb_pcwd->intr_urb->status	(-4095)-0
PARAM_VALUE	0	usb_pcwd->intr_urb->stream_id	0
PARAM_VALUE	0	usb_pcwd->intr_urb->transfer_buffer->bDeviceProtocol	1
PARAM_VALUE	0	usb_pcwd->intr_urb->transfer_buffer->bmAttributes	0-255
PARAM_VALUE	0	usb_pcwd->intr_urb->transfer_buffer_length	8-u16max
PARAM_VALUE	0	usb_pcwd->intr_urb->urb_list.next->next	4096-ptr_max
PARAM_VALUE	0	usb_pcwd->intr_urb->urb_list.prev->next	4096-ptr_max
PARAM_VALUE	0	usb_pcwd->intr_urb->urb_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	usb_pcwd->mtx.dep_map->name	0-255
PARAM_VALUE	0	usb_pcwd->mtx.first_waiter	0
PARAM_VALUE	0	usb_pcwd->mtx.magic	4096-ptr_max
PARAM_VALUE	0	usb_pcwd->mtx.osq.tail.counter	0
PARAM_VALUE	0	usb_pcwd->mtx.owner.counter	0
PARAM_VALUE	0	usb_pcwd->udev	4096-ptr_max
PARAM_VALUE	1	cmd	8
PARAM_VALUE	2	msb	4856924005610299392
PARAM_VALUE	3	lsb	3742929329460969472
BUF_SIZE	0	usb_pcwd	224
BUF_SIZE	0	usb_pcwd->intr_buffer	s32min-s32max
BUF_SIZE	0	usb_pcwd->intr_urb	s32min-s32max
CAPPED_DATA	0	usb_pcwd->intr_urb	1
CAPPED_DATA	0	usb_pcwd->intr_urb->transfer_buffer_length	1
DATA_SOURCE	0	usb_pcwd	r _kzalloc_noprof
FUZZY_MAX	0	usb_pcwd->intr_size	8
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE	0	usb_pcwd->intr_urb->num_mapped_sgs

drivers/watchdog/pcwd_usb.c usb_pcwd_probe() -> usb_pcwd_send_command()

Type	Parameter	Key	Value
PARAM_VALUE	0	usb_pcwd	4096-ptr_max
PARAM_VALUE	0	usb_pcwd->cmd_received.counter	0
PARAM_VALUE	0	usb_pcwd->exists	1
PARAM_VALUE	0	usb_pcwd->interface	4096-ptr_max
PARAM_VALUE	0	usb_pcwd->interface->authorized	1
PARAM_VALUE	0	usb_pcwd->interface->condition	1
PARAM_VALUE	0	usb_pcwd->interface->cur_altsetting	4096-ptr_max
PARAM_VALUE	0	usb_pcwd->interface->needs_altsetting0	0
PARAM_VALUE	0	usb_pcwd->interface->needs_binding	0
PARAM_VALUE	0	usb_pcwd->interface_number	0-255
PARAM_VALUE	0	usb_pcwd->intr_buffer	1-u64max
PARAM_VALUE	0	usb_pcwd->intr_size	8-u16max
PARAM_VALUE	0	usb_pcwd->intr_urb	4096-ptr_max
PARAM_VALUE	0	usb_pcwd->intr_urb->actual_length	0-s32max
PARAM_VALUE	0	usb_pcwd->intr_urb->anchor	0
PARAM_VALUE	0	usb_pcwd->intr_urb->anchor_list.next	4096-ptr_max
PARAM_VALUE	0	usb_pcwd->intr_urb->anchor_list.next->next	4096-ptr_max
PARAM_VALUE	0	usb_pcwd->intr_urb->anchor_list.prev	4096-ptr_max
PARAM_VALUE	0	usb_pcwd->intr_urb->anchor_list.prev->next	4096-ptr_max
PARAM_VALUE	0	usb_pcwd->intr_urb->anchor_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	usb_pcwd->intr_urb->complete	811653580836163584
PARAM_VALUE	0	usb_pcwd->intr_urb->context	4096-ptr_max
PARAM_VALUE	0	usb_pcwd->intr_urb->dev	4096-ptr_max
PARAM_VALUE	0	usb_pcwd->intr_urb->dev->state	4-u32max
PARAM_VALUE	0	usb_pcwd->intr_urb->ep	4096-ptr_max
PARAM_VALUE	0	usb_pcwd->intr_urb->ep->urb_list.prev	4096-ptr_max
PARAM_VALUE	0	usb_pcwd->intr_urb->ep->urb_list.prev->next	4096-ptr_max
PARAM_VALUE	0	usb_pcwd->intr_urb->ep->urb_list.prev->next->next	4096-ptr_max
PARAM_VALUE	0	usb_pcwd->intr_urb->error_count	0
PARAM_VALUE	0	usb_pcwd->intr_urb->hcpriv	0,4096-ptr_max
PARAM_VALUE	0	usb_pcwd->intr_urb->interval	s32min-32768
PARAM_VALUE	0	usb_pcwd->intr_urb->num_mapped_sgs	0-s32max
PARAM_VALUE	0	usb_pcwd->intr_urb->num_sgs	0
PARAM_VALUE	0	usb_pcwd->intr_urb->number_of_packets	0
PARAM_VALUE	0	usb_pcwd->intr_urb->pipe	0,128-u32max
PARAM_VALUE	0	usb_pcwd->intr_urb->reject.counter	0
PARAM_VALUE	0	usb_pcwd->intr_urb->sg	0
PARAM_VALUE	0	usb_pcwd->intr_urb->sgt	0
PARAM_VALUE	0	usb_pcwd->intr_urb->start_frame	(-1)
PARAM_VALUE	0	usb_pcwd->intr_urb->status	(-4095)-0
PARAM_VALUE	0	usb_pcwd->intr_urb->stream_id	0
PARAM_VALUE	0	usb_pcwd->intr_urb->transfer_buffer->bDeviceProtocol	1
PARAM_VALUE	0	usb_pcwd->intr_urb->transfer_buffer->bmAttributes	0-255
PARAM_VALUE	0	usb_pcwd->intr_urb->transfer_buffer_length	8-u16max
PARAM_VALUE	0	usb_pcwd->intr_urb->urb_list.next->next	4096-ptr_max
PARAM_VALUE	0	usb_pcwd->intr_urb->urb_list.prev->next	4096-ptr_max
PARAM_VALUE	0	usb_pcwd->intr_urb->urb_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	usb_pcwd->mtx.dep_map->name	0-255
PARAM_VALUE	0	usb_pcwd->mtx.first_waiter	0
PARAM_VALUE	0	usb_pcwd->mtx.magic	4096-ptr_max
PARAM_VALUE	0	usb_pcwd->mtx.osq.tail.counter	0
PARAM_VALUE	0	usb_pcwd->mtx.owner.counter	0
PARAM_VALUE	0	usb_pcwd->udev	4096-ptr_max
PARAM_VALUE	1	cmd	12
PARAM_VALUE	2	msb	869100209223974912
PARAM_VALUE	3	lsb	7873393059718311936
BUF_SIZE	0	usb_pcwd	224
BUF_SIZE	0	usb_pcwd->intr_buffer	s32min-s32max
BUF_SIZE	0	usb_pcwd->intr_urb	s32min-s32max
CAPPED_DATA	0	usb_pcwd->intr_urb	1
CAPPED_DATA	0	usb_pcwd->intr_urb->transfer_buffer_length	1
DATA_SOURCE	0	usb_pcwd	r _kzalloc_noprof
FUZZY_MAX	0	usb_pcwd->intr_size	8
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	usb_pcwd->intr_urb->num_mapped_sgs

drivers/watchdog/pcwd_usb.c usb_pcwd_set_heartbeat() -> usb_pcwd_send_command()

Type	Parameter	Key	Value
PARAM_VALUE	1	cmd	25
PARAM_VALUE	2	msb	236707676216860672
PARAM_VALUE	3	lsb	3523368112627134464
BUF_SIZE	0	usb_pcwd	(-1),224
BUF_SIZE	0	usb_pcwd	(-1),224
DATA_SOURCE	0	usb_pcwd	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	3	*lsb	0-255[c]
NO_OVERFLOW_SIMPLE	0	usb_pcwd->intr_urb->num_mapped_sgs
USER_PTR	3	lsb

drivers/watchdog/pcwd_usb.c usb_pcwd_start() -> usb_pcwd_send_command()

Type	Parameter	Key	Value
PARAM_VALUE	1	cmd	48
PARAM_VALUE	2	msb	8568122493496717312
PARAM_VALUE	2	*msb	0
PARAM_VALUE	3	lsb	4457751001643892736
PARAM_VALUE	3	*lsb	0
DATA_SOURCE	0	usb_pcwd	$0
RX_PATH
TASK_NOT_RUNNING

drivers/watchdog/pcwd_usb.c usb_pcwd_stop() -> usb_pcwd_send_command()

Type	Parameter	Key	Value
PARAM_VALUE	1	cmd	48
PARAM_VALUE	2	msb	7618204232529932288
PARAM_VALUE	2	*msb	165
PARAM_VALUE	3	lsb	3365338054616588288
PARAM_VALUE	3	*lsb	195
BUF_SIZE	0	usb_pcwd	s32min-(-1),1-s32max
BUF_SIZE	0	usb_pcwd	s32min-(-1),1-s32max
DATA_SOURCE	0	usb_pcwd	$0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE	0	usb_pcwd->intr_urb->num_mapped_sgs
UNITS	0	usb_pcwd	unit_byte
HALF_LOCKED2		global &disconnect_mutex
HALF_LOCKED2	0	&usb_pcwd->mtx