Home
last modified time | relevance | path

Searched defs:utcb_area (Results 1 – 4 of 4) sorted by relevance

/l4re-core-master/libkproxy/lib/src/
A Dfactory_svr.cc49 l4_fpage_t utcb_area; in handle_task() local
/l4re-core-master/l4sys/include/
A Dfactory.h290 l4_cap_idx_t target_cap, l4_fpage_t utcb_area, in l4_factory_create_task_u()
360 l4_cap_idx_t target_cap, l4_fpage_t utcb_area) L4_NOTHROW in l4_factory_create_task()
/l4re-core-master/l4re/include/
A Denv.h119 l4_fpage_t utcb_area; /**< UTCB area of the task */ member
/l4re-core-master/uclibc/lib/libpthread/src/
A Dpthread.c357 l4_fpage_t utcb_area = l4re_env()->utcb_area; in __pthread_initialize_minimal() local

Completed in 8 milliseconds