From 672a220dd39667d304d13223785705108135978d Mon Sep 17 00:00:00 2001
From: kenaml <kenaml@qq.com>
Date: Thu, 14 Nov 2024 17:09:35 +0800
Subject: [PATCH] vm_syscall_handler error

Signed-off-by: kenaml <kenaml@qq.com>
---
 libsel4vm/src/arch/arm/syscalls.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/libsel4vm/src/arch/arm/syscalls.c b/libsel4vm/src/arch/arm/syscalls.c
index 4a6e6bad5..49ff741b5 100644
--- 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);