Searched refs:constructed (Results 1 - 2 of 2) sorted by relevance

/seL4-refos-master/libs/libmuslc/ldso/
H A Ddynlink.c67 char constructed; member in struct:dso
1197 if (!p->constructed) continue;
1220 if (p->constructed) continue;
1221 p->constructed = 1;
/seL4-refos-master/kernel/manual/parts/
H A Dthreads.tex669 address space. Once constructed a \obj{TCB} can be given an \obj{EPTPML4} as an EPT root with \apifunc{seL4\_TCB\_SetEPTRoot}{x86_set_eptroot},

Completed in 85 milliseconds