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

/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dunix_specific.cpp456 gid_t gid = getgid(); local
463 gid_t gid = getegid(); local
600 gid_t gid = get_C_long(taskData, args->Word()); local
609 gid_t gid[1]; local
820 gid_t gid local
832 gid_t gid = get_C_long(taskData, DEREFHANDLE(args)->Get(2)); local
959 int gid = get_C_long(taskData, DEREFWORD(args)); local
[all...]
/seL4-l4v-master/HOL4/polyml/basis/
H A DPosix.sml273 val gid : stat -> gid value
382 val gid : passwd -> gid value
390 val gid : group -> gid value
560 where type gid = ProcEnv.gid type
567 where type gid = ProcEnv.gid type
907 type uid = int and gid = int type
999 type uid = ProcEnv.uid and gid = ProcEnv.gid type
1148 val gid : stat -> gid = #gid value
1412 type uid = ProcEnv.uid and gid = ProcEnv.gid type
1418 and gid: passwd->gid = #3 value
1426 and gid: group->gid = #2 value
[all...]

Completed in 94 milliseconds