mt-waitset: adding masking of channels so a thread won't handle two messages at the...
[barrelfish] / include / barrelfish /
drwxr-xr-x   ..
-rw-r--r-- 1915 barrelfish.h
-rw-r--r-- 3244 bulk_transfer.h
-rw-r--r-- 6839 caddr.h
-rw-r--r-- 1126 cap_predicates.h
-rw-r--r-- 6946 capabilities.h
-rw-r--r-- 3767 core_state.h
-rw-r--r-- 1460 coreset.h
-rw-r--r-- 1279 cspace.h
-rw-r--r-- 2710 debug.h
-rw-r--r-- 1719 deferred.h
-rw-r--r-- 4363 dispatch.h
-rw-r--r-- 2375 dispatcher.h
-rw-r--r-- 3572 domain.h
-rw-r--r-- 1037 event_mutex.h
-rw-r--r-- 1574 event_queue.h
-rw-r--r-- 1953 except.h
-rw-r--r-- 1376 heap.h
-rw-r--r-- 1893 idc.h
-rw-r--r-- 2182 idc_export.h
-rw-r--r-- 1308 inthandler.h
-rw-r--r-- 13552 invocations.h
-rw-r--r-- 6550 lmp_chan.h
-rw-r--r-- 3399 lmp_endpoints.h
-rw-r--r-- 6607 memobj.h
-rw-r--r-- 1739 monitor_client.h
-rw-r--r-- 591 morecore.h
-rw-r--r-- 2865 msgbuf.h
-rw-r--r-- 5679 multihop_chan.h
-rw-r--r-- 930 nameservice_client.h
-rw-r--r-- 3738 net_constants.h
-rw-r--r-- 1954 pmap.h
-rw-r--r-- 1208 ram_alloc.h
-rw-r--r-- 633 resource_ctrl.h
-rw-r--r-- 1937 slab.h
-rw-r--r-- 4569 slot_alloc.h
-rw-r--r-- 2999 spawn_client.h
-rw-r--r-- 1787 static_assert.h
-rw-r--r-- 2219 sys_debug.h
-rw-r--r-- 1676 syscalls.h
-rw-r--r-- 924 terminal.h
-rw-r--r-- 2100 thread_sync.h
-rw-r--r-- 3911 threads.h
-rw-r--r-- 2097 types.h
-rw-r--r-- 5266 ump_chan.h
-rw-r--r-- 2287 ump_endpoint.h
-rw-r--r-- 6631 ump_impl.h
-rw-r--r-- 4271 vregion.h
-rw-r--r-- 1397 vspace.h
-rw-r--r-- 3566 vspace_common.h
-rw-r--r-- 1778 vspace_layout.h
-rw-r--r-- 2037 vspace_mmu_aware.h
-rw-r--r-- 4219 waitset.h
-rw-r--r-- 1710 waitset_chan.h