genode/repos/base-nova/include/32bit/nova
Alexander Boettcher 2a4b67f90b nova: fix syscall bindings for 32bit
The bindings for 32bit did not consider that in the syscall_3 function
edx changes due to the assembly instructions and that in the syscall_4
function edx and ecx change. So, the compiler wrongly assumed that the
content of these registers stayed unchanged.

Fixes #1447
2015-03-19 09:13:32 +01:00
..
syscalls.h nova: fix syscall bindings for 32bit 2015-03-19 09:13:32 +01:00