Barrelfish
|
Dispatcher structure (including data accessed only by user code) More...
Data Fields | |
struct dispatcher_shared_x86_32 | d |
Shared (user/kernel) data. Must be first. | |
struct dispatcher_generic | generic |
User private data. | |
uint16_t | disp_seg_selector |
Dispatcher segment selector. | |
Dispatcher structure (including data accessed only by user code)