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

Update copyright headers to 2013

2013-01-10 21:44:47 +01:00

syscall-generic.h

nova: mtd fields are unsigned

2014-05-07 10:37:37 +02:00

util.h

nova: set pager and native ec cap for main thread

2014-04-16 17:30:30 +02:00