1 /* SPDX-License-Identifier: GPL-2.0 */
3 * Common bits for X2APIC cluster/physical modes.
6 #ifndef _ASM_X86_X2APIC_H
7 #define _ASM_X86_X2APIC_H
11 #include <linux/cpumask.h>
13 static int x2apic_apic_id_valid(int apicid)
18 static int x2apic_apic_id_registered(void)
24 __x2apic_send_IPI_dest(unsigned int apicid, int vector, unsigned int dest)
26 unsigned long cfg = __prepare_ICR(0, vector, dest);
27 native_x2apic_icr_write(cfg, apicid);
30 static unsigned int x2apic_get_apic_id(unsigned long id)
35 static unsigned long x2apic_set_apic_id(unsigned int id)
40 static int x2apic_phys_pkg_id(int initial_apicid, int index_msb)
42 return initial_apicid >> index_msb;
45 static void x2apic_send_IPI_self(int vector)
47 apic_write(APIC_SELF_IPI, vector);
50 #endif /* _ASM_X86_X2APIC_H */