83 	char *write_ptr;  member
209 	console_ring.write_ptr = console_ring.buffer;  in console_init()
313 	char *write_ptr = NULL;  in console_ring_reserve_space()  local
321 		write_ptr = console_ring.write_ptr;  in console_ring_reserve_space()
324 		const ptrdiff_t write_index = console_ring.write_ptr - console_ring.buffer;  in console_ring_reserve_space()
325 		console_ring.write_ptr = console_ring.buffer + ((write_index + nchars) % console_ring.len);  in console_ring_reserve_space()
328 	return write_ptr;  in console_ring_reserve_space()
361 console_ring_put(char **write_ptr, char ch)  in console_ring_put()  argument
364 	**write_ptr = ch;  in console_ring_put()
365 	++(*write_ptr);  in console_ring_put()
366 	if ((*write_ptr - console_ring.buffer) == console_ring.len) {  in console_ring_put()
367 		*write_ptr = console_ring.buffer;  in console_ring_put()
532 	char *write_ptr = NULL;  in console_write()  local
570 		while ((write_ptr = console_ring_reserve_space(chunk_size)) == NULL) {  in console_write()
579 			console_ring_put(&write_ptr, str[i]);  in console_write()