x2apic_read_reg
x2apic_read_reg(APIC_SPIV) | APIC_SPIV_APIC_ENABLED);
return is_x2apic ? x2apic_read_reg(reg) : xapic_read_reg(reg);
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);
uint64_t val = x2apic_read_reg(APIC_IRR) |
x2apic_read_reg(APIC_IRR + 0x10) << 32;
GUEST_ASSERT_EQ(x2apic_read_reg(APIC_ICR), val);
taskpri = x2apic_read_reg(APIC_TASKPRI);
procpri = x2apic_read_reg(APIC_PROCPRI);