1 /* Common bits for X2APIC cluster/physical modes. */
3 int x2apic_apic_id_valid(int apicid
);
4 int x2apic_apic_id_registered(void);
5 void __x2apic_send_IPI_dest(unsigned int apicid
, int vector
, unsigned int dest
);
6 unsigned int x2apic_get_apic_id(unsigned long id
);
7 u32
x2apic_set_apic_id(unsigned int id
);
8 int x2apic_phys_pkg_id(int initial_apicid
, int index_msb
);
9 void x2apic_send_IPI_self(int vector
);
