genode/repos/os/src/server
Martin Stein d0f5838c61 net: clean up header fields and accessors
Apply the style rule that an accessor is named similar to the the underlying
value. Provide read and write accessors for each mandatory header attribute.
Fix some incorrect structure in the headers like with the flags field
in Ipv4_packet.

Ref #2490
2017-10-19 13:29:43 +02:00
..
blk_cache default ahci_drv and part_blk Block sessions to read-only 2017-08-28 16:49:51 +02:00
chroot import chroot from world repository 2017-10-05 17:40:04 +02:00
clipboard Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
dynamic_rom Streamline exception types 2017-05-31 13:16:07 +02:00
fs_log VFS: nonblocking interface 2017-08-28 16:49:38 +02:00
fs_report VFS: nonblocking interface 2017-08-28 16:49:38 +02:00
fs_rom fs_rom: trigger deferred ROM-update signal 2017-08-17 10:59:43 +02:00
input_filter input_filter character mapping rules for the Workman layout 2017-08-17 11:04:23 +02:00
input_merger Streamline exception types 2017-05-31 13:16:07 +02:00
iso9660 Streamline exception types 2017-05-31 13:16:07 +02:00
loader Integrate core's RAM service into the PD service 2017-05-31 13:16:14 +02:00
log_report Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
log_terminal Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
lx_fs VFS: nonblocking interface 2017-08-28 16:49:38 +02:00
mixer Streamline exception types 2017-05-31 13:16:07 +02:00
nic_bridge net: clean up header fields and accessors 2017-10-19 13:29:43 +02:00
nic_dump nic_dump: use Duration instead of unsigned 2017-10-19 13:29:42 +02:00
nic_loopback Replace Quota_exceeded by Insufficient_ram_quota 2017-05-31 13:16:05 +02:00
nic_router net: clean up header fields and accessors 2017-10-19 13:29:43 +02:00
nit_fb Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
nitpicker nitpicker: reset background if backdrop vanishes 2017-10-05 17:40:03 +02:00
part_blk default ahci_drv and part_blk Block sessions to read-only 2017-08-28 16:49:51 +02:00
ram_blk default ahci_drv and part_blk Block sessions to read-only 2017-08-28 16:49:51 +02:00
ram_fs VFS: nonblocking interface 2017-08-28 16:49:38 +02:00
report_rom Streamline exception types 2017-05-31 13:16:07 +02:00
rom_blk default ahci_drv and part_blk Block sessions to read-only 2017-08-28 16:49:51 +02:00
rom_filter rom_filter: fix compilation with GCC 6 2017-05-31 13:15:52 +02:00
rom_prefetcher Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
tar_rom tar_rom: minor documentation fix 2017-08-28 16:49:37 +02:00
terminal_crosslink terminal_crosslink: prevent deprecated warning 2017-03-15 12:24:43 +01:00
terminal_log terminal_log: carriage-return on newline 2017-08-17 11:04:20 +02:00
trace_fs VFS: nonblocking interface 2017-08-28 16:49:38 +02:00
tz_vmm base: remove include/spec/* other than ISA 2017-05-31 13:16:01 +02:00
vfs server/vfs: status completes or throw Invalid_handle 2017-10-05 17:39:55 +02:00
vmm base: remove include/spec/* other than ISA 2017-05-31 13:16:01 +02:00