17 |
#define l4_nilpage ((l4_fpage_t) { .raw = 0 }) |
#define l4_nilpage ((l4_fpage_t) { .raw = 0 }) |
18 |
/* FIXME: When gcc supports unnamed fields in initializer. */ |
/* FIXME: When gcc supports unnamed fields in initializer. */ |
19 |
#define l4_complete_address_space \ |
#define l4_complete_address_space \ |
20 |
((l4_fpage_t) { page.rights = 0, page.log2_size = 1, page.base = 0 }) |
((l4_fpage_t) { .page.rights = 0, .page.log2_size = 1, .page.base = 0 }) |
21 |
|
|
22 |
|
|
23 |
#ifndef _L4_EXTERN_INLINE |
#ifndef _L4_EXTERN_INLINE |