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

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dunix_specific.cpp458 gid_t gid = getgid(); local
465 gid_t gid = getegid(); local
648 gid_t gid = get_C_long(taskData, args->Word()); local
657 gid_t gid[1]; local
875 gid_t gid local
888 gid_t gid = get_C_long(taskData, DEREFHANDLE(args)->Get(2)); local
1021 int gid = get_C_long(taskData, DEREFWORD(args)); local
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DPosix.sml275 val gid : stat -> gid value
384 val gid : passwd -> gid value
392 val gid : group -> gid value
562 where type gid = ProcEnv.gid type
569 where type gid = ProcEnv.gid type
907 type uid = int and gid = int type
1001 type uid = ProcEnv.uid and gid = ProcEnv.gid type
1146 val gid : stat -> gid = #gid value
1410 type uid = ProcEnv.uid and gid = ProcEnv.gid type
1416 and gid: passwd->gid = #3 value
1424 and gid: group->gid = #2 value
[all...]

Completed in 91 milliseconds