From 0d7c6efa8480143cb7b18156581a03084776709d Mon Sep 17 00:00:00 2001 From: Martin Stein Date: Wed, 19 Dec 2012 16:22:43 +0100 Subject: [PATCH] base-hw: Platform_thread::cancel_blocking Ref #589 --- base-hw/src/core/include/platform_thread.h | 13 +++---------- 1 file changed, 3 insertions(+), 10 deletions(-) diff --git a/base-hw/src/core/include/platform_thread.h b/base-hw/src/core/include/platform_thread.h index 36e8c22fe6..6a1ec1cac0 100644 --- a/base-hw/src/core/include/platform_thread.h +++ b/base-hw/src/core/include/platform_thread.h @@ -111,11 +111,7 @@ namespace Genode { /** * Cancel currently blocking operation */ - void cancel_blocking() - { - kernel_log() << __PRETTY_FUNCTION__ << ": Not implemented\n"; - while (1) ; - }; + void cancel_blocking() { resume(); } /** * Get raw thread state @@ -143,11 +139,8 @@ namespace Genode { /** * Set the executing CPU for this thread */ - void affinity(unsigned cpu) - { - kernel_log() << __PRETTY_FUNCTION__ << ": Not implemented\n"; - while (1) ; - }; + void affinity(unsigned cpu) { + kernel_log() << __PRETTY_FUNCTION__ << ": not implemented\n"; }; /***************