genode/base-nova/include/32bit/nova
2013-02-21 11:52:02 +01:00
..
syscalls.h nova: update syscall assign_gsi/_pci for 32/64 bit 2013-02-21 11:52:02 +01:00