Searched refs:GET_xAPIC_ID (Results 1 – 5 of 5) sorted by relevance
101 apic_id = GET_xAPIC_ID(apic_mem_read(APIC_ID)); in do_nmi_crash()
15 #define GET_xAPIC_ID(x) (((x)>>24)&0xFFu) macro
150 return x2apic_enabled ? id : GET_xAPIC_ID(id); in get_apic_id()
33 ? (id) : GET_xAPIC_ID(id))
1515 if ( GET_xAPIC_ID(id) != vlapic_vcpu(vlapic)->vcpu_id * 2 || in lapic_load_fixup()1516 id != SET_xAPIC_ID(GET_xAPIC_ID(id)) ) in lapic_load_fixup()
Completed in 10 milliseconds