--- hw/xfree86/os-support/bsd/ppc_video.c.orig	2015-06-05 17:19:40.000000000 +0200
+++ hw/xfree86/os-support/bsd/ppc_video.c	2015-10-12 15:23:47.470110000 +0200
@@ -79,7 +79,11 @@ xf86DisableIO()
 {
 
     if (ioBase != MAP_FAILED) {
+#if defined(__FreeBSD__)
+        munmap(__DEVOLATILE(unsigned char *, ioBase), 0x10000);
+#else
         munmap(__UNVOLATILE(ioBase), 0x10000);
+#endif
         ioBase = MAP_FAILED;
     }
 }
