genode/base-nova/include/nova
Alexander Boettcher 512c29c486 nova: mtd fields are unsigned
Bit 31 (FPU Mtd) got negative expanded when combined with 64bit value.

Detected during work on #1129
2014-05-07 10:37:37 +02:00
..
stdint.h
syscall-generic.h nova: mtd fields are unsigned 2014-05-07 10:37:37 +02:00
util.h