X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=linux_module%2Fiface-syscall.c;h=8e94354b4dc3d5cd92933a41ceae95ef2547b4fd;hb=2cb41f7db5b9f89113432d6b3daff4807ba8e5f2;hp=1ed9972f03075a82a333e4303f4e105cf4a75e27;hpb=791ea2f3e21cfbc9c47341efbb98995c33d86fcb;p=palacios.git

diff --git a/linux_module/iface-syscall.c b/linux_module/iface-syscall.c
index 1ed9972..8e94354 100644
--- a/linux_module/iface-syscall.c
+++ b/linux_module/iface-syscall.c
@@ -79,6 +79,7 @@ static int guest_init_syscall_ctrl (struct v3_guest * guest, void ** vm_data) {
 
 
 static int guest_deinit_syscall_ctrl (struct v3_guest * guest, void * vm_data) {
+    remove_guest_ctrl(guest, V3_VM_SYSCALL_CTRL);
     return 0;
 }