xapic_read_reg
val = xapic_read_reg(APIC_SPIV) | APIC_SPIV_APIC_ENABLED;
return is_x2apic ? x2apic_read_reg(reg) : xapic_read_reg(reg);
ret = do_sched_yield(GET_APIC_ID_FIELD(xapic_read_reg(APIC_ID)));
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(xapic_read_reg(APIC_ID), 1 << 24);
data->halter_tpr = xapic_read_reg(APIC_TASKPRI);
data->halter_ppr = xapic_read_reg(APIC_PROCPRI);
data->halter_apic_id = GET_APIC_ID_FIELD(xapic_read_reg(APIC_ID));
data->halter_lvr = xapic_read_reg(APIC_LVR);
uint64_t val = (u64)xapic_read_reg(APIC_IRR) |
(u64)xapic_read_reg(APIC_IRR + 0x10) << 32;
taskpri = xapic_read_reg(APIC_TASKPRI);
procpri = xapic_read_reg(APIC_PROCPRI);