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