ref: d540dcf6834b4bec8a2d21f2fe95eccf49f97b03
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;
}