text: #include <kernel/devices/tty.h>
  #include <kernel/drivers/timer.h>
  
  void tty_screen_destructor(struct tty *tty)
  {
  	// Uninstall hardware timer 
  	if (tty->screen.private.timer.id != -1)
  		timer_uninstall(tty->screen.private.timer.id);
  
  	// Destroy internal mutex
  	pthread_mutex_destroy(&tty->screen.private.mutex);
  }
  