pmap_do_page_cache
pmap_do_page_cache(pg, mode);
pmap_do_page_cache(pg, 0);
pmap_do_page_cache(pg, PGF_CACHED);
void pmap_do_page_cache(vm_page_t, u_int);