genode/repos/ports/src/virtualbox5/patches/acpi_drv.patch

15 lines
440 B
Diff

acpi_drv.patch
diff --git a/src/app/virtualbox/src/VBox/Devices/PC/DrvACPI.cpp b/src/app/virtualbox/src/VBox/Devices/PC/DrvACPI.cpp
index d22fc11..f194326 100644
--- a/src/app/virtualbox/src/VBox/Devices/PC/DrvACPI.cpp
+++ b/src/app/virtualbox/src/VBox/Devices/PC/DrvACPI.cpp
@@ -44,6 +44,7 @@
# include <IOKit/ps/IOPSKeys.h>
#endif
+#undef RT_OS_FREEBSD
#ifdef RT_OS_FREEBSD
# include <sys/ioctl.h>
# include <dev/acpica/acpiio.h>