Changeset 8f9d70b in mainline for kernel/arch/arm32/include/arch/cp15.h

Timestamp:

2013-03-24T14:55:36Z (12 years ago)

Author:

Beniamino Galvani <b.galvani@…>

Branches:

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

Children:

0dfa93b0

Parents:

119b46e

Message:

Initial support for Raspberry Pi

File:

• kernel/arch/arm32/include/arch/cp15.h (modified) (1 diff)

kernel/arch/arm32/include/arch/cp15.h

@@ -223 +223 @@
         SCTLR_FAST_IRQ_EN_FLAG       = 1 << 21, /* Disable impl. specific feat*/
         SCTLR_UNALIGNED_EN_FLAG      = 1 << 22, /* Must be 1 on armv7 */
+        SCTLR_EXTENDED_PT_EN_FLAG    = 1 << 23,
         SCTLR_IRQ_VECTORS_EN_FLAG    = 1 << 24,
         SCTLR_BIG_ENDIAN_EXC_FLAG    = 1 << 25,