kernel: Improve pmap_invalidate_cache_range()
authorFrançois Tigeot <ftigeot@wolfpond.org>
Thu, 18 Jul 2013 21:22:32 +0000 (23:22 +0200)
committerFrançois Tigeot <ftigeot@wolfpond.org>
Thu, 18 Jul 2013 21:22:43 +0000 (23:22 +0200)
commitfd300b3d463479c70304739f94bbc010026afc90
tree9e2413964d73aa2cd77a08bc7ad47fbd2b189d37
parentc9fa2b57f095b77e10cbb7eba86e09ea6f4ae11b
kernel: Improve pmap_invalidate_cache_range()

* There is no need to do anything on CPUs having the self-snoop feature

* Add some consistency checks

Inspired-from: FreeBSD
sys/platform/pc64/x86_64/pmap.c