L4Re Operating System Framework
Interface and Usage Documentation
|
l4f specific segment manipulation More...
#include <l4/sys/compiler.h>
Go to the source code of this file.
Functions | |
long | fiasco_gdt_set (l4_cap_idx_t thread, void *desc, unsigned int size, unsigned int entry_number_start, l4_utcb_t *utcb) |
Set GDT segment descriptors. | |
l4f specific segment manipulation
Definition in file segment.h.