Lines Matching refs:idx
80 uint64_t idx; in read_rb_idx() local
100 res = TEE_ReadObjectData(h, &idx, sizeof(idx), &count); in read_rb_idx()
103 if (count != sizeof(idx)) { in read_rb_idx()
104 idx = 0; /* Not yet written slots are reported as 0 */ in read_rb_idx()
115 res = TEE_WriteObjectData(h, &idx, sizeof(idx)); in read_rb_idx()
121 params[1].value.a = idx >> 32; in read_rb_idx()
122 params[1].value.b = idx; in read_rb_idx()
136 uint64_t idx; in write_rb_idx() local
157 res = TEE_ReadObjectData(h, &idx, sizeof(idx), &count); in write_rb_idx()
160 if (count != sizeof(idx)) in write_rb_idx()
161 idx = 0; /* Not yet written slots are reported as 0 */ in write_rb_idx()
163 if (widx < idx) { in write_rb_idx()