Changeset 624 for trunk/kernel/syscalls/sys_display.c

Timestamp:

Mar 12, 2019, 1:37:38 PM (6 years ago)

Author:

alain

Message:

Fix several bugs to use the instruction MMU in kernel mode
in replacement of the instruction address extension register,
and remove the "kentry" segment.

This version is running on the tsar_generic_iob" platform.

One interesting bug: the cp0_ebase defining the kernel entry point
(for interrupts, exceptions and syscalls) must be initialized
early in kernel_init(), because the VFS initialisation done by
kernel_ini() uses RPCs, and RPCs uses Inter-Processor-Interrup.

File:

• trunk/kernel/syscalls/sys_display.c (modified) (3 diffs)

trunk/kernel/syscalls/sys_display.c

@@ -2 +2 @@
  * sys_display.c - display the current state of a kernel structure on TXT0
  *
- * Author    Alain Greiner (2016,2017,2018)
+ * Author    Alain Greiner (2016,2017,2018, 2019)
  *  
  * Copyright (c) UPMC Sorbonne Universites
@@ -24 +24 @@
 #include <hal_kernel_types.h>
 #include <hal_uspace.h>
+#include <hal_vmm.h>
 #include <errno.h>
 #include <vmm.h>
@@ -167 +168 @@
             if( cxy == local_cxy )
             {
-                    vmm_display( process , true );
+                    hal_vmm_display( process , true );
             }
             else
             {
-                rpc_vmm_display_client( cxy , process , true );
+                rpc_hal_vmm_display_client( cxy , process , true );
             }