mirror of
https://github.com/genodelabs/genode.git
synced 2025-06-01 15:10:56 +00:00
14 lines
526 B
Diff
14 lines
526 B
Diff
diff --git a/libsel4/arch_include/ia32/sel4/arch/syscalls.h b/libsel4/arch_include/ia32/sel4/arch/syscalls.h
|
|
index aef583b..d550343 100644
|
|
--- a/libsel4/arch_include/ia32/sel4/arch/syscalls.h
|
|
+++ b/libsel4/arch_include/ia32/sel4/arch/syscalls.h
|
|
@@ -475,7 +475,7 @@ seL4_DebugPutChar(char c)
|
|
"sysenter \n"
|
|
"popl %%ebp \n"
|
|
:
|
|
- : "a" (seL4_SysDebugPutChar),
|
|
+ : "a" ((int)seL4_SysDebugPutChar),
|
|
"b" (c)
|
|
: "%ecx", "%edx", "%esi", "%edi", "memory"
|
|
);
|