K 10
svn:author
V 3
ian
K 8
svn:date
V 27
2014-04-04T17:45:39.920459Z
K 7
svn:log
V 449
Fix TLB maintenance issues for armv6 and armv7.

  - Add cpu_cpwait to comply with the convention.
  - Add missing TLB invalidations, especially in pmap_kenter & pmap_kremove
    with distinguishing between D and ID pages.
  - Modify pmap init/bootstrap invalidations to ID, just to be safe.
  - Fix TLB-inv and PTE_SYNC ordering.

This combines changes submitted by ian@, cognet@, and Wojciech Macek,
which have all been tested together as a unit.

END