83 	char *write_ptr;  member
206 	console_ring.write_ptr = console_ring.buffer;  in console_init()
309 	char *write_ptr = NULL;  in console_ring_reserve_space()  local
317 		write_ptr = console_ring.write_ptr;  in console_ring_reserve_space()
320 		const ptrdiff_t write_index = console_ring.write_ptr - console_ring.buffer;  in console_ring_reserve_space()
321 		console_ring.write_ptr = console_ring.buffer + ((write_index + nchars) % console_ring.len);  in console_ring_reserve_space()
324 	return write_ptr;  in console_ring_reserve_space()
357 console_ring_put(char **write_ptr, char ch)  in console_ring_put()  argument
360 	**write_ptr = ch;  in console_ring_put()
361 	++(*write_ptr);  in console_ring_put()
362 	if ((*write_ptr - console_ring.buffer) == console_ring.len) {  in console_ring_put()
363 		*write_ptr = console_ring.buffer;  in console_ring_put()
520 	char *write_ptr = NULL;  in console_write()  local
558 		while ((write_ptr = console_ring_reserve_space(chunk_size)) == NULL) {  in console_write()
567 			console_ring_put(&write_ptr, str[i]);  in console_write()