src_top_row       476 drivers/tty/vt/vt.c 				unsigned int src_top_row,
src_top_row       484 drivers/tty/vt/vt.c 	while (src_top_row < src_bot_row) {
src_top_row       485 drivers/tty/vt/vt.c 		char32_t *src_line = src->lines[src_top_row];
src_top_row       491 drivers/tty/vt/vt.c 		src_top_row++;