From 61f1bd5efc5440550fb981adc8e5bcae9f9b59c0 Mon Sep 17 00:00:00 2001 From: Anna Lyons Date: Mon, 19 Jun 2017 14:43:03 +1000 Subject: [PATCH] seL4_DebugDumpScheduler: remove unused argument --- libsel4/arch_include/arm/sel4/arch/syscalls.h | 4 ++-- libsel4/sel4_arch_include/ia32/sel4/sel4_arch/syscalls.h | 4 ++-- libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/syscalls.h | 4 ++-- 3 files changed, 6 insertions(+), 6 deletions(-) diff --git a/libsel4/arch_include/arm/sel4/arch/syscalls.h b/libsel4/arch_include/arm/sel4/arch/syscalls.h index 0236b1eb0..7faab2d36 100644 --- a/libsel4/arch_include/arm/sel4/arch/syscalls.h +++ b/libsel4/arch_include/arm/sel4/arch/syscalls.h @@ -323,7 +323,7 @@ seL4_DebugPutChar(char c) } LIBSEL4_INLINE_FUNC void -seL4_DebugDumpScheduler(char c) +seL4_DebugDumpScheduler(void) { seL4_Word unused0 = 0; seL4_Word unused1 = 0; @@ -332,7 +332,7 @@ seL4_DebugDumpScheduler(char c) seL4_Word unused4 = 0; seL4_Word unused5 = 0; - arm_sys_send_recv(seL4_SysDebugDumpScheduler, c, &unused0, 0, &unused1, &unused2, &unused3, &unused4, &unused5); + arm_sys_send_recv(seL4_SysDebugDumpScheduler, 0, &unused0, 0, &unused1, &unused2, &unused3, &unused4, &unused5); } #endif diff --git a/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/syscalls.h b/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/syscalls.h index 0c45e28c9..cda8b012a 100644 --- a/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/syscalls.h +++ b/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/syscalls.h @@ -534,14 +534,14 @@ seL4_DebugPutChar(char c) } LIBSEL4_INLINE_FUNC void -seL4_DebugDumpScheduler(char c) +seL4_DebugDumpScheduler(void) { seL4_Word unused0 = 0; seL4_Word unused1 = 0; seL4_Word unused2 = 0; seL4_Word unused3 = 0; - x86_sys_send_recv(seL4_SysDebugDumpScheduler, c, &unused0, 0, &unused1, &unused2, &unused3); + x86_sys_send_recv(seL4_SysDebugDumpScheduler, 0, &unused0, 0, &unused1, &unused2, &unused3); } #endif diff --git a/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/syscalls.h b/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/syscalls.h index 804d73c37..9829b57bb 100644 --- a/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/syscalls.h +++ b/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/syscalls.h @@ -341,7 +341,7 @@ seL4_DebugPutChar(char c) } LIBSEL4_INLINE_FUNC void -seL4_DebugDumpScheduler(char c) +seL4_DebugDumpScheduler(void) { seL4_Word unused0 = 0; seL4_Word unused1 = 0; @@ -350,7 +350,7 @@ seL4_DebugDumpScheduler(char c) seL4_Word unused4 = 0; seL4_Word unused5 = 0; - x64_sys_send_recv(seL4_SysDebugDumpScheduler, c, &unused0, 0, &unused1, &unused2, &unused3, &unused4, &unused5); + x64_sys_send_recv(seL4_SysDebugDumpScheduler, 0, &unused0, 0, &unused1, &unused2, &unused3, &unused4, &unused5); } #endif