vmci_write_reg identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

drivers/misc/vmw_vmci/vmci_guest.c, line 109 (as a function)

Referenced in 1 files:

drivers/misc/vmw_vmci/vmci_guest.c

Smatch caller information:

drivers/misc/vmw_vmci/vmci_guest.c vmci_guest_probe_device() -> vmci_write_reg()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->data_buffer	1-u64max
PARAM_VALUE	0	dev->dev	4096-ptr_max
PARAM_VALUE	0	dev->dev->bus	0,4096-ptr_max
PARAM_VALUE	0	dev->dev->class	0,4096-ptr_max
PARAM_VALUE	0	dev->dev->driver	0,4096-ptr_max
PARAM_VALUE	0	dev->exclusive_vectors	0
PARAM_VALUE	0	dev->inout_wq.head.next	4096-ptr_max
PARAM_VALUE	0	dev->inout_wq.head.next->next	4096-ptr_max
PARAM_VALUE	0	dev->inout_wq.head.prev	4096-ptr_max
PARAM_VALUE	0	dev->inout_wq.head.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->inout_wq.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->mmio_base	0,65536-131071
PARAM_VALUE	0	dev->notification_bitmap	0-ptr_max
PARAM_VALUE	0	dev->tx_buffer	0-ptr_max
PARAM_VALUE	1	val	4,12,20,28,36,44,52,60
PARAM_VALUE	2	reg	24
BUF_SIZE	0	dev	168
BUF_SIZE	0	dev->data_buffer	69632,73728
BUF_SIZE	0	dev->dev	1616
BUF_SIZE	0	dev->notification_bitmap	0,4096
BUF_SIZE	0	dev->tx_buffer	0,73728
DATA_SOURCE	0	dev	r devm_kzalloc
FUZZY_MAX	1	val	4
BIT_INFO	1	val	0x4,0x3c
MEM_ZERO	0	dev
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/misc/vmw_vmci/vmci_guest.c vmci_guest_probe_device() -> vmci_write_reg()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->data_buffer	1-u64max
PARAM_VALUE	0	dev->dev	4096-ptr_max
PARAM_VALUE	0	dev->dev->bus	0,4096-ptr_max
PARAM_VALUE	0	dev->dev->class	0,4096-ptr_max
PARAM_VALUE	0	dev->dev->driver	0,4096-ptr_max
PARAM_VALUE	0	dev->exclusive_vectors	0
PARAM_VALUE	0	dev->inout_wq.head.next	4096-ptr_max
PARAM_VALUE	0	dev->inout_wq.head.next->next	4096-ptr_max
PARAM_VALUE	0	dev->inout_wq.head.prev	4096-ptr_max
PARAM_VALUE	0	dev->inout_wq.head.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->inout_wq.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->iobase	0
PARAM_VALUE	0	dev->mmio_base	0,65536-131071
PARAM_VALUE	0	dev->notification_bitmap	0-ptr_max
PARAM_VALUE	0	dev->tx_buffer	0-ptr_max
PARAM_VALUE	1	val	12
PARAM_VALUE	2	reg	52
BUF_SIZE	0	dev	168
BUF_SIZE	0	dev->data_buffer	69632,73728
BUF_SIZE	0	dev->dev	1616
BUF_SIZE	0	dev->notification_bitmap	0,4096
BUF_SIZE	0	dev->tx_buffer	0,73728
DATA_SOURCE	0	dev	r devm_kzalloc
MEM_ZERO	0	dev
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/misc/vmw_vmci/vmci_guest.c vmci_guest_probe_device() -> vmci_write_reg()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->data_buffer	1-u64max
PARAM_VALUE	0	dev->dev	4096-ptr_max
PARAM_VALUE	0	dev->dev->bus	0,4096-ptr_max
PARAM_VALUE	0	dev->dev->class	0,4096-ptr_max
PARAM_VALUE	0	dev->dev->driver	0,4096-ptr_max
PARAM_VALUE	0	dev->exclusive_vectors	0
PARAM_VALUE	0	dev->inout_wq.head.next	4096-ptr_max
PARAM_VALUE	0	dev->inout_wq.head.next->next	4096-ptr_max
PARAM_VALUE	0	dev->inout_wq.head.prev	4096-ptr_max
PARAM_VALUE	0	dev->inout_wq.head.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->inout_wq.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->iobase	0
PARAM_VALUE	0	dev->mmio_base	0,65536-131071
PARAM_VALUE	0	dev->notification_bitmap	0-ptr_max
PARAM_VALUE	0	dev->tx_buffer	0-ptr_max
PARAM_VALUE	2	reg	48
BUF_SIZE	0	dev	168
BUF_SIZE	0	dev->data_buffer	69632,73728
BUF_SIZE	0	dev->dev	1616
BUF_SIZE	0	dev->notification_bitmap	0,4096
BUF_SIZE	0	dev->tx_buffer	0,73728
DATA_SOURCE	0	dev	r devm_kzalloc
MEM_ZERO	0	dev
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/misc/vmw_vmci/vmci_guest.c vmci_guest_probe_device() -> vmci_write_reg()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->data_buffer	1-u64max
PARAM_VALUE	0	dev->dev	4096-ptr_max
PARAM_VALUE	0	dev->dev->bus	0,4096-ptr_max
PARAM_VALUE	0	dev->dev->class	0,4096-ptr_max
PARAM_VALUE	0	dev->dev->driver	0,4096-ptr_max
PARAM_VALUE	0	dev->exclusive_vectors	0
PARAM_VALUE	0	dev->inout_wq.head.next	4096-ptr_max
PARAM_VALUE	0	dev->inout_wq.head.next->next	4096-ptr_max
PARAM_VALUE	0	dev->inout_wq.head.prev	4096-ptr_max
PARAM_VALUE	0	dev->inout_wq.head.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->inout_wq.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->iobase	0
PARAM_VALUE	0	dev->mmio_base	0,65536-131071
PARAM_VALUE	0	dev->notification_bitmap	0-ptr_max
PARAM_VALUE	0	dev->tx_buffer	0-ptr_max
PARAM_VALUE	2	reg	40
BUF_SIZE	0	dev	168
BUF_SIZE	0	dev->data_buffer	69632,73728
BUF_SIZE	0	dev->dev	1616
BUF_SIZE	0	dev->notification_bitmap	0,4096
BUF_SIZE	0	dev->tx_buffer	0,73728
DATA_SOURCE	0	dev	r devm_kzalloc
MEM_ZERO	0	dev
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/misc/vmw_vmci/vmci_guest.c vmci_guest_probe_device() -> vmci_write_reg()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->data_buffer	1-u64max
PARAM_VALUE	0	dev->dev	4096-ptr_max
PARAM_VALUE	0	dev->dev->bus	0,4096-ptr_max
PARAM_VALUE	0	dev->dev->class	0,4096-ptr_max
PARAM_VALUE	0	dev->dev->driver	0,4096-ptr_max
PARAM_VALUE	0	dev->inout_wq.head.next	4096-ptr_max
PARAM_VALUE	0	dev->inout_wq.head.next->next	4096-ptr_max
PARAM_VALUE	0	dev->inout_wq.head.prev	4096-ptr_max
PARAM_VALUE	0	dev->inout_wq.head.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->inout_wq.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->iobase	0
PARAM_VALUE	0	dev->mmio_base	0,65536-131071
PARAM_VALUE	0	dev->notification_bitmap	0-ptr_max
PARAM_VALUE	0	dev->tx_buffer	0-ptr_max
PARAM_VALUE	1	val	1,3,5,7
PARAM_VALUE	2	reg	12
BUF_SIZE	0	dev	168
BUF_SIZE	0	dev->data_buffer	69632,73728
BUF_SIZE	0	dev->dev	1616
BUF_SIZE	0	dev->notification_bitmap	0,4096
BUF_SIZE	0	dev->tx_buffer	0,73728
DATA_SOURCE	0	dev	r devm_kzalloc
BIT_INFO	1	val	0x1,0x7
MEM_ZERO	0	dev
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/misc/vmw_vmci/vmci_guest.c vmci_guest_probe_device() -> vmci_write_reg()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->data_buffer	1-u64max
PARAM_VALUE	0	dev->dev	4096-ptr_max
PARAM_VALUE	0	dev->dev->bus	0,4096-ptr_max
PARAM_VALUE	0	dev->dev->class	0,4096-ptr_max
PARAM_VALUE	0	dev->dev->driver	0,4096-ptr_max
PARAM_VALUE	0	dev->inout_wq.head.next	4096-ptr_max
PARAM_VALUE	0	dev->inout_wq.head.next->next	4096-ptr_max
PARAM_VALUE	0	dev->inout_wq.head.prev	4096-ptr_max
PARAM_VALUE	0	dev->inout_wq.head.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->inout_wq.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->iobase	0
PARAM_VALUE	0	dev->mmio_base	0,65536-131071
PARAM_VALUE	0	dev->notification_bitmap	0-ptr_max
PARAM_VALUE	0	dev->tx_buffer	0-ptr_max
PARAM_VALUE	1	val	2
PARAM_VALUE	2	reg	4
BUF_SIZE	0	dev	168
BUF_SIZE	0	dev->data_buffer	69632,73728
BUF_SIZE	0	dev->dev	1616
BUF_SIZE	0	dev->notification_bitmap	0,4096
BUF_SIZE	0	dev->tx_buffer	0,73728
DATA_SOURCE	0	dev	r devm_kzalloc
MEM_ZERO	0	dev
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/misc/vmw_vmci/vmci_guest.c vmci_guest_probe_device() -> vmci_write_reg()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->data_buffer	1-u64max
PARAM_VALUE	0	dev->dev	4096-ptr_max
PARAM_VALUE	0	dev->dev->bus	0,4096-ptr_max
PARAM_VALUE	0	dev->dev->class	0,4096-ptr_max
PARAM_VALUE	0	dev->dev->driver	0,4096-ptr_max
PARAM_VALUE	0	dev->exclusive_vectors	0
PARAM_VALUE	0	dev->inout_wq.head.next	4096-ptr_max
PARAM_VALUE	0	dev->inout_wq.head.next->next	4096-ptr_max
PARAM_VALUE	0	dev->inout_wq.head.prev	4096-ptr_max
PARAM_VALUE	0	dev->inout_wq.head.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->inout_wq.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->iobase	0
PARAM_VALUE	0	dev->mmio_base	65536-131071
PARAM_VALUE	0	dev->notification_bitmap	1-ptr_max
PARAM_VALUE	0	dev->tx_buffer	1-ptr_max
PARAM_VALUE	1	val	1
PARAM_VALUE	2	reg	4
BUF_SIZE	0	dev	168
BUF_SIZE	0	dev->data_buffer	69632,73728
BUF_SIZE	0	dev->dev	1616
BUF_SIZE	0	dev->notification_bitmap	4096
BUF_SIZE	0	dev->tx_buffer	0,73728
CAPPED_DATA	0	dev	1
DATA_SOURCE	0	dev	r devm_kzalloc
MEM_ZERO	0	dev
MEM_ZERO	0	dev->notification_bitmap
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS	0	dev	unit_byte

drivers/misc/vmw_vmci/vmci_guest.c vmci_guest_remove_device() -> vmci_write_reg()

Type	Parameter	Key	Value
PARAM_VALUE	1	val	1
PARAM_VALUE	2	reg	4
BUF_SIZE	0	dev	s32min-(-2),1-s32max
BUF_SIZE	0	dev	s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS	0	dev	unit_byte

drivers/misc/vmw_vmci/vmci_guest.c vmci_read_data() -> vmci_write_reg()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->data_buffer	4096-ptr_max
PARAM_VALUE	0	dev->mmio_base	1-u64max
PARAM_VALUE	2	reg	44
DATA_SOURCE	0	dev	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		_T->lock

drivers/misc/vmw_vmci/vmci_guest.c vmci_write_data() -> vmci_write_reg()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->mmio_base	1-u64max
PARAM_VALUE	0	dev->tx_buffer	4096-ptr_max
PARAM_VALUE	2	reg	36
DATA_SOURCE	0	dev	$0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2		flags
LOCK2		global &vmci_dev_spinlock
HALF_LOCKED2		&b->conf_sem
HALF_LOCKED2		&pool->lock
HALF_LOCKED2		global &qp_guest_endpoints.mutex