641 		console->buffer_size = lio_read_device_mem32(oct, coreaddr);  in lio_add_console()
694 		console->buffer_size = 0;  in lio_remove_consoles()
703 lio_console_free_bytes(uint32_t buffer_size, uint32_t wr_idx, uint32_t rd_idx)  in lio_console_free_bytes()  argument
706 	if (rd_idx >= buffer_size || wr_idx >= buffer_size)  in lio_console_free_bytes()
709 	return (((buffer_size - 1) - (wr_idx - rd_idx)) % buffer_size);  in lio_console_free_bytes()
713 lio_console_avail_bytes(uint32_t buffer_size, uint32_t wr_idx, uint32_t rd_idx)  in lio_console_avail_bytes()  argument
716 	if (rd_idx >= buffer_size || wr_idx >= buffer_size)  in lio_console_avail_bytes()
719 	return (buffer_size - 1 -  in lio_console_avail_bytes()
720 		lio_console_free_bytes(buffer_size, wr_idx, rd_idx));  in lio_console_avail_bytes()
748 	bytes_to_read = lio_console_avail_bytes(console->buffer_size,  in lio_console_read()
759 	if (rd_idx + bytes_to_read >= console->buffer_size)  in lio_console_read()
760 		bytes_to_read = console->buffer_size - rd_idx;  in lio_console_read()
767 			       (rd_idx + bytes_to_read) % console->buffer_size);  in lio_console_read()