ref: f8935b5778397074d41a48205e5c7f87d7b531fe
dir: /os/ipengine/mmu.c/
#include "u.h" #include "../port/lib.h" #include "mem.h" #include "dat.h" #include "fns.h" void mmuinit(void) { /* the l.s initial TLB settings do all that's required */ } int segflush(void *a, ulong n) { /* flush dcache then invalidate icache */ dcflush(a, n); icflush(a, n); return 0; }