Changeset f13f5d60 in mainline

Timestamp:

2012-09-04T20:58:51Z (12 years ago)

Author:

Jan Vesely <jano.vesely@…>

Branches:

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

Children:

1ef7fb2

Parents:

d126d3e

Message:

arm32: Identify swap instructions.

File:

• kernel/arch/arm32/src/mm/page_fault.c (modified) (2 diffs)

kernel/arch/arm32/src/mm/page_fault.c

@@ -167 +167 @@
                 { 0x0e100000, 0x08000000, PF_ACCESS_WRITE }, /* STM variants */
                 { 0x0e100000, 0x08100000, PF_ACCESS_READ },  /* LDM variants */
+                /* Swap */
+                { 0x0fb00000, 0x01000000, PF_ACCESS_WRITE },
         };
         pf_access_t access = PF_ACCESS_UNKNOWN;
@@ -193 +195 @@
         /* swap, swpb instruction */
         if (is_swap_instruction(instr)) {
+                if (access != PF_ACCESS_WRITE)
+                        printf("MISMATCH WRITE(%u): %x\n", access, inst);
                 return PF_ACCESS_WRITE;
         }