Lines Matching refs:Cap
83 env->mem_alloc(L4::Cap<L4Re::Mem_alloc>(Caps::Allocator_cap << L4_CAP_SHIFT));
84 env->parent(L4::Cap<L4Re::Parent>(Caps::Parent_cap << L4_CAP_SHIFT));
85 env->scheduler(L4::Cap<L4::Scheduler>(Caps::Scheduler_cap << L4_CAP_SHIFT));
86 env->rm(L4::Cap<L4Re::Rm>(Caps::External_rm_cap << L4_CAP_SHIFT));
87 env->log(L4::Cap<L4Re::Log>(Caps::Log_cap << L4_CAP_SHIFT));
88 env->main_thread(L4::Cap<L4::Thread>(Caps::Rm_thread_cap << L4_CAP_SHIFT));
89 env->factory(L4::Cap<L4::Factory>(Caps::Factory_cap << L4_CAP_SHIFT));
97 L4::Cap<void> prog_kip_ds() const
98 { return L4::Cap<void>(Caps::Kip_cap << L4_CAP_SHIFT); }
134 using L4::Cap;
136 L4::Cap<L4::Task> ntask;
137 L4::Cap<L4::Thread> nthread;
138 L4::Cap<L4::Factory> factory;
146 Cap<L4::Task>(L4Re::This_task).snd_base()));