alex/genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

base: remove deprecated cancel_blocking() support

Browse Source 
for threads.

Fixes #3806
This commit is contained in:
Alexander Boettcher
2020-07-06 16:09:44 +02:00
committed by Norman Feske
parent ce6f4dffe5
commit f3efbe50bb
49 changed files with 3 additions and 343 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
repos/base-sel4/src/core/include/platform_thread.h
View File

@@ -119,11 +119,6 @@ class Genode::Platform_thread : public List<Platform_thread>::Element
*/
void resume();
/**
* Cancel currently blocking operation
*/
void cancel_blocking();
/**
* Override thread state with 's'
*

6
repos/base-sel4/src/core/platform_thread.cc
View File

@@ -205,12 +205,6 @@ void Platform_thread::state(Thread_state)
}
void Platform_thread::cancel_blocking()
{
seL4_Signal(_info.lock_sel.value());
}
bool Platform_thread::install_mapping(Mapping const &mapping)
{
return _pd->install_mapping(mapping, name());

6
repos/base-sel4/src/core/thread_start.cc
View File

@@ -143,12 +143,6 @@ void Thread::start()
}
void Thread::cancel_blocking()
{
warning(__func__, " not implemented");
}
Native_utcb *Thread::utcb()
{
if (!_stack)