10 lines
400 B
C
10 lines
400 B
C
/* Common bits for X2APIC cluster/physical modes. */
|
|
|
|
int x2apic_apic_id_valid(u32 apicid);
|
|
int x2apic_apic_id_registered(void);
|
|
void __x2apic_send_IPI_dest(unsigned int apicid, int vector, unsigned int dest);
|
|
unsigned int x2apic_get_apic_id(unsigned long id);
|
|
u32 x2apic_set_apic_id(unsigned int id);
|
|
int x2apic_phys_pkg_id(int initial_apicid, int index_msb);
|
|
void x2apic_send_IPI_self(int vector);
|