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

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dunix_specific.cpp444 uid_t uid = getuid(); local
451 uid_t uid = geteuid(); local
641 uid_t uid = get_C_long(taskData, args->Word()); local
874 uid_t uid = get_C_long(taskData, DEREFHANDLE(args)->Get(1)); local
887 uid_t uid local
998 int uid = get_C_long(taskData, DEREFWORD(args)); local
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DPosix.sml274 val uid : stat -> uid value
383 val uid : passwd -> uid value
561 where type uid = ProcEnv.uid type
568 where type uid = ProcEnv.uid type
907 type uid = int and gid = int type
1001 type uid = ProcEnv.uid and gid = ProcEnv.gid type
1145 val uid : stat -> uid = #uid value
1410 type uid = ProcEnv.uid and gid = ProcEnv.gid type
1415 and uid: passwd->uid = #2 value
[all...]

Completed in 90 milliseconds