55 extern void __inquire_remote_apic(int apicid);
57 static inline void __inquire_remote_apic(int apicid)  in __inquire_remote_apic()  argument
62 static inline void default_inquire_remote_apic(int apicid)  in default_inquire_remote_apic()  argument
65 		__inquire_remote_apic(apicid);  in default_inquire_remote_apic()
272 	int (*apic_id_valid)(int apicid);
283 	unsigned long (*check_apicid_used)(physid_mask_t *map, int apicid);
303 				      unsigned int *apicid);
314 	int (*wakeup_secondary_cpu)(int apicid, unsigned long start_eip);
316 	void (*inquire_remote_apic)(int apicid);
380 extern int wakeup_secondary_cpu_via_nmi(int apicid, unsigned long start_eip);
504 static inline int default_apic_id_valid(int apicid)  in default_apic_id_valid()  argument
506 	return (apicid < 255);  in default_apic_id_valid()
546 			    unsigned int *apicid)  in flat_cpu_mask_to_apicid_and()  argument
554 		*apicid = (unsigned int)cpu_mask;  in flat_cpu_mask_to_apicid_and()
564 			       unsigned int *apicid);
589 static inline unsigned long default_check_apicid_used(physid_mask_t *map, int apicid)  in default_check_apicid_used()  argument
591 	return physid_isset(apicid, *map);  in default_check_apicid_used()