Changeset ae5fb7c8 in mainline for kernel


Ignore:
Timestamp:
2013-08-07T21:02:08Z (12 years ago)
Author:
Jan Vesely <jano.vesely@…>
Branches:
lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export
Children:
15187c3
Parents:
0c40fd5
Message:

arm32: Set proper memory type in boot pt.

Add explanatory comments.

Location:
kernel/arch/arm32/include/arch/mm
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • kernel/arch/arm32/include/arch/mm/page.h

    r0c40fd5 rae5fb7c8  
    146146 *
    147147 * Page tables are always in cacheable memory.
    148  * Make sure the memory type is correct.
     148 * Make sure the memory type is correct, and in sync with:
     149 * init_boot_pt (boot/arch/arm32/src/mm.c)
     150 * init_ptl0_section (boot/arch/arm32/src/mm.c)
     151 * set_pt_level1_flags (kernel/arch/arm32/include/arch/mm/page_armv6.h)
    149152 */
    150153NO_TRACE static inline void set_ptl0_addr(pte_t *pt)
  • kernel/arch/arm32/include/arch/mm/page_armv6.h

    r0c40fd5 rae5fb7c8  
    260260                 * Write-through, no write-allocate memory, see ch. B3.8.2
    261261                 * (p. B3-1358) of ARM Architecture reference manual.
     262                 * Make sure the memory type is correct, and in sync with:
     263                 * init_boot_pt (boot/arch/arm32/src/mm.c)
     264                 * init_ptl0_section (boot/arch/arm32/src/mm.c)
     265                 * set_ptl0_addr (kernel/arch/arm32/include/arch/mm/page.h)
    262266                 */
    263267                //TODO: Use writeback, write-allocate caches
Note: See TracChangeset for help on using the changeset viewer.