Searched refs:mode_t (Results 1 - 6 of 6) sorted by relevance

/seL4-l4v-master/l4v/camkes/glue-proofs/
H A DDataIn.c353 mode_t typedef
/seL4-l4v-master/HOL4/polyml/
H A Dwinconfig.h710 #undef mode_t macro
711 #define mode_t int macro
/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dunix_specific.cpp696 mode_t mode = get_C_ulong(taskData, args->Word());
717 mode_t mode = get_C_long(taskData, DEREFHANDLE(args)->Get(1));
729 mode_t mode = get_C_long(taskData, DEREFHANDLE(args)->Get(1));
799 mode_t mode = get_C_long(taskData, DEREFHANDLE(args)->Get(1));
810 mode_t mode = get_C_long(taskData, DEREFHANDLE(args)->Get(1));
H A Dbasicio.cpp1006 mode_t oldMask = umask(0077);
H A Dwinbasicio.cpp1288 mode_t oldMask = umask(0077);
/seL4-l4v-master/l4v/tools/c-parser/testfiles/
H A Djiraver443.c429 typedef unsigned mode_t; typedef

Completed in 176 milliseconds