xref: /inferno-os/os/fads/mmu.c (revision 74a4d8c26dd3c1e9febcb717cfd6cb6512991a7a) 
1*74a4d8c2SCharles.Forsyth #include	"u.h"
2*74a4d8c2SCharles.Forsyth #include	"../port/lib.h"
3*74a4d8c2SCharles.Forsyth #include	"mem.h"
4*74a4d8c2SCharles.Forsyth #include	"dat.h"
5*74a4d8c2SCharles.Forsyth #include	"fns.h"
6*74a4d8c2SCharles.Forsyth 
7*74a4d8c2SCharles.Forsyth void
mmuinit(void)8*74a4d8c2SCharles.Forsyth mmuinit(void)
9*74a4d8c2SCharles.Forsyth {
10*74a4d8c2SCharles.Forsyth 	/* the l.s initial TLB settings do all that's required */
11*74a4d8c2SCharles.Forsyth }
12*74a4d8c2SCharles.Forsyth 
13*74a4d8c2SCharles.Forsyth int
segflush(void * a,ulong n)14*74a4d8c2SCharles.Forsyth segflush(void *a, ulong n)
15*74a4d8c2SCharles.Forsyth {
16*74a4d8c2SCharles.Forsyth 	/* flush dcache then invalidate icache */
17*74a4d8c2SCharles.Forsyth 	dcflush(a, n);
18*74a4d8c2SCharles.Forsyth 	icflush(a, n);
19*74a4d8c2SCharles.Forsyth 	return 0;
20*74a4d8c2SCharles.Forsyth }
21