Lines Matching refs:result
708 int result;
717 result = apic_search_irr(apic);
718 ASSERT(result == -1 || result >= 16);
720 return result;
770 int result;
781 result = find_highest_vector(apic->regs + APIC_ISR);
782 ASSERT(result == -1 || result >= 16);
784 return result;
1295 int result = 0;
1312 result = 1;
1333 result = 1;
1342 result = 1;
1347 result = 1;
1354 result = 1;
1363 result = 1;
1385 return result;
1650 u32 result;
1665 result = __apic_read(apic, offset & ~0xf);
1667 trace_kvm_apic_read(offset, result);
1673 memcpy(data, (char *)&result + alignment, len);
3279 * are blocked as a result of transitioning to VMX root mode.