From 042175b4f9ad0f0f79f18d7549c5959d21ceb4d0 Mon Sep 17 00:00:00 2001
From: Baptiste Wicht <baptiste.wicht@gmail.com>
Date: Sat, 24 Sep 2016 14:22:38 +0200
Subject: [PATCH] Cleanup

---
 kernel/src/terminal.cpp | 20 ++++++++++----------
 1 file changed, 10 insertions(+), 10 deletions(-)

diff --git a/kernel/src/terminal.cpp b/kernel/src/terminal.cpp
index 2f5d43b5..d76cd92d 100644
--- a/kernel/src/terminal.cpp
+++ b/kernel/src/terminal.cpp
@@ -261,6 +261,16 @@ void stdio::finalize(){
     }
 }
 
+stdio::virtual_terminal& stdio::get_active_terminal(){
+    return terminals[active_terminal];
+}
+
+stdio::virtual_terminal& stdio::get_terminal(size_t id){
+    thor_assert(id < MAX_TERMINALS, "Out of bound tty");
+
+    return terminals[id];
+}
+
 size_t stdio::terminal_driver::read(void* data, char* buffer, size_t count, size_t& read){
     auto* terminal = reinterpret_cast<stdio::virtual_terminal*>(data);
 
@@ -300,13 +310,3 @@ size_t stdio::terminal_driver::write(void* data, const char* buffer, size_t coun
 
     return 0;
 }
-
-stdio::virtual_terminal& stdio::get_active_terminal(){
-    return terminals[active_terminal];
-}
-
-stdio::virtual_terminal& stdio::get_terminal(size_t id){
-    thor_assert(id < MAX_TERMINALS, "Out of bound tty");
-
-    return terminals[id];
-}