83 	char *write_ptr;  member
203 	console_ring.write_ptr = console_ring.buffer;  in console_init()
306 	char *write_ptr = NULL;  in console_ring_reserve_space()  local
314 		write_ptr = console_ring.write_ptr;  in console_ring_reserve_space()
317 		const ptrdiff_t write_index = console_ring.write_ptr - console_ring.buffer;  in console_ring_reserve_space()
318 		console_ring.write_ptr = console_ring.buffer + ((write_index + nchars) % console_ring.len);  in console_ring_reserve_space()
321 	return write_ptr;  in console_ring_reserve_space()
354 console_ring_put(char **write_ptr, char ch)  in console_ring_put()  argument
357 	**write_ptr = ch;  in console_ring_put()
358 	++(*write_ptr);  in console_ring_put()
359 	if ((*write_ptr - console_ring.buffer) == console_ring.len) {  in console_ring_put()
360 		*write_ptr = console_ring.buffer;  in console_ring_put()
517 	char *write_ptr = NULL;  in console_write()  local
555 		while ((write_ptr = console_ring_reserve_space(chunk_size)) == NULL) {  in console_write()
564 			console_ring_put(&write_ptr, str[i]);  in console_write()