Searched refs:write_ptr (Results 1 – 2 of 2) sorted by relevance
83 char *write_ptr; member209 console_ring.write_ptr = console_ring.buffer; in console_init()313 char *write_ptr = NULL; in console_ring_reserve_space() local321 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() argument364 **write_ptr = ch; in console_ring_put()365 ++(*write_ptr); in console_ring_put()[all …]
4526 …write_ptr = {:#018x}".format(addressof(cr), cr.buffer, cr.len, cr.used, cr.read_ptr, cr.write_ptr))