Searched refs:read_index (Results 1 – 1 of 1) sorted by relevance
443 const ptrdiff_t read_index = console_ring.read_ptr - console_ring.buffer; in console_ring_try_empty() local444 console_ring.read_ptr = console_ring.buffer + ((read_index + nchars_out) % console_ring.len); in console_ring_try_empty()