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