vcpu_assert_irq
vcpu_assert_irq(ctr->vm_id, 0, 0);
vcpu_assert_irq((ptrdiff_t)arg, 0, 8);
vcpu_assert_irq((uintptr_t)arg, 0, com1_dev.irq);
vcpu_assert_irq(com1_dev.vmid, 0, com1_dev.irq);
vcpu_assert_irq(vmm_id, msg->vcpu, msg->irq);
vcpu_assert_irq(dev->vmm_id, msg.vcpu, msg.irq);
vcpu_assert_irq(dev->vmm_id, 0, dev->irq);
vcpu_assert_irq(dev->vmm_id, 0, dev->irq);
void vcpu_assert_irq(uint32_t, uint32_t, int);
vcpu_assert_irq(vrp->vrp_vm_id, vrp->vrp_vcpu_id, intr);