Changeset 634 for trunk/kernel/kernel_config.h

Timestamp:

May 29, 2019, 3:26:44 PM (5 years ago)

Author:

alain

Message:

Fix a bug in hal_irqmask.c

File:

• trunk/kernel/kernel_config.h (modified) (8 diffs)

trunk/kernel/kernel_config.h

@@ -2 +2 @@
  * kernel_config.h - global kernel configuration arguments
  * 
- * Authors  Mohamed Lamine Karaoui (2015)
- *          Alain Greiner (2016,2017,2018,2019)
+ * Authors        Alain Greiner (2016,2017,2018,2019)
  *
  * Copyright (c)  UPMC Sorbonne Universites
@@ -66 +65 @@
 
 #define DEBUG_DEVFS_GLOBAL_INIT           0
-#define DEBUG_DEVFS_LOCAL_INIT              1
+#define DEBUG_DEVFS_LOCAL_INIT            0
 #define DEBUG_DEVFS_MOVE                  0
 
@@ -112 +111 @@
 #define DEBUG_KMEM                        0
 
-#define DEBUG_KERNEL_INIT                   1
+#define DEBUG_KERNEL_INIT                 0
 
 #define DEBUG_MAPPER_GET_PAGE             0
@@ -124 +123 @@
 #define DEBUG_PPM_ALLOC_PAGES             0
 #define DEBUG_PPM_FREE_PAGES              0
+#define DEBUG_PPM_REMOTE_ALLOC_PAGES      0
+#define DEBUG_PPM_REMOTE_FREE_PAGES       0
    
 #define DEBUG_PROCESS_COPY_INIT           0
@@ -141 +142 @@
 #define DEBUG_QUEUELOCK_CXY               0
 
-#define DEBUG_RPC_CLIENT_GENERIC             2
-#define DEBUG_RPC_SERVER_GENERIC             2
+#define DEBUG_RPC_CLIENT_GENERIC          0
+#define DEBUG_RPC_SERVER_GENERIC          0
 
 #define DEBUG_RPC_KCM_ALLOC               0
@@ -152 +153 @@
 #define DEBUG_RPC_THREAD_USER_CREATE      0
 #define DEBUG_RPC_THREAD_KERNEL_CREATE    0
-#define DEBUG_RPC_VFS_DENTRY_CREATE          2
+#define DEBUG_RPC_VFS_DENTRY_CREATE       0
 #define DEBUG_RPC_VFS_DENTRY_DESTROY      0
 #define DEBUG_RPC_VFS_DEVICE_GET_DENTRY   0
@@ -228 +229 @@
 #define DEBUG_USER_DIR                    0
 
-#define DEBUG_VFS_ADD_CHILD                  1
+#define DEBUG_VFS_ADD_CHILD               0
 #define DEBUG_VFS_ADD_SPECIAL             0
 #define DEBUG_VFS_CHDIR                   0
@@ -253 +254 @@
 #define DEBUG_VMM_DESTROY                 0
 #define DEBUG_VMM_FORK_COPY               0
-#define DEBUG_VMM_GET_ONE_PPN                2
+#define DEBUG_VMM_GET_ONE_PPN             0
 #define DEBUG_VMM_GET_PTE                 0
-#define DEBUG_VMM_HANDLE_PAGE_FAULT          2
+#define DEBUG_VMM_HANDLE_PAGE_FAULT       19000000
 #define DEBUG_VMM_HANDLE_COW              0
 #define DEBUG_VMM_MMAP_ALLOC              0
-#define DEBUG_VMM_PAGE_ALLOCATE              2
+#define DEBUG_VMM_PAGE_ALLOCATE           0
 #define DEBUG_VMM_REMOVE_VSEG             0
 #define DEBUG_VMM_RESIZE_VSEG             0