Changeset d56382d in mainline

Timestamp:

2012-01-13T22:42:19Z (12 years ago)

Author:

Jakub Jermar <jakub@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

8356e59

Parents:

c7f8fc5

Message:

Nits and compile fixes.

File:

• kernel/generic/src/mm/backend_elf.c (modified) (1 diff)

kernel/generic/src/mm/backend_elf.c

@@ -310 +310 @@
                 if (entry->p_flags & PF_W) {
                         kpage = km_temporary_page_get(&frame, FRAME_NO_RESERVE);
-                        memcpy((void *) kpage, (void *) (base + i * FRAME_SIZE),
+                        memcpy((void *) kpage, (void *) (base + i * PAGE_SIZE),
                             PAGE_SIZE);
-                        if (entry->p_flags & PF_X)
-                                smc_coherence_block((void *) kpage, FRAME_SIZE);
+                        if (entry->p_flags & PF_X) {
+                                smc_coherence_block((void *) kpage, PAGE_SIZE);
+                        }
                         km_temporary_page_put(kpage);
                         dirty = true;