drivers/misc/vmw_vmci/vmci_guest.c

140

vmci_write_reg(vmci_dev, lower_32_bits(vmci_dev->data_buffer_base),

drivers/misc/vmw_vmci/vmci_guest.c

170

vmci_write_reg(dev, lower_32_bits(dev->tx_buffer_base),

drivers/misc/vmw_vmci/vmci_guest.c

727

vmci_write_reg(vmci_dev, caps_in_use, VMCI_CAPS_ADDR);

drivers/misc/vmw_vmci/vmci_guest.c

731

vmci_write_reg(vmci_dev, PAGE_SHIFT, VMCI_GUEST_PAGE_SHIFT);

drivers/misc/vmw_vmci/vmci_guest.c

734

vmci_write_reg(vmci_dev, upper_32_bits(vmci_dev->data_buffer_base),

drivers/misc/vmw_vmci/vmci_guest.c

736

vmci_write_reg(vmci_dev, upper_32_bits(vmci_dev->tx_buffer_base),

drivers/misc/vmw_vmci/vmci_guest.c

853

vmci_write_reg(vmci_dev, cmd, VMCI_IMR_ADDR);

drivers/misc/vmw_vmci/vmci_guest.c

856

vmci_write_reg(vmci_dev, VMCI_CONTROL_INT_ENABLE, VMCI_CONTROL_ADDR);

drivers/misc/vmw_vmci/vmci_guest.c

888

vmci_write_reg(vmci_dev, VMCI_CONTROL_RESET, VMCI_CONTROL_ADDR);

drivers/misc/vmw_vmci/vmci_guest.c

928

vmci_write_reg(vmci_dev, VMCI_CONTROL_RESET, VMCI_CONTROL_ADDR);