Searched refs:int32_t (Results 1 - 15 of 15) sorted by relevance

/seL4-l4v-master/seL4/include/
H A Dstdint.h18 typedef signed int int32_t; typedef
/seL4-l4v-master/l4v/tools/c-parser/testfiles/
H A Dbugzilla180.c7 typedef unsigned int int32_t; typedef
15 #define MAX_NUM_DRHU_VARIANT ((-(int32_t)PPTR_DRHU_START) >> PAGE_BITS)
H A Djiraver443.c15 typedef int int32_t; typedef
27 typedef int32_t int_least32_t;
35 typedef int32_t int_fast16_t;
36 typedef int32_t int_fast32_t;
747 static int32_t echo_int_1_k_from_1;
748 static int32_t echo_int_1_k_from_2;
749 static int32_t *get_echo_int_1_k_from(void) __attribute__((__unused__));
750 static int32_t *get_echo_int_1_k_from(void) {
822 int32_t k) {
829 int32_t *_camkes_ptr_5
[all...]
/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dmachoexport.h47 void setRelocationAddress(void *p, int32_t *reloc);
H A Dglobals.h72 typedef int32_t POLYSIGNED;
H A Dreals.cpp207 union flt { float fl; int32_t i; };
233 argx.i = (int32_t)x->WordP()->Get(0).AsSigned();
H A Dmachoexport.cpp102 void MachoExport::setRelocationAddress(void *p, int32_t *reloc)
H A Darb.cpp472 Handle hi = Make_arbitrary_precision(taskData, val >> (sizeof(int32_t) * 8));
512 Handle hi = Make_arbitrary_precision(taskData, val >> (sizeof(int32_t) * 8));
H A Dinterpret.cpp117 union flt { float fl; int32_t i; };
241 argx.i = (int32_t)p.AsObjPtr()->Get(0).AsSigned();
/seL4-l4v-master/l4v/camkes/glue-proofs/
H A DDataIn.c17 int32_t typedef
98 int32_t
H A DEventFrom.c29 int32_t typedef
110 int32_t
H A DEventTo.c29 int32_t typedef
110 int32_t
H A DRPCTo.c29 int32_t typedef
110 int32_t
H A DRPCFrom.c30 int32_t typedef
111 int32_t
/seL4-l4v-master/HOL4/polyml/
H A Dwinconfig.h699 #undef int32_t macro

Completed in 115 milliseconds