APIC_ISR
return apic_read(APIC_ISR + offs) & bit;
isr->regs[i] = apic_read(APIC_ISR + i * 0x10);
isr->regs[i] = apic_read(APIC_ISR + i * 0x10);
v = apic_read(APIC_ISR + ((vector & ~0x1f) >> 1));
print_APIC_field(APIC_ISR);
vec = apic_find_highest_vector(get_reg_bitmap(cpu, APIC_ISR));
update_vector(cpu, APIC_ISR, vec, false);
case APIC_ISR ... APIC_ISR + 0x70:
return apic_test_vector(vector, apic->regs + APIC_ISR) ||
APIC_REGS_MASK(APIC_ISR, APIC_ISR_NR) |
void *bitmap = apic->regs + APIC_ISR;
apic->isr_count = count_vectors(apic->regs + APIC_ISR);
kvm_lapic_set_reg(apic, APIC_ISR + 0x10 * i, 0);
return apic->regs + APIC_ISR + APIC_VECTOR_TO_REG_OFFSET(vec);
return apic_find_highest_vector(apic->regs + APIC_ISR);
X2APIC_MSR(APIC_ISR),
case X2APIC_MSR(APIC_ISR) ... X2APIC_MSR(APIC_ISR + APIC_ISR_NR):
GUEST_ASSERT_EQ(xapic_read_reg(APIC_ISR + APIC_VECTOR_TO_REG_OFFSET(GOOD_IPI_VECTOR)),
GUEST_ASSERT_EQ(xapic_read_reg(APIC_ISR + APIC_VECTOR_TO_REG_OFFSET(GOOD_IPI_VECTOR)), 0);
GUEST_ASSERT_EQ(x2apic_read_reg(APIC_ISR + APIC_VECTOR_TO_REG_OFFSET(GOOD_IPI_VECTOR)),
GUEST_ASSERT_EQ(x2apic_read_reg(APIC_ISR + APIC_VECTOR_TO_REG_OFFSET(GOOD_IPI_VECTOR)), 0);