Public Member Functions |
template<class T > |
unsigned | alloc_sc (Utcb &utcb, unsigned idx_ec, struct para p, unsigned cpu, T *_obj, char const *name, bool a_sc=false) |
unsigned | push_scs (Utcb &utcb, unsigned root_sc=~0U, unsigned root_cpu=~0U) |
| s0_AdmissionProtocol (unsigned cap_base, bool buffer, unsigned num=32) |
unsigned | alloc_sc (Utcb &utcb, unsigned idx_ec, struct para p, unsigned cpu, char const *name) |
unsigned | get_statistics (Utcb &utcb, cap_sel client, uint64 &con_time, const char *name="") |
unsigned | rebind_usage_cap (Utcb &utcb, cap_sel client) |
unsigned | get_usage_cap (Utcb &utcb, cap_sel client) |
unsigned | get_pseudonym (Utcb &utcb, unsigned client_id) |
unsigned | set_name (Utcb &utcb, char const *name, unsigned long name_len=~0UL) |
| AdmissionProtocol (unsigned cap_base, unsigned instance=0, bool blocking=true) |
unsigned | call_server (Utcb &utcb, bool drop_frame) |
| Call the server in a loop to resolve all faults.
|
unsigned | call_server_drop (Utcb &utcb) |
unsigned | call_server_keep (Utcb &utcb) |
template<class T > |
void | destroy (Utcb &utcb, unsigned portal_num, T *obj) |
| Destroy the object.
|
void | close (Utcb &utcb, unsigned portal_num, bool revoke_lock=true, bool _release_pseudonym=true) |
| Close the session to the parent.
|
unsigned | get_notify_sm () |
Utcb & | init_frame (Utcb &utcb, unsigned op) |
| GenericProtocol (const char *service, unsigned instance, unsigned cap_base, bool blocking, unsigned session_base=~0u) |
| static_assert ((CAP_PT_PERCPU+Config::MAX_CPUS)< (1U<< Config::CAP_RESERVED_ORDER),"Capability Space misconfiguration.") |