some renaming
[barrelfish] / include / octopus /
drwxr-xr-x   ..
-rw-r--r-- 534 barrier.h
-rw-r--r-- 617 capability_storage.h
-rw-r--r-- 1462 definitions.h
-rw-r--r-- 601 dist2.h
-rw-r--r-- 1550 getset.h
-rw-r--r-- 809 init.h
-rw-r--r-- 506 lock.h
drwxr-xr-x - parser
-rw-r--r-- 788 pubsub.h
-rw-r--r-- 698 semaphores.h
-rw-r--r-- 854 trigger.h