Searched refs:xapic_read_reg (Results 1 – 8 of 8) sorted by relevance
57 GUEST_ASSERT_EQ(xapic_read_reg(APIC_ID), 1 << 24); in l1_guest_code()104 GUEST_ASSERT_EQ(xapic_read_reg(APIC_ISR + APIC_VECTOR_TO_REG_OFFSET(GOOD_IPI_VECTOR)), in l1_guest_code()107 GUEST_ASSERT_EQ(xapic_read_reg(APIC_ISR + APIC_VECTOR_TO_REG_OFFSET(GOOD_IPI_VECTOR)), 0); in l1_guest_code()
94 data->halter_apic_id = GET_APIC_ID_FIELD(xapic_read_reg(APIC_ID)); in halter_guest_code()95 data->halter_lvr = xapic_read_reg(APIC_LVR); in halter_guest_code()106 data->halter_tpr = xapic_read_reg(APIC_TASKPRI); in halter_guest_code()107 data->halter_ppr = xapic_read_reg(APIC_PROCPRI); in halter_guest_code()
79 taskpri = xapic_read_reg(APIC_TASKPRI); in tpr_guest_tpr_get()91 procpri = xapic_read_reg(APIC_PROCPRI); in tpr_guest_ppr_get()
26 uint64_t val = (u64)xapic_read_reg(APIC_IRR) | in xapic_guest_code()27 (u64)xapic_read_reg(APIC_IRR + 0x10) << 32; in xapic_guest_code()
66 ret = do_sched_yield(GET_APIC_ID_FIELD(xapic_read_reg(APIC_ID))); in guest_main()
47 return is_x2apic ? x2apic_read_reg(reg) : xapic_read_reg(reg); in apic_read_reg()
33 val = xapic_read_reg(APIC_SPIV) | APIC_SPIV_APIC_ENABLED; in xapic_enable()
87 static inline uint32_t xapic_read_reg(unsigned int reg) in xapic_read_reg() function