diff --git a/sys/dev/beri/virtio/virtio.c b/sys/dev/beri/virtio/virtio.c
index 4cc25c2c4683..cb7c2934d223 100644
--- a/sys/dev/beri/virtio/virtio.c
+++ b/sys/dev/beri/virtio/virtio.c
@@ -38,6 +38,7 @@ __FBSDID("$FreeBSD$");
 #include <sys/param.h>
 #include <sys/systm.h>
 #include <sys/bus.h>
+#include <sys/cdefs.h>
 #include <sys/kernel.h>
 #include <sys/module.h>
 #include <sys/malloc.h>
@@ -156,7 +157,7 @@ vq_getchain(uint32_t offs, struct vqueue_info *vq,
 					break;
 				next = be16toh(vp->next);
 			}
-			paddr_unmap((void *)vindir, be32toh(vdir->len));
+			paddr_unmap(__DEVOLATILE(void *, vindir), be32toh(vdir->len));
 		}
 
 		if ((be16toh(vdir->flags) & VRING_DESC_F_NEXT) == 0)