Use dma_cachectl instead of cachectl when writing into the kernel text

segment.  Ordinary cachectl is for userlevel virtual addresses.

diff --git a/sys/arch/amiga/amiga/db_memrw.c b/sys/arch/amiga/amiga/db_memrw.c
index 189620f..b41200a 100644 (file)
--- a/sys/arch/amiga/amiga/db_memrw.c
+++ b/sys/arch/amiga/amiga/db_memrw.c
@@ -112,7 +112,7 @@ db_write_text(dst, ch)
 
        *pte = oldpte;
        TBIS(dst);
-       cachectl (4, dst, 1);
+       dma_cachectl (dst, 1);
 }
 
 /*