Barrelfish
|
Dispatcher structure (including data accessed only by user code) More...
Data Fields | |
struct dispatcher_shared_x86_64 | d |
Shared (user/kernel) data. Must be first. | |
struct dispatcher_generic | generic |
User private data. | |
uint16_t | disp_seg_selector |
uintptr_t | dummyseg [2] |
Dummy segment to which disp_seg_selector refers; see ldt_init_disabled() | |
Dispatcher structure (including data accessed only by user code)
uint16_t dispatcher_x86_64::disp_seg_selector |
Dispatcher segment selector