Searched defs:uintptr_t (Results 1 - 7 of 7) sorted by relevance

/seL4-l4v-10.1.1/l4v/camkes/glue-proofs/
H A DDataIn.c91 uintptr_t typedef
H A DEventFrom.c103 uintptr_t typedef
H A DEventTo.c103 uintptr_t typedef
H A DRPCFrom.c104 uintptr_t typedef
H A DRPCTo.c103 uintptr_t typedef
/seL4-l4v-10.1.1/HOL4/polyml/
H A Dwinconfig.h839 #undef uintptr_t macro
/seL4-l4v-10.1.1/l4v/tools/c-parser/testfiles/
H A Djiraver443.c15 typedef unsigned int uintptr_t; typedef

Completed in 105 milliseconds