base: individual implementations of pager-object

ref #935
2013-11-04 17:04:27 +01:00
parent d24ed9783b
commit 20e91d0b60
9 changed files with 38 additions and 14 deletions
--- a/base/include/base/pager.h
+++ b/base/include/base/pager.h
@@ -79,14 +79,10 @@ namespace Genode {
 			 */
 			virtual int pager(Ipc_pager &ps) = 0;

-			void wake_up()
-			{
-				/* notify pager to wake up faulter */
-				Msgbuf<16> snd, rcv;
-				Native_capability pager = cap();
-				Ipc_client ipc_client(pager, &snd, &rcv);
-				ipc_client << this << IPC_CALL;
-			}
+			/**
+			 * Wake up the faulter
+			 */
+			void wake_up();

 			/**
 			 * Assign user-level exception handler for the pager object