vm_entry_intinfo
int vm_entry_intinfo(struct vcpu *vcpu, uint64_t *info);
if (!vm_entry_intinfo(vcpu->vcpu, &intinfo))
if (vm_entry_intinfo(vcpu->vcpu, &entryinfo)) {