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