capability_storage.h File Reference

Header file for capability storage. More...

Functions
errval_t	oct_get_capability (const char *, struct capref *)
	Get a capability from the capability store. More...
errval_t	oct_put_capability (const char *, struct capref)
	Put a capability to the capability store. More...
errval_t	oct_sput_capability (const char *, struct capref, char **retkey)
	Put a capability to the capability store with a generated identifier. More...
errval_t	oct_remove_capability (const char *)
	Remove a capability from the capability store. More...

Detailed Description

Header file for capability storage.

Function Documentation

errval_t oct_get_capability	(	const char *	key,
		struct capref *	retcap
	)

Get a capability from the capability store.

Parameters

key	String that identifies the capability
retcap	Pointer to structure holding capability

errval_t oct_put_capability	(	const char *	key,
		struct capref	cap
	)

Put a capability to the capability store.

Parameters

key	String that identifies the capability
cap	The capability to store

errval_t oct_remove_capability

(

const char *

key

)

Remove a capability from the capability store.

Parameters

key	String that identifies the capability

errval_t oct_sput_capability	(	const char *	key,
		struct capref	cap,
		char **	outkey
	)

Put a capability to the capability store with a generated identifier.

The server appends a globally unique ID to the key and returns the generated ID as part of retkey. The caller is responsible to free retkey.

Parameters

[in]	key	Base key (server appends this with unique ID).
[in]	cap	The capability to store
[out]	retkey	Allocated string of generated unique identifier.