genode/repos/ports/src/virtualbox/patches/vbox-cpuhotplug.dsl.patch
Josef Söntgen fbe127cdf4 vbox: fix ACPI dsl for newer iASL versions
The patch reflects the changes done in VirtualBox 5 and is at least
needed on Ubuntu 16.04.

Fixes #2068.
2016-08-29 17:29:35 +02:00

31 lines
1.3 KiB
Diff

--- a/src/app/virtualbox/src/VBox/Devices/PC/vbox-cpuhotplug.dsl
+++ b/src/app/virtualbox/src/VBox/Devices/PC/vbox-cpuhotplug.dsl
@@ -27,6 +27,18 @@
Return(LEqual(CPUL, 0x01))
}
+ // Method to notify the VMM that a CPU is not
+ // in use anymore and can be safely removed.
+ // Using the extra method here because the CPUL
+ // register identifer clashes with the CPUL object defined
+ // below making iasl starting with version 20150930 fail.
+ //
+ // Think of CPLO as "CPU Lock Open"
+ Method(CPLO, 1)
+ {
+ Store (Arg0, CPUL)
+ }
+
Scope (\_SB)
{
@@ -73,7 +85,7 @@
} \
Method(_EJ0, 1) \
{ \
- Store(id, CPUL) /* Unlock the CPU */ \
+ CPLO(id) /* Unlock the CPU */ \
Return \
} \
} \