vm_syscall_handler error

Signed-off-by: kenaml <[email protected]>
seL4 · Nov 14, 2024 · 672a220 · 672a220
1 parent 9736082
commit 672a220
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/libsel4vm/src/arch/arm/syscalls.c b/libsel4vm/src/arch/arm/syscalls.c
@@ -120,7 +120,7 @@ int vm_syscall_handler(vm_vcpu_t *vcpu)
 {
     int err;
     err = handle_syscall(vcpu);
-    if (!err) {
+    if (err == VM_EXIT_HANDLED) {
         seL4_MessageInfo_t reply;
         reply = seL4_MessageInfo_new(0, 0, 0, 0);
         seL4_Reply(reply);