pmap_invalidate_cache_pages
void pmap_invalidate_cache_pages(vm_page_t *pages, int count);
pmap_invalidate_cache_pages(pages, num_pages);
void pmap_invalidate_cache_pages(vm_page_t *pages, int count);
pmap_invalidate_cache_pages(&m, 1);