portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

seL4_DebugDumpScheduler: remove unused argument

Browse source
This commit is contained in:
Anna Lyons 2017-06-19 14:43:03 +10:00
parent e98bf73f0b
commit 61f1bd5efc
3 changed files with 6 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
libsel4/arch_include/arm/sel4/arch/syscalls.h
View file

@ -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

4
libsel4/sel4_arch_include/ia32/sel4/sel4_arch/syscalls.h
View file

@ -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

4
libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/syscalls.h
View file

@ -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