Searched refs:off_t (Results 1 - 6 of 6) sorted by relevance

/seL4-l4v-master/l4v/camkes/glue-proofs/
H A DDataIn.c348 off_t typedef
445 off_t
636 off_t
H A DRPCFrom.c2688 off_t typedef
/seL4-l4v-master/HOL4/polyml/
H A Dwinconfig.h714 #undef off_t macro
H A Dconfigure17819 /* Check that off_t can represent 2**63 - 1 correctly.
17823 #define LARGE_OFF_T ((((off_t) 1 << 31) << 31) - 1 + (((off_t) 1 << 31) << 31))
17865 /* Check that off_t can represent 2**63 - 1 correctly.
17869 #define LARGE_OFF_T ((((off_t) 1 << 31) << 31) - 1 + (((off_t) 1 << 31) << 31))
17889 /* Check that off_t can represent 2**63 - 1 correctly.
17893 #define LARGE_OFF_T ((((off_t) 1 << 31) << 31) - 1 + (((off_t) 1 << 31) << 31))
17934 /* Check that off_t ca
[all...]
/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dsavestate.cpp163 #define off_t __int64 macro
187 off_t segmentDescr; // Position of segment descriptor table
189 off_t stringTable; // Pointer to the string table (zero if none)
201 off_t segmentData; // Position of the segment data
203 off_t relocations; // Position of the relocation table
1663 off_t segmentDescr; // Position of segment descriptor table
/seL4-l4v-master/l4v/tools/c-parser/testfiles/
H A Djiraver443.c431 typedef long long off_t; typedef
464 off_t offset;

Completed in 187 milliseconds