mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-22 06:57:51 +00:00
parent
7ffcc74d72
commit
8f9d4737a6
@ -23,7 +23,7 @@ using namespace Genode;
|
||||
Ram_dataspace_capability
|
||||
Cpu_session_component::utcb(Thread_capability thread_cap)
|
||||
{
|
||||
/* lookup requested UTCB dataspace */
|
||||
/* look up requested UTCB dataspace */
|
||||
Object_pool<Cpu_thread_component>::Guard
|
||||
t(_thread_ep->lookup_and_lock(thread_cap));
|
||||
if (!t) return Ram_dataspace_capability();
|
||||
|
@ -79,7 +79,7 @@ Signal_receiver_capability Signal_session_component::alloc_receiver()
|
||||
|
||||
void Signal_session_component::free_receiver(Signal_receiver_capability cap)
|
||||
{
|
||||
/* lookup ressource info */
|
||||
/* look up ressource info */
|
||||
Receiver * const r = _receivers.lookup_and_lock(cap);
|
||||
if (!r) {
|
||||
PERR("unknown signal receiver");
|
||||
@ -122,7 +122,7 @@ Signal_session_component::alloc_context(Signal_receiver_capability r,
|
||||
|
||||
void Signal_session_component::free_context(Signal_context_capability cap)
|
||||
{
|
||||
/* lookup ressource info */
|
||||
/* look up ressource info */
|
||||
Context * const c = _contexts.lookup_and_lock(cap);
|
||||
if (!c) {
|
||||
PERR("unknown signal context");
|
||||
|
Loading…
Reference in New Issue
Block a user