arch/x86/kernel/apic/x2apic.h

   1 /* Common bits for X2APIC cluster/physical modes. */
   2
   3 int x2apic_apic_id_valid(u32 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);