K 10
svn:author
V 6
cognet
K 8
svn:date
V 27
2013-10-17T21:06:19.922247Z
K 7
svn:log
V 191
- Switch to use WBWA mappings for page tables on armv6, this is needed for SMP.
- Fix PTE_SYNC() for PIPT L2 caches, using the virtual address wasn't so useful.
- Use PTE_SYNC() for >= armv6

END