virtio_interrupts_disable_locked
virtio_interrupts_disable_locked(vio);
static void virtio_interrupts_disable_locked(virtio_t *);