This is the L4Env's I/O server info page. We have 4KB and fill it 0...L4_PAGESIZE-1. More...
#include <types.h>
Public Attributes | |
| union { | |
| struct { | |
| unsigned long magic | |
| volatile unsigned long jiffies | |
| unsigned long hz | |
| struct { | |
| long tv_sec | |
| long tv_usec | |
| } xtime | |
| unsigned long omega0 | |
| l4io_desc_device_t devices [] | |
| } | |
| char padding [L4_PAGESIZE] | |
| }; | |
This is the L4Env's I/O server info page. We have 4KB and fill it 0...L4_PAGESIZE-1.
dde_test resp. io (examples/dummy/)) | unsigned long l4io_info::magic |
magic number
| volatile unsigned long l4io_info::jiffies |
jiffies
| unsigned long l4io_info::hz |
update frequency for jiffies (HZ)
| struct { ... } l4io_info::xtime |
xtime
| unsigned long l4io_info::omega0 |
omega0 flag (1 if started)
device descriptors