mt-waitset: adding masking of channels so a thread won't handle two messages at the...
[barrelfish] / lib / barrelfish /
drwxr-xr-x   ..
-rw-r--r-- 12176 Hakefile
drwxr-xr-x - arch
-rw-r--r-- 5149 bulk_transfer.c
-rw-r--r-- 27008 capabilities.c
-rw-r--r-- 6641 coreset.c
-rw-r--r-- 21603 debug.c
-rw-r--r-- 6775 deferred.c
-rw-r--r-- 20204 dispatch.c
-rw-r--r-- 44444 domain.c
-rw-r--r-- 3382 event_mutex.c
-rw-r--r-- 7371 event_queue.c
-rw-r--r-- 775 flounder_glue_binding.c
-rw-r--r-- 13886 flounder_support.c
-rw-r--r-- 5867 flounder_txqueue.c
-rw-r--r-- 4471 heap.c
-rw-r--r-- 740 idc.c
-rw-r--r-- 2609 idc_export.c
drwxr-xr-x - include
-rw-r--r-- 11931 init.c
-rw-r--r-- 8612 inthandler.c
-rw-r--r-- 13012 lmp_chan.c
-rw-r--r-- 15305 lmp_endpoints.c
-rw-r--r-- 13414 monitor_client.c
-rw-r--r-- 4796 morecore.c
-rw-r--r-- 7630 msgbuf.c
-rw-r--r-- 20618 multihop_chan.c
-rw-r--r-- 6043 nameservice_client.c
-rw-r--r-- 7553 ram_alloc.c
-rw-r--r-- 1428 resource_ctrl.c
-rw-r--r-- 5781 slab.c
drwxr-xr-x - slot_alloc
-rw-r--r-- 20603 spawn_client.c
-rw-r--r-- 2421 sys_debug.c
-rw-r--r-- 1166 syscalls.c
drwxr-xr-x - target
-rw-r--r-- 2488 terminal.c
-rw-r--r-- 3076 thread_once.c
-rw-r--r-- 11289 thread_sync.c
-rw-r--r-- 49348 threads.c
-rw-r--r-- 623 trace.c
-rw-r--r-- 11776 ump_chan.c
-rw-r--r-- 2909 ump_endpoint.c
drwxr-xr-x - vspace
-rw-r--r-- 29713 waitset.c