Searched refs:xch_index_offset (Results 1 – 4 of 4) sorted by relevance
285 xch_index_offset: int64; RecordField331 xch_index_offset = Int64.of_int (sizeof_core_header ()
187 xch_index_offset : int64; RecordField
108 c_header.xch_index_offset = Int64_val(Field(header, 4)); in stub_marshall_core_header()
430 unsigned int xch_index_offset; member
Completed in 12 milliseconds