VM_INTINFO_PENDING
if (VM_INTINFO_PENDING(info)) {
ASSERT(VM_INTINFO_PENDING(info));
ASSERT(VM_INTINFO_PENDING(info));
if (VM_INTINFO_PENDING(info)) {
ASSERT(VM_INTINFO_PENDING(info));
if (VM_INTINFO_PENDING(info1) && VM_INTINFO_PENDING(info2)) {
} else if (VM_INTINFO_PENDING(info1)) {
} else if (VM_INTINFO_PENDING(info2)) {
if (VM_INTINFO_PENDING(vcpu->exc_pending)) {
if (!VM_INTINFO_PENDING(val)) {