Barrelfish
|
Files | |
file | bulk_transfer_arch.h |
Unidirectional bulk data transfer via shared memory. | |
file | core_state_arch.h |
file | cpu_arch.h |
Architecture specific CPU bits. | |
file | curdispatcher_arch.h |
Implementation of curdispatcher. | |
file | dispatcher_arch.h |
Architecture specific dispatcher structure private to the user. | |
file | invocations_arch.h |
Low-level capability invocations. | |
file | lmp_chan_arch.h |
file | pmap_arch.h |
pmap management wrappers | |
file | syscall_arch.h |
User-side system call implementation. | |