K 10 svn:author V 3 alc K 8 svn:date V 27 2012-10-02T07:14:22.022481Z K 7 svn:log V 148 Introduce a new TLB invalidation function for efficiently invalidating address ranges, and use this function in pmap_remove(). Tested by: jchandra END