kernel/include/xen/xen.h
.. .. @@ -61,4 +61,15 @@ 61 61 #include <xen/balloon.h> 62 62 #endif 63 63 64 +#if defined(CONFIG_XEN_DOM0) && defined(CONFIG_ACPI) && defined(CONFIG_X86)65 +bool __init xen_processor_present(uint32_t acpi_id);66 +#else67 +#include <linux/bug.h>68 +static inline bool xen_processor_present(uint32_t acpi_id)69 +{70 + BUG();71 + return false;72 +}73 +#endif74 +64 75 #endif /* _XEN_XEN_H */