K 10
svn:author
V 3
cem
K 8
svn:date
V 27
2019-05-16T19:10:48.865677Z
K 7
svn:log
V 237
mips: Implement basic pmap_kenter_device, pmap_kremove_device

Unbreak mips.BERI_DE4_SDROOT build, which uses device xdma. Device xdma
depends on the pmap_kenter_device APIs.

Reported by:	tinderbox (local)
Sponsored by:	Dell EMC Isilon

END