1  /*
   2   * \brief  Thread state
   3   * \author Norman Feske
   4   * \date   2007-07-30
   5   *
   6   * This file contains the generic part of the thread state.
   7   */
   8  
   9  /*
  10   * Copyright (C) 2007-2010 Genode Labs GmbH
  11   *
  12   * This file is part of the Genode OS framework, which is distributed
  13   * under the terms of the GNU General Public License version 2.
  14   */
  15  
  16  #ifndef _INCLUDE__BASE__THREAD_STATE_H_
  17  #define _INCLUDE__BASE__THREAD_STATE_H_
  18  
  19  #include <base/stdint.h>
  20  
  21  namespace Genode {
  22  
  23     struct Thread_state
  24     {
  25        addr_t ip;   /* instruction pointer */
  26        addr_t sp;   /* stack pointer       */
  27  
  28        /**
  29         * Constructor
  30         */
  31        Thread_state(): ip(0), sp(0) { }
  32     };
  33  }
  34  
  35  #endif /* _INCLUDE__BASE__THREAD_STATE_H_ */
© 2010 Genode Labs