Searched refs:Sigma0 (Results 1 – 4 of 4) sorted by relevance
5 * \page l4re_servers_sigma0 Sigma0, the Root-Pager7 * Sigma0 is a special L4 server that serves as the origin for mapping memory.12 * capability for Sigma0. Memory can be requested from Sigma0 directly via an13 * IPC, or indirectly by causing page faults and having them resolved by Sigma0.17 * There is only one instance of Sigma0 in an L4Re system, which is made19 * request Sigma0 to create new communication channels to itself by creating22 * in Sigma0.24 * List of objects that the Sigma0 Factory can create:26 * - Sigma0 ()
247 class Sigma0 : class248 public L4::Kobject_t<Sigma0, L4::Factory, L4_PROTO_SIGMA0>294 L4::Ipc::Detail::Meta_svr<Sigma0> dummy; in pager()
34 sigma0 = L4.cast(L4.Proto.Factory, L4.Env.sigma0):create(L4.Proto.Sigma0);
25 Sigma0 = -6,
Completed in 4 milliseconds