From 755419de31af8510a8c0eca07348516acd918e6b Mon Sep 17 00:00:00 2001
From: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date: Sun, 22 Aug 2021 01:30:16 +0200
Subject: rumpdisk: Add missing deallocation in device_write

* rumpdisk/block-rump.c (rumpdisk_device_write): Call vm_deallocate
after writing the data.
---
 rumpdisk/block-rump.c | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'rumpdisk')

diff --git a/rumpdisk/block-rump.c b/rumpdisk/block-rump.c
index 80cdc350..2c083cb2 100644
--- a/rumpdisk/block-rump.c
+++ b/rumpdisk/block-rump.c
@@ -288,6 +288,8 @@ rumpdisk_device_write (void *d, mach_port_t reply_port,
     return D_INVALID_OPERATION;
 
   written = rump_sys_pwrite (bd->rump_fd, (const void *)data, (size_t)count, (off_t)bn * bd->block_size);
+  vm_deallocate (mach_task_self (), (vm_address_t) data, count);
+
   if (written < 0)
     {
       *bytes_written = 0;
-- 
cgit v1.2.3