Rafal Jaworowski 68f8dc2950 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
2011-12-15 12:14:15 +00:00
..
2011-12-13 13:38:03 +00:00
2011-10-16 17:59:28 +00:00
2010-11-09 09:34:21 +00:00
2011-12-15 12:14:15 +00:00
2009-12-23 23:16:54 +00:00
2011-10-07 16:09:44 +00:00
2011-10-16 17:59:28 +00:00