cppcheck: const cleanups (partial)

diff --git a/src/arch/x86/arch_early_setup.c b/src/arch/x86/arch_early_setup.c
index 10eae7af778fbb9aec5af5f3eb06aa077279abb5..f18dfe432cdd63a679415c56b1534ab01b291856 100644 (file)
--- a/src/arch/x86/arch_early_setup.c
+++ b/src/arch/x86/arch_early_setup.c
@@ -61,13 +61,13 @@ static uint32_t multiboot_copy_size;
              tag->type != MULTIBOOT_TAG_TYPE_END;
              tag = (struct multiboot_tag*)((uint8_t*)tag + ((tag->size + 7) & ~7))) {
             if (tag->type == MULTIBOOT_TAG_TYPE_MODULE) {
-                struct multiboot_tag_module* mod = (struct multiboot_tag_module*)tag;
+                const struct multiboot_tag_module* mod = (const struct multiboot_tag_module*)tag;
                 bi.initrd_start = mod->mod_start;
                 bi.initrd_end = mod->mod_end;
                 break;
             }
             if (tag->type == MULTIBOOT_TAG_TYPE_CMDLINE) {
-                struct multiboot_tag_string* s = (struct multiboot_tag_string*)tag;
+                const struct multiboot_tag_string* s = (const struct multiboot_tag_string*)tag;
                 bi.cmdline = s->string;
             }
         }

diff --git a/src/arch/x86/arch_platform.c b/src/arch/x86/arch_platform.c
index 09992720dafaef6c5a23803f7b8bbd5c7ab0e921..5d8580aa2e33003f8bd8e7b21bacab27075c947b 100644 (file)
--- a/src/arch/x86/arch_platform.c
+++ b/src/arch/x86/arch_platform.c
@@ -88,7 +88,7 @@ int arch_platform_setup(const struct boot_info* bi) {
 int arch_platform_start_userspace(const struct boot_info* bi) {
     (void)bi;
 #if defined(__i386__)
-    struct process* p = process_create_kernel(userspace_init_thread);
+    const struct process* p = process_create_kernel(userspace_init_thread);
     if (!p) return -1;
     return 0;
 #else

diff --git a/src/arch/x86/vmm.c b/src/arch/x86/vmm.c
index 7d91f9663a99fba386512c4e1b2105132d2d1ae3..9745545229daef328fb72860555d513aaee75722 100644 (file)
--- a/src/arch/x86/vmm.c
+++ b/src/arch/x86/vmm.c
@@ -124,7 +124,7 @@ uintptr_t vmm_as_clone_user(uintptr_t src_as) {
         return 0;
     }
 
-    uint32_t* src_pd = (uint32_t*)P2V((uint32_t)src_as);
+    const uint32_t* src_pd = (const uint32_t*)P2V((uint32_t)src_as);
 
     // Best-effort clone: copy present user mappings (USER PTEs), ignore kernel half.
     for (uint32_t pdi = 0; pdi < 768; pdi++) {
@@ -132,7 +132,7 @@ uintptr_t vmm_as_clone_user(uintptr_t src_as) {
         if (!(pde & X86_PTE_PRESENT)) continue;
 
         uint32_t src_pt_phys = pde & 0xFFFFF000;
-        uint32_t* src_pt = (uint32_t*)P2V(src_pt_phys);
+        const uint32_t* src_pt = (const uint32_t*)P2V(src_pt_phys);
 
         for (uint32_t pti = 0; pti < 1024; pti++) {
             uint32_t pte = src_pt[pti];
@@ -220,7 +220,7 @@ void vmm_set_page_flags(uint64_t virt, uint32_t flags) {
     uint32_t pd_index = virt >> 22;
     uint32_t pt_index = (virt >> 12) & 0x03FF;
 
-    uint32_t* pd = vmm_active_pd_virt();
+    const uint32_t* pd = vmm_active_pd_virt();
 
     if (!(pd[pd_index] & X86_PTE_PRESENT)) {
         return;
@@ -254,7 +254,7 @@ void vmm_unmap_page(uint64_t virt) {
     uint32_t pd_index = virt >> 22;
     uint32_t pt_index = (virt >> 12) & 0x03FF;
 
-    uint32_t* pd = vmm_active_pd_virt();
+    const uint32_t* pd = vmm_active_pd_virt();
     if (pd[pd_index] & X86_PTE_PRESENT) {
         uint32_t pt_phys = pd[pd_index] & 0xFFFFF000;
         uint32_t* pt = (uint32_t*)P2V(pt_phys);

diff --git a/src/kernel/scheduler.c b/src/kernel/scheduler.c
index 0b4f367e691b1c75c5a9cafc56542daa08088ee9..1934dfcd7112e3f36e0e56e1edc7a9193da02d7e 100644 (file)
--- a/src/kernel/scheduler.c
+++ b/src/kernel/scheduler.c
@@ -27,7 +27,7 @@ static struct process* process_find_locked(uint32_t pid) {
     if (!ready_queue_head) return NULL;
 
     struct process* it = ready_queue_head;
-    struct process* start = it;
+    const struct process* const start = it;
     do {
         if (it->pid == pid) return it;
         it = it->next;

diff --git a/src/kernel/shell.c b/src/kernel/shell.c
index cd38db5a6357939e97fd038e845de847d573f779..42c6cc8efb806e829812a47ad255ed6c420ada75 100644 (file)
--- a/src/kernel/shell.c
+++ b/src/kernel/shell.c
@@ -46,7 +46,7 @@ void execute_command(char* cmd) {
         if (!fs_root) {
             uart_print("No filesystem mounted.\n");
         } else {
-            char* fname = cmd + 4;
+            const char* fname = cmd + 4;
             fs_node_t* file = NULL;
             if (fname[0] == '/') {
                 file = vfs_lookup(fname);