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