Add Platform_thread::state() for seL4

2019-05-07 19:03:11 +02:00
parent 1eefc8d42d
commit e53249f6ce
1 changed files with 3 additions and 3 deletions
--- a/repos/base-sel4/src/core/platform_thread.cc
+++ b/repos/base-sel4/src/core/platform_thread.cc
@@ -198,10 +198,10 @@ void Platform_thread::resume()
 }


-void Platform_thread::state(Thread_state)
+void Platform_thread::state(Thread_state s)
 {
-	warning(__PRETTY_FUNCTION__, " not implemented");
-	throw Cpu_thread::State_access_failed();
+	if (_pager)
+		*static_cast<Thread_state *>(&_pager->state) = s;
 }