virtio_interrupt_type_name
virtio_interrupt_type_name(type));
virtio_interrupt_type_name(type));
virtio_interrupt_type_name(type));
"available", nrequired, virtio_interrupt_type_name(type),
virtio_interrupt_type_name(type), r);
"handler failed", virtio_interrupt_type_name(