Segment handling.
More...
Go to the source code of this file.
|
| long | fiasco_ldt_set (l4_cap_idx_t task, void *ldt, unsigned int num_desc, unsigned int entry_number_start, l4_utcb_t *utcb) |
| | Set LDT segments descriptors. More...
|
| |
| 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. More...
|
| |
| unsigned | fiasco_gdt_get_entry_offset (l4_cap_idx_t thread, l4_utcb_t *utcb) |
| | Return the offset of the entry in the GDT. More...
|
| |
| long | fiasco_amd64_set_fs (l4_cap_idx_t thread, l4_umword_t base, l4_utcb_t *utcb) |
| | Set the FS register. More...
|
| |
| long | fiasco_amd64_set_segment_base (l4_cap_idx_t thread, enum L4_sys_segment segr, l4_umword_t base, l4_utcb_t *utcb) |
| | Set the FS register. More...
|
| |
| long | fiasco_amd64_segment_info (l4_cap_idx_t thread, unsigned *user_ds, unsigned *user_cs, unsigned *user32_cs, l4_utcb_t *utcb) |
| | Get segment information. More...
|
| |
Segment handling.
Definition in file segment.h.
◆ L4_task_ldt_x86_consts
Contants for LDT handling.
| Enumerator |
|---|
| L4_TASK_LDT_X86_ENTRY_SIZE | Size of an LDT entry.
|
| L4_TASK_LDT_X86_MAX_ENTRIES | Maximum number of LDT entries that can be written with one call.
|
| L4_TASK_LDT_X86_ENTRY_SIZE | Size of an LDT entry.
|
| L4_TASK_LDT_X86_MAX_ENTRIES | Maximum number of LDT entries that can be written with one call.
|
Definition at line 76 of file segment.h.
◆ fiasco_amd64_segment_info()
| long fiasco_amd64_segment_info |
( |
l4_cap_idx_t |
thread, |
|
|
unsigned * |
user_ds, |
|
|
unsigned * |
user_cs, |
|
|
unsigned * |
user32_cs, |
|
|
l4_utcb_t * |
utcb |
|
) |
| |
|
inline |
Get segment information.
- Parameters
-
| [in] | thread | Thread to get info from. |
| [out] | user_ds | DS segment selector. |
| [out] | user_cs | 64-bit CS segment selector. |
| [out] | user32_cs | 32-bit CS segment selector. |
| [in] | utcb | UTCB of the caller. |
- Returns
- System call error
Definition at line 158 of file segment.h.
◆ fiasco_amd64_set_fs()
Set the FS register.
- Parameters
-
| thread | Thread to get info from. |
| base | Base address. |
| utcb | UTCB of the caller. |
- Returns
- System call error
Definition at line 35 of file segment.h.
◆ fiasco_amd64_set_segment_base()
Set the FS register.
- Parameters
-
| thread | Thread to get info from. |
| segr | Segment register to set (one of L4_sys_segment). |
| base | Base address. |
| utcb | UTCB of the caller. |
- Returns
- System call error
Definition at line 43 of file segment.h.