Symbol: vcpu_intr
usr.sbin/vmd/vmd.h
554
int vcpu_intr(uint32_t, uint32_t, uint8_t);
usr.sbin/vmd/x86_vm.c
896
if (vcpu_intr(vmm_id, vcpu_id, 1))
usr.sbin/vmd/x86_vm.c
920
if (vcpu_intr(vmm_id, vcpu_id, 0))