Changeset 640 for trunk/kernel/kern/scheduler.h

Timestamp:

Oct 1, 2019, 1:19:00 PM (5 years ago)

Author:

alain

Message:

Remove all RPCs in page-fault handling.

File:

• trunk/kernel/kern/scheduler.h (modified) (1 diff)

trunk/kernel/kern/scheduler.h

@@ -89 +89 @@
 
 /********************************************************************************************* 
- * This debug function displays on TXT0 the internal state of a local scheduler, 
- * identified by the core local index <lid>. It must be called by a local thread.
- *********************************************************************************************
- * @ lid      : local index of target core.
- ********************************************************************************************/
-void sched_display( lid_t lid );
-
-/********************************************************************************************* 
  * This debug function displays on TXT0 the internal state of a scheduler, 
  * identified by the target cluster identifier <cxy> and the core local index <lid>.