Hi Boris,
On 09/11/16 14:39, Boris Ostrovsky wrote:
diff --git a/xen/include/public/arch-arm.h b/xen/include/public/arch-arm.h
index bd974fb..b793774 100644
--- a/xen/include/public/arch-arm.h
+++ b/xen/include/public/arch-arm.h
@@ -383,6 +383,9 @@ typedef uint64_t xen_callback_t;
* should instead use the FDT.
*/
+/* Current supported guest VCPUs */
+#define GUEST_MAX_VCPUS 128
+
/* Physical Address Space */
/*
@@ -410,6 +413,11 @@ typedef uint64_t xen_callback_t;
#define GUEST_ACPI_BASE 0x20000000ULL
#define GUEST_ACPI_SIZE 0x02000000ULL
+/* Location of online VCPU bitmap. */
+#define ACPI_CPU_MAP 0xaf00
+#define ACPI_CPU_MAP_LEN ((GUEST_MAX_VCPUS / 8) + \
+ ((GUEST_MAX_VCPUS & 7) ? 1 : 0))
+
I don't understand this change. PRST is not generated for ARM (see the
return 0 in mk_dsdt a bit before).
In any case, I am expecting CPU hotplug to be handle via PSCI on ARM.
Regards,
--
Julien Grall
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
https://lists.xen.org/xen-devel
