#include <generic_service.h>

Inheritance diagram for PerCpuIdClientData:

Public Member Functions
void	set_identity (cap_sel id)
cap_sel	get_identity ()
void	set_singleton (cap_sel cap)
cap_sel	get_singleton ()
template<class A >
void	dealloc_identity (A *obj)
Public Member Functions inherited from BaseClientData
void	session_close (Utcb &utcb)
	Close the session at the parent.

Additional Inherited Members
Static Public Member Functions inherited from BaseClientData
static unsigned	get_quota (Utcb &utcb, unsigned _pseudonym, const char name, long value_in, long value_out=0)
	We implement a get_quota here, so that derived classes can overwrite it.
Public Attributes inherited from BaseClientData
void *	next
void *	del
unsigned	pseudonym
	A capability identifying the client. This is also known to the parent.

Member Function Documentation

template<class A >

void PerCpuIdClientData::dealloc_identity ( A * obj )

inline

cap_sel PerCpuIdClientData::get_identity ( )

inline

cap_sel PerCpuIdClientData::get_singleton ( )

inline

void PerCpuIdClientData::set_identity ( cap_sel id )

inline

void PerCpuIdClientData::set_singleton ( cap_sel cap )

inline

Member Data Documentation

cap_sel PerCpuIdClientData::portals[Config::MAX_CPUS]

private

cap_sel PerCpuIdClientData::singleton

private

The documentation for this class was generated from the following file: