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

/seL4-l4v-master/l4v/camkes/glue-proofs/
H A DDataIn.c178 gid_t typedef
H A DRPCFrom.c2683 gid_t typedef
/seL4-l4v-master/HOL4/polyml/
H A Dwinconfig.h19 this is either `int' or `gid_t'. */
690 #undef gid_t macro
691 #define gid_t int macro
H A Dconfigure20547 $as_echo "#define gid_t int" >>confdefs.h
21304 gid_t gidset[NGID];
21306 union { gid_t gval; long int lval; } val;
21311 n = getgroups (sizeof (gidset) / MAX (sizeof (int), sizeof (gid_t)) - 1,
21314 happens when gid_t is short int but getgroups modifies an array
21320 ac_cv_type_getgroups=gid_t
21335 $EGREP "getgroups.*int.*gid_t" >/dev/null 2>&1; then :
21336 ac_cv_type_getgroups=gid_t
/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dunix_specific.cpp456 gid_t gid = getgid();
463 gid_t gid = getegid();
600 gid_t gid = get_C_long(taskData, args->Word());
607 // This previously allocated gid_t[NGROUPS_MAX] on the stack but this
609 gid_t gid[1];
613 gid_t *groups = (gid_t*)calloc(sizeof(gid_t), ngroups);
820 gid_t gid = get_C_long(taskData, DEREFHANDLE(args)->Get(2));
832 gid_t gi
[all...]
/seL4-l4v-master/l4v/tools/c-parser/testfiles/
H A Djiraver443.c444 typedef unsigned gid_t; typedef

Completed in 88 milliseconds