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

/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dunix_specific.cpp442 uid_t uid = getuid(); local
449 uid_t uid = geteuid(); local
593 uid_t uid = get_C_long(taskData, args->Word()); local
819 uid_t uid = get_C_long(taskData, DEREFHANDLE(args)->Get(1)); local
831 uid_t uid local
936 int uid = get_C_long(taskData, DEREFWORD(args)); local
[all...]
/seL4-l4v-master/HOL4/polyml/basis/
H A DPosix.sml272 val uid : stat -> uid value
381 val uid : passwd -> uid value
559 where type uid = ProcEnv.uid type
566 where type uid = ProcEnv.uid type
907 type uid = int and gid = int type
999 type uid = ProcEnv.uid and gid = ProcEnv.gid type
1147 val uid : stat -> uid = #uid value
1412 type uid = ProcEnv.uid and gid = ProcEnv.gid type
1417 and uid: passwd->uid = #2 value
[all...]

Completed in 41 milliseconds