Searched refs:device_type (Results 1 – 6 of 6) sorted by relevance
46 virtio_device_type_t device_type) in virtio_mmio_configure() argument62 if (trigger_virtio_mmio_valid_device_type_event(device_type)) { in virtio_mmio_configure()63 virtio_mmio->device_type = device_type; in virtio_mmio_configure()69 virtio_mmio->device_type = VIRTIO_DEVICE_TYPE_INVALID; in virtio_mmio_configure()121 virtio_mmio->device_type, virtio_mmio); in virtio_mmio_handle_object_activate_virtio_mmio()206 virtio_mmio->device_type, virtio_mmio); in virtio_mmio_handle_object_cleanup_virtio_mmio()
29 virtio_device_type_t device_type) in hypercall_virtio_mmio_configure() argument63 flags, device_type); in hypercall_virtio_mmio_configure()
328 virtio_mmio->device_type, in virtio_mmio_vdevice_write()
8 virtio_device_type_t device_type);
44 if (virtio_mmio->device_type != VIRTIO_DEVICE_TYPE_INPUT) { in hypercall_virtio_input_configure()142 if (virtio_mmio->device_type != VIRTIO_DEVICE_TYPE_INPUT) { in hypercall_virtio_input_set_data()
35 if (virtio_mmio->device_type == VIRTIO_DEVICE_TYPE_INPUT) { in virtio_input_handle_object_activate()
Completed in 14 milliseconds