TTY_BUFFER_PAGE   316 drivers/tty/tty_buffer.c 		int goal = min_t(size_t, size - copied, TTY_BUFFER_PAGE);
TTY_BUFFER_PAGE   352 drivers/tty/tty_buffer.c 		int goal = min_t(size_t, size - copied, TTY_BUFFER_PAGE);