Symbol: vm_get_intinfo
lib/libvmmapi/vmmapi.c
1187
vm_get_intinfo(struct vcpu *vcpu, uint64_t *info1, uint64_t *info2)
sys/amd64/vmm/vmm.c
1438
vm_get_intinfo(struct vcpu *vcpu, uint64_t *info1, uint64_t *info2)