From df1f021cc6b14c0efc969a8c377d27db74b3fc96 Mon Sep 17 00:00:00 2001 From: Jeff Waugh Date: Thu, 27 Oct 2016 04:39:27 +1100 Subject: [PATCH] Let aarch32 CallWithMRs * Initialise the message variables (as per ia32 and x86_64) * `libsel4` now builds when `syscall_stub_gen.py` is run without `--buffer` * While simple things appear to work, `sel4test` with aarch32 in qemu is *not* happy: ``` Bootstrapping kernel Warning: using printf before serial is set up. This only works as your printf is backed by seL4_Debug_PutChar() sel4utils_create_object_at_level@mapping.h:22 Should not be called Ignoring call to sys_rt_sigprocmask Ignoring call to sys_gettid sys_tkill assuming self kill ``` --- .../sel4_arch_include/aarch32/sel4/sel4_arch/syscalls.h | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/syscalls.h b/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/syscalls.h index b4ab26384..7c8912f7d 100644 --- a/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/syscalls.h +++ b/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/syscalls.h @@ -340,10 +340,10 @@ seL4_CallWithMRs(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_Word *mr0, seL4_Word *mr1, seL4_Word *mr2, seL4_Word *mr3) { seL4_MessageInfo_t info; - seL4_Word msg0; - seL4_Word msg1; - seL4_Word msg2; - seL4_Word msg3; + seL4_Word msg0 = 0; + seL4_Word msg1 = 0; + seL4_Word msg2 = 0; + seL4_Word msg3 = 0; /* Load beginning of the message into registers. */ if (mr0 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 0) {