l4/pkg/plr/server/src/fault_handlers/print_vcpu_state.cc

   1 /*
   2  * print_vcpu_state.cc --
   3  *
   4  *     Implementation of the observer that prints the VCPU state upon each
   5  *     fault.
   6  *
   7  * (c) 2011-2012 Björn Döbel <doebel@os.inf.tu-dresden.de>,
   8  *     economic rights: Technische Universität Dresden (Germany)
   9  * This file is part of TUD:OS and distributed under the terms of the
  10  * GNU General Public License 2.
  11  * Please see the COPYING-GPL-2 file for details.
  12  */
  13
  14 #include "observers.h"
  15
  16 /*****************************************************************
  17  *                    Print VCPU state                           *
  18  *****************************************************************/
  19 DEFINE_EMPTY_STARTUP(PrintVCPUStateObserver)
  20
  21 Romain::Observer::ObserverReturnVal
  22 Romain::PrintVCPUStateObserver::notify(Romain::App_instance *,
  23                                        Romain::App_thread *t,
  24                                        Romain::Thread_group *tg,
  25                                        Romain::App_model *)
  26 {
  27         t->print_vcpu_state();
  28         return Romain::Observer::Continue;
  29 }
  30
  31 void Romain::PrintVCPUStateObserver::status() const { }