Searched refs:widx (Results 1 – 1 of 1) sorted by relevance
134 uint64_t widx; in write_rb_idx() local146 widx = ((uint64_t)params[1].value.a << 32) | params[1].value.b; in write_rb_idx()162 if (widx < idx) { in write_rb_idx()171 res = TEE_WriteObjectData(h, &widx, sizeof(widx)); in write_rb_idx()