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