Searched refs:int64_t (Results 1 - 10 of 10) sorted by relevance

/seL4-l4v-master/seL4/include/
H A Dstdint.h19 typedef signed long long int64_t; typedef
/seL4-l4v-master/l4v/camkes/glue-proofs/
H A DDataIn.c22 int64_t typedef
58 int64_t
102 int64_t
H A DEventFrom.c34 int64_t typedef
70 int64_t
114 int64_t
H A DEventTo.c34 int64_t typedef
70 int64_t
114 int64_t
H A DRPCTo.c34 int64_t typedef
70 int64_t
114 int64_t
H A DRPCFrom.c35 int64_t typedef
71 int64_t
115 int64_t
/seL4-l4v-master/l4v/tools/c-parser/testfiles/
H A Djiraver443.c16 typedef long long int64_t; typedef
24 typedef int64_t int_fast64_t;
28 typedef int64_t int_least64_t;
2155 static int64_t echo_int_4_j_from_1;
2156 static int64_t echo_int_4_j_from_2;
2157 static int64_t *get_echo_int_4_j_from(void) __attribute__((__unused__));
2158 static int64_t *get_echo_int_4_j_from(void) {
2221 int64_t j) {
2228 int64_t *_camkes_ptr_285 = (get_echo_int_4_j_from());
2290 static unsigned int echo_int_4_marshal_inputs(int i, int64_t
[all...]
/seL4-l4v-master/HOL4/polyml/
H A Dwinconfig.h703 #undef int64_t macro
/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dreals.cpp264 int64_t i = (int64_t)dx;
/seL4-l4v-master/HOL4/polyml/mlsource/MLCompiler/CodeTree/X86Code/
H A DX86FOREIGNCALL.sml1145 8-byte value (i.e.. a pointer, int64_t or a double) or one or more smaller values and

Completed in 91 milliseconds