Searched refs:threaded (Results 1 - 11 of 11) sorted by relevance

/seL4-refos-master/libs/libmuslc/src/internal/
H A Dlibc.h22 int threaded; member in struct:__libc
49 /* Designed to avoid any overhead in non-threaded processes */
/seL4-refos-master/libs/libmuslc/src/signal/
H A Dsigaction.c33 if (!libc.threaded && !unmask_done) {
/seL4-refos-master/libs/libmuslc/src/stdio/
H A D__fdopen.c54 if (!libc.threaded) f->lock = -1;
H A Dopen_memstream.c87 if (!libc.threaded) f->lock = -1;
H A Dopen_wmemstream.c89 if (!libc.threaded) f->lock = -1;
H A Dfmemopen.c111 if (!libc.threaded) f->lock = -1;
/seL4-refos-master/libs/libmuslc/src/env/
H A D__init_tls.c40 a_store(&libc.threaded, 1);
/seL4-refos-master/libs/libmuslc/src/thread/
H A Dsynccall.c70 if (!libc.threaded) goto single_threaded;
H A Dpthread_create.c195 if (!libc.threaded) {
204 libc.threaded = 1;
/seL4-refos-master/projects/refos/design/
H A Dinterface.tex284 The process server is the most trusted component in the system. It runs as the initial kernel thread and does not depend on any other component (this avoids deadlock). The process server implementation is single-threaded. The process server also implements the dataspace interface for anonymous memory and acts as the memory manager.
/seL4-refos-master/kernel/manual/parts/
H A Dthreads.tex327 not have a timeout fault handler, servers may, allowing single-threaded,

Completed in 90 milliseconds