Searched refs:uid_t (Results 1 - 5 of 5) sorted by relevance

/seL4-l4v-master/l4v/camkes/glue-proofs/
H A DDataIn.c174 uid_t typedef
H A DRPCFrom.c2679 uid_t typedef
/seL4-l4v-master/HOL4/polyml/
H A Dwinconfig.h733 #undef uid_t macro
734 #define uid_t int macro
/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dunix_specific.cpp442 uid_t uid = getuid();
449 uid_t uid = geteuid();
593 uid_t uid = get_C_long(taskData, args->Word());
819 uid_t uid = get_C_long(taskData, DEREFHANDLE(args)->Get(1));
831 uid_t uid = get_C_long(taskData, DEREFHANDLE(args)->Get(1));
/seL4-l4v-master/l4v/tools/c-parser/testfiles/
H A Djiraver443.c443 typedef unsigned uid_t; typedef

Completed in 59 milliseconds