pmap_syncicache_user_virt
void pmap_syncicache_user_virt(pmap_t pm, vaddr_t va);
pmap_syncicache_user_virt(pm, va);