Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | dev_hdr.h | 357 | logplain |
-rw-r--r-- | dev_master.h | 1723 | logplain |
-rw-r--r-- | dev_pager.c | 17332 | logplain |
-rw-r--r-- | device.srv | 1261 | logplain |
-rw-r--r-- | device_error_reply.cli | 109 | logplain |
-rw-r--r-- | device_init.c | 1945 | logplain |
-rw-r--r-- | device_pager.srv | 1951 | logplain |
-rw-r--r-- | device_port.h | 1337 | logplain |
-rw-r--r-- | device_reply.cli | 1202 | logplain |
-rw-r--r-- | device_types_kernel.h | 1465 | logplain |
-rw-r--r-- | ds_routines.h | 1521 | logplain |
-rw-r--r-- | if_ether.h | 1531 | logplain |
-rw-r--r-- | if_hdr.h | 6045 | logplain |
-rw-r--r-- | memory_object_reply.cli | 1192 | logplain |
-rw-r--r-- | net_io.c | 51591 | logplain |
-rw-r--r-- | net_io.h | 2157 | logplain |