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-12-15 12:14:15 +00:00
2011-12-15 11:15:23 +00:00
2011-10-27 14:15:26 +00:00
2011-12-09 20:41:54 +00:00
2011-12-15 06:29:13 +00:00
2011-12-15 05:07:16 +00:00
2011-12-15 05:07:16 +00:00
2011-12-07 13:37:42 +00:00
2011-11-26 23:57:03 +00:00
2011-12-13 13:38:03 +00:00
2011-12-15 06:29:13 +00:00