Change Details

pmap_remove_l3() already performs the requisite invalidation. (This is in contrast with amd64, where pmap_remove_pte() only invalidates global mappings.) In the long term it might be preferable to do what amd64 does, but for now just get rid of the extra code.

pmap_remove_l3() already performs the requisite invalidation. (This is in contrast with amd64, where pmap_remove_ptes() only invalidates global mappings.) In the long term it might be preferable to do what amd64 does, but for now just get rid of the extra code.

pmap_remove_l3() already performs the requisite invalidation. (This is in contrast with amd64, where pmap_remove_ptes() only invalidates global mappings.) In the long term it might be preferable to do what amd64 does, but for now just get rid of the extra code.