Searched refs:APIC_ID (Results 1 – 8 of 8) sorted by relevance
28 xapic_write_reg(APIC_ID, 1 << 24); in l2_guest_code() 47 xapic_write_reg(APIC_ID, 1 << 24); in l1_guest_code() 55 GUEST_ASSERT_EQ(xapic_read_reg(APIC_ID), 1 << 24); in l1_guest_code()
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()
65 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()
49 if (reg != APIC_ID) in xen_apic_read()
26 #define APIC_ID 0x20 macro
279 addq $APIC_ID, %rcx
1205 v = apic_read(APIC_ID); in print_local_APIC()