Barrelfish
octopus Directory Reference

Directories

Files

file  barrier.h
 Header file for barrier functions.
 
file  capability_storage.h
 Header file for capability storage.
 
file  definitions.h
 Contains definitions that need to be global.
 
file  getset.h
 Header file for the octopus get/set API.
 
file  init.h
 Header file for the octopus initialization/general functions.
 
file  lock.h
 Header file for lock related functions.
 
file  octopus.h
 Header file for the octopus client library.
 
file  pubsub.h
 Publish/Subscribe header file.
 
file  semaphores.h
 Header file for the octopus semaphores API.
 
file  trigger.h
 Header file for triggers.