Barrelfish
|
Architecture specific dispatcher structure private to the user. More...
Data Structures | |
struct | dispatcher_x86_32 |
Dispatcher structure (including data accessed only by user code) More... | |
Architecture specific dispatcher structure private to the user.