hc
2024-01-05 071106ecf68c401173c58808b1cf5f68cc50d390
kernel/include/xen/xen.h
....@@ -61,4 +61,15 @@
6161 #include <xen/balloon.h>
6262 #endif
6363
64
+#if defined(CONFIG_XEN_DOM0) && defined(CONFIG_ACPI) && defined(CONFIG_X86)
65
+bool __init xen_processor_present(uint32_t acpi_id);
66
+#else
67
+#include <linux/bug.h>
68
+static inline bool xen_processor_present(uint32_t acpi_id)
69
+{
70
+ BUG();
71
+ return false;
72
+}
73
+#endif
74
+
6475 #endif /* _XEN_XEN_H */