Searched refs:APIC_ID (Results 1 – 4 of 4) sorted by relevance
155 apic_id = *((u32 *)&xapic.regs[APIC_ID]); in __test_apic_id()213 *(u32 *)(lapic.regs + APIC_ID) = i << 24; in test_x2apic_id()218 TEST_ASSERT(*((u32 *)&lapic.regs[APIC_ID]) == vcpu->id << 24, in test_x2apic_id()
66 ret = do_sched_yield(GET_APIC_ID_FIELD(xapic_read_reg(APIC_ID))); in guest_main()
94 data->halter_apic_id = GET_APIC_ID_FIELD(xapic_read_reg(APIC_ID)); in halter_guest_code()
26 #define APIC_ID 0x20 macro
Completed in 5 milliseconds