Ian Lepore 7669914f32 Add a pmap_kremove_device() to undo mappings made with pmap_kenter_device().
Previously we used pmap_kremove(), but with ARM_NEW_PMAP it does the remove
in a way that isn't SMP-coherent (which is appropriate in some circumstances
such as mapping/unmapping sf buffers).  With matching enter/remove routines
for device mappings, each low-level implementation can do the right thing.

Reviewed by:	Svatopluk Kraus <onwahe@gmail.com>
2015-04-10 13:26:35 +00:00
..
2015-02-10 14:11:23 +00:00
2014-05-17 11:29:44 +00:00
2014-03-29 14:35:36 +00:00
2014-12-24 18:54:31 +00:00
2015-03-13 02:49:55 +00:00
2014-01-06 17:16:27 +00:00