Searched refs:x2apic_read_reg (Results 1 – 6 of 6) sorted by relevance
46 uint64_t val = x2apic_read_reg(APIC_IRR) | in x2apic_guest_code()47 x2apic_read_reg(APIC_IRR + 0x10) << 32; in x2apic_guest_code()53 GUEST_ASSERT_EQ(x2apic_read_reg(APIC_ICR), val); in x2apic_guest_code()
85 GUEST_ASSERT_EQ(x2apic_read_reg(APIC_ISR + APIC_VECTOR_TO_REG_OFFSET(GOOD_IPI_VECTOR)), in l1_guest_code()88 GUEST_ASSERT_EQ(x2apic_read_reg(APIC_ISR + APIC_VECTOR_TO_REG_OFFSET(GOOD_IPI_VECTOR)), 0); in l1_guest_code()
77 taskpri = x2apic_read_reg(APIC_TASKPRI); in tpr_guest_tpr_get()89 procpri = x2apic_read_reg(APIC_PROCPRI); in tpr_guest_ppr_get()
47 return is_x2apic ? x2apic_read_reg(reg) : xapic_read_reg(reg); in apic_read_reg()
42 x2apic_read_reg(APIC_SPIV) | APIC_SPIV_APIC_ENABLED); in x2apic_enable()
97 static inline uint64_t x2apic_read_reg(unsigned int reg) in x2apic_read_reg() function