| Andrew Scull | b4b6d4a | 2019-01-02 15:54:55 +0000 | [diff] [blame^] | 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); | ||||