Make SKB behaviour more robust in case of overflow.
[barrelfish] / include / octopus /
drwxr-xr-x   ..
-rw-r--r-- 538 barrier.h
-rw-r--r-- 638 capability_storage.h
-rw-r--r-- 1463 definitions.h
-rw-r--r-- 1708 getset.h
-rw-r--r-- 992 init.h
-rw-r--r-- 510 lock.h
-rw-r--r-- 623 octopus.h
drwxr-xr-x - parser
-rw-r--r-- 767 pubsub.h
-rw-r--r-- 702 semaphores.h
-rw-r--r-- 1134 trigger.h