Changeset 7cd15b9 in mainline for kernel/arch/arm32


Ignore:
Timestamp:
2014-04-18T19:04:14Z (11 years ago)
Author:
Jakub Jermar <jakub@…>
Branches:
lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export
Children:
6d5da743
Parents:
83b01c2
Message:

Flush cachelines holding the initial arm32 boot page table.
(Thx Jano Vesely)

File:
1 edited

Legend:

Unmodified
Added
Removed

  • kernel/arch/arm32/include/arch/mm/page_armv6.h

    r83b01c2 r7cd15b9  
    258258        if (flags & PAGE_CACHEABLE) {
    259259                /*
    260                  * Write-through, no write-allocate memory, see ch. B3.8.2
     260                 * Write-through, write-allocate memory, see ch. B3.8.2
    261261                 * (p. B3-1358) of ARM Architecture reference manual.
    262262                 * Make sure the memory type is correct, and in sync with:
Note: See TracChangeset for help on using the changeset viewer.