2012-08-10 06:14:38 +00:00
|
|
|
/*
|
|
|
|
* \brief Thread state
|
|
|
|
* \author Alexander Boettcher
|
|
|
|
* \date 2012-08-09
|
|
|
|
*
|
|
|
|
* This file contains the NOVA specific thread state.
|
|
|
|
*/
|
|
|
|
|
|
|
|
/*
|
2013-01-10 20:44:47 +00:00
|
|
|
* Copyright (C) 2012-2013 Genode Labs GmbH
|
2012-08-10 06:14:38 +00:00
|
|
|
*
|
|
|
|
* This file is part of the Genode OS framework, which is distributed
|
|
|
|
* under the terms of the GNU General Public License version 2.
|
|
|
|
*/
|
|
|
|
|
|
|
|
#ifndef _INCLUDE__BASE__THREAD_STATE_H_
|
|
|
|
#define _INCLUDE__BASE__THREAD_STATE_H_
|
|
|
|
|
2013-10-24 14:05:31 +00:00
|
|
|
#include <base/thread_state_base.h>
|
2012-08-10 06:14:38 +00:00
|
|
|
|
2016-05-11 16:21:47 +00:00
|
|
|
namespace Genode { struct Thread_state; }
|
2012-08-10 06:14:38 +00:00
|
|
|
|
2012-08-22 10:10:04 +00:00
|
|
|
|
2016-05-11 16:21:47 +00:00
|
|
|
struct Genode::Thread_state : Thread_state_base
|
|
|
|
{
|
|
|
|
bool vcpu;
|
|
|
|
addr_t sel_exc_base;
|
2016-05-17 14:13:56 +00:00
|
|
|
bool global_thread;
|
2012-11-12 16:48:18 +00:00
|
|
|
|
2016-05-17 14:13:56 +00:00
|
|
|
Thread_state() : vcpu(false), sel_exc_base(~0UL), global_thread(true) { }
|
2016-05-11 16:21:47 +00:00
|
|
|
};
|
2012-08-10 06:14:38 +00:00
|
|
|
|
|
|
|
#endif /* _INCLUDE__BASE__THREAD_STATE_H_ */
|