Searched refs:widx (Results 1 – 1 of 1) sorted by relevance
135 uint64_t widx; in write_rb_idx() local147 widx = ((uint64_t)params[1].value.a << 32) | params[1].value.b; in write_rb_idx()163 if (widx < idx) { in write_rb_idx()172 res = TEE_WriteObjectData(h, &widx, sizeof(widx)); in write_rb_idx()
Completed in 3 milliseconds