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.") |