Home
last modified time | relevance | path

Searched refs:received_thread (Results 1 – 5 of 5) sorted by relevance

/l4re-core-master/libkproxy/include/
A Dscheduler_svr75 return this_svr()->run_thread(this_svr()->received_thread(thread), sp);
98 virtual L4::Cap<L4::Thread> received_thread(L4::Ipc::Snd_fpage const &fp) = 0;
A Dfactory_svr68 virtual L4::Cap<L4::Thread> received_thread(L4::Ipc::Snd_fpage const &fp) = 0;
/l4re-core-master/moe/server/src/
A Dsched_proxy.h48 L4::Cap<L4::Thread> received_thread(L4::Ipc::Snd_fpage const &fp);
A Dsched_proxy.cc161 Sched_proxy::received_thread(L4::Ipc::Snd_fpage const &fp) in received_thread() function in Sched_proxy
/l4re-core-master/libkproxy/lib/src/
A Dfactory_svr.cc83 int r = fi->create_gate(g, svr->received_thread(f), label); in handle_gate()

Completed in 5 milliseconds