Searched defs:attrs (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dsighandler.cpp558 pthread_attr_t attrs; local
H A Dprocesses.cpp453 POLYUNSIGNED attrs = ThreadAttrs(taskData) & PFLAG_INTMASK; local
640 POLYUNSIGNED attrs = ThreadAttrs(p) & PFLAG_INTMASK; local
871 POLYUNSIGNED attrs = ThreadAttrs(p); local
1709 POLYUNSIGNED PolyThreadForkThread(PolyObject *threadId, PolyWord function, PolyWord attrs, PolyWord stack) argument
1750 POLYUNSIGNED attrs = ThreadAttrs(ptaskData); local
1812 POLYUNSIGNED attrs = ThreadAttrs(ptaskData); local
[all...]

Completed in 43 milliseconds