/* * Common functions shared between the various APIC flavours * * SPDX-License-Identifier: GPL-2.0 */#include <linux/irq.h>#include <asm/apic.h>intdefault_cpu_present_to_apicid(intmps_cpu){if(mps_cpu<nr_cpu_ids&&cpu_present(mps_cpu))return(int)per_cpu(x86_bios_cpu_apicid,mps_cpu);elsereturnBAD_APICID;}intdefault_check_phys_apicid_present(intphys_apicid){returnphysid_isset(phys_apicid,phys_cpu_present_map);}