ref: babf901b4a508c3ec5d1f89655f10377bbdf9637
dir: /os/fads/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;
}