Searched refs:x2apic_read_reg (Results 1 – 3 of 3) sorted by relevance
42 uint64_t val = x2apic_read_reg(APIC_IRR) | in x2apic_guest_code()43 x2apic_read_reg(APIC_IRR + 0x10) << 32; in x2apic_guest_code()
42 x2apic_read_reg(APIC_SPIV) | APIC_SPIV_APIC_ENABLED); in x2apic_enable()
83 static inline uint64_t x2apic_read_reg(unsigned int reg) in x2apic_read_reg() function