gistfile1.txt

@@ -947,10 +947,16 @@ pmap_icache_sync_range(pmap_t pm, vaddr_
 void
 pmap_procwr(struct proc *p, vaddr_t va, int len)
 {
+       paddr_t pa;
+
+       if (p != curproc) {
+               struct pmap *pm = p->p_vmspace->vm_map.pmap;
+               if (!pmap_extract(pm, va, &pa))
+                       return;
+               va = AARCH64_PA_TO_KVA(pa);
+       }
+       cpu_icache_sync_range(va, len);
 
-       /* We only need to do anything if it is the current process. */
-       if (p == curproc)
-               cpu_icache_sync_range(va, len);
 }