60 |
#define _L4_writable 0x02 |
#define _L4_writable 0x02 |
61 |
#define _L4_readable 0x04 |
#define _L4_readable 0x04 |
62 |
#define _L4_fully_accessible (_L4_readable | _L4_writable | _L4_executable) |
#define _L4_fully_accessible (_L4_readable | _L4_writable | _L4_executable) |
63 |
|
#define _L4_read_write_only (_L4_readable | _L4_writable) |
64 |
#define _L4_read_exec_only (_L4_readable | _L4_executable) |
#define _L4_read_exec_only (_L4_readable | _L4_executable) |
65 |
|
|
66 |
#define _L4_nilpage ((_L4_fpage_t) 0) |
#define _L4_nilpage ((_L4_fpage_t) 0) |