K 10
svn:author
V 3
raj
K 8
svn:date
V 27
2011-12-15T12:14:15.252502Z
K 7
svn:log
V 267
ARM pmap fixes:

- Write Buffers have to be drained after write to Page Table even if caches
  are in write-through mode.

- Make sure to sync PTE in pmap_zero_page_generic().

Submitted by:	Michal Mazur
Reviewed by:	cognet
Obtained from:	Semihalf
MFC after:	1 month

END