xref: /inferno-os/os/boot/pc/memory.c (revision 74a4d8c26dd3c1e9febcb717cfd6cb6512991a7a)
1*74a4d8c2SCharles.Forsyth /*
2*74a4d8c2SCharles.Forsyth  * Size memory and create the kernel page-tables on the fly while doing so.
3*74a4d8c2SCharles.Forsyth  * Called from main(), this code should only be run by the bootstrap processor.
4*74a4d8c2SCharles.Forsyth  */
5*74a4d8c2SCharles.Forsyth #include "u.h"
6*74a4d8c2SCharles.Forsyth #include "lib.h"
7*74a4d8c2SCharles.Forsyth #include "mem.h"
8*74a4d8c2SCharles.Forsyth #include "dat.h"
9*74a4d8c2SCharles.Forsyth #include "fns.h"
10*74a4d8c2SCharles.Forsyth #include "io.h"
11*74a4d8c2SCharles.Forsyth 
12*74a4d8c2SCharles.Forsyth #define MEMDEBUG	0
13*74a4d8c2SCharles.Forsyth 
14*74a4d8c2SCharles.Forsyth #define PDX(va)		((((ulong)(va))>>22) & 0x03FF)
15*74a4d8c2SCharles.Forsyth #define PTX(va)		((((ulong)(va))>>12) & 0x03FF)
16*74a4d8c2SCharles.Forsyth 
17*74a4d8c2SCharles.Forsyth enum {
18*74a4d8c2SCharles.Forsyth 	MemUPA		= 0,		/* unbacked physical address */
19*74a4d8c2SCharles.Forsyth 	MemRAM		= 1,		/* physical memory */
20*74a4d8c2SCharles.Forsyth 	MemUMB		= 2,		/* upper memory block (<16MB) */
21*74a4d8c2SCharles.Forsyth 	NMemType	= 3,
22*74a4d8c2SCharles.Forsyth 
23*74a4d8c2SCharles.Forsyth 	KB		= 1024,
24*74a4d8c2SCharles.Forsyth 
25*74a4d8c2SCharles.Forsyth 	MemMinMB	= 4,		/* minimum physical memory (<=4MB) */
26*74a4d8c2SCharles.Forsyth 	MemMaxMB	= 768,		/* maximum physical memory to check */
27*74a4d8c2SCharles.Forsyth 
28*74a4d8c2SCharles.Forsyth 	NMemBase	= 10,
29*74a4d8c2SCharles.Forsyth };
30*74a4d8c2SCharles.Forsyth 
31*74a4d8c2SCharles.Forsyth typedef struct {
32*74a4d8c2SCharles.Forsyth 	int	size;
33*74a4d8c2SCharles.Forsyth 	ulong	addr;
34*74a4d8c2SCharles.Forsyth } Map;
35*74a4d8c2SCharles.Forsyth 
36*74a4d8c2SCharles.Forsyth typedef struct {
37*74a4d8c2SCharles.Forsyth 	char*	name;
38*74a4d8c2SCharles.Forsyth 	Map*	map;
39*74a4d8c2SCharles.Forsyth 	Map*	mapend;
40*74a4d8c2SCharles.Forsyth 
41*74a4d8c2SCharles.Forsyth 	Lock;
42*74a4d8c2SCharles.Forsyth } RMap;
43*74a4d8c2SCharles.Forsyth 
44*74a4d8c2SCharles.Forsyth static Map mapupa[8];
45*74a4d8c2SCharles.Forsyth static RMap rmapupa = {
46*74a4d8c2SCharles.Forsyth 	"unallocated unbacked physical memory",
47*74a4d8c2SCharles.Forsyth 	mapupa,
48*74a4d8c2SCharles.Forsyth 	&mapupa[7],
49*74a4d8c2SCharles.Forsyth };
50*74a4d8c2SCharles.Forsyth 
51*74a4d8c2SCharles.Forsyth static Map xmapupa[8];
52*74a4d8c2SCharles.Forsyth static RMap xrmapupa = {
53*74a4d8c2SCharles.Forsyth 	"unbacked physical memory",
54*74a4d8c2SCharles.Forsyth 	xmapupa,
55*74a4d8c2SCharles.Forsyth 	&xmapupa[7],
56*74a4d8c2SCharles.Forsyth };
57*74a4d8c2SCharles.Forsyth 
58*74a4d8c2SCharles.Forsyth static Map mapram[8];
59*74a4d8c2SCharles.Forsyth static RMap rmapram = {
60*74a4d8c2SCharles.Forsyth 	"physical memory",
61*74a4d8c2SCharles.Forsyth 	mapram,
62*74a4d8c2SCharles.Forsyth 	&mapram[7],
63*74a4d8c2SCharles.Forsyth };
64*74a4d8c2SCharles.Forsyth 
65*74a4d8c2SCharles.Forsyth static Map mapumb[64];
66*74a4d8c2SCharles.Forsyth static RMap rmapumb = {
67*74a4d8c2SCharles.Forsyth 	"upper memory block",
68*74a4d8c2SCharles.Forsyth 	mapumb,
69*74a4d8c2SCharles.Forsyth 	&mapumb[63],
70*74a4d8c2SCharles.Forsyth };
71*74a4d8c2SCharles.Forsyth 
72*74a4d8c2SCharles.Forsyth static Map mapumbrw[8];
73*74a4d8c2SCharles.Forsyth static RMap rmapumbrw = {
74*74a4d8c2SCharles.Forsyth 	"UMB device memory",
75*74a4d8c2SCharles.Forsyth 	mapumbrw,
76*74a4d8c2SCharles.Forsyth 	&mapumbrw[7],
77*74a4d8c2SCharles.Forsyth };
78*74a4d8c2SCharles.Forsyth 
79*74a4d8c2SCharles.Forsyth void
memdebug(void)80*74a4d8c2SCharles.Forsyth memdebug(void)
81*74a4d8c2SCharles.Forsyth {
82*74a4d8c2SCharles.Forsyth 	Map *mp;
83*74a4d8c2SCharles.Forsyth 	ulong maxpa, maxpa1, maxpa2;
84*74a4d8c2SCharles.Forsyth 
85*74a4d8c2SCharles.Forsyth 	if(MEMDEBUG == 0)
86*74a4d8c2SCharles.Forsyth 		return;
87*74a4d8c2SCharles.Forsyth 
88*74a4d8c2SCharles.Forsyth 	maxpa = (nvramread(0x18)<<8)|nvramread(0x17);
89*74a4d8c2SCharles.Forsyth 	maxpa1 = (nvramread(0x31)<<8)|nvramread(0x30);
90*74a4d8c2SCharles.Forsyth 	maxpa2 = (nvramread(0x16)<<8)|nvramread(0x15);
91*74a4d8c2SCharles.Forsyth 	print("maxpa = %luX -> %luX, maxpa1 = %luX maxpa2 = %luX\n",
92*74a4d8c2SCharles.Forsyth 		maxpa, MB+maxpa*KB, maxpa1, maxpa2);
93*74a4d8c2SCharles.Forsyth 
94*74a4d8c2SCharles.Forsyth 	for(mp = rmapram.map; mp->size; mp++)
95*74a4d8c2SCharles.Forsyth 		print("%8.8luX %8.8luX %8.8luX\n", mp->addr, (ulong)mp->size, mp->addr+mp->size);
96*74a4d8c2SCharles.Forsyth 	for(mp = rmapumb.map; mp->size; mp++)
97*74a4d8c2SCharles.Forsyth 		print("%8.8luX %8.8luX %8.8luX\n", mp->addr, (ulong)mp->size, mp->addr+mp->size);
98*74a4d8c2SCharles.Forsyth 	for(mp = rmapumbrw.map; mp->size; mp++)
99*74a4d8c2SCharles.Forsyth 		print("%8.8luX %8.8luX %8.8luX\n", mp->addr, (ulong)mp->size, mp->addr+mp->size);
100*74a4d8c2SCharles.Forsyth 	for(mp = rmapupa.map; mp->size; mp++)
101*74a4d8c2SCharles.Forsyth 		print("%8.8luX %8.8luX %8.8luX\n", mp->addr, (ulong)mp->size, mp->addr+mp->size);
102*74a4d8c2SCharles.Forsyth }
103*74a4d8c2SCharles.Forsyth 
104*74a4d8c2SCharles.Forsyth void
mapfree(RMap * rmap,ulong addr,ulong size)105*74a4d8c2SCharles.Forsyth mapfree(RMap* rmap, ulong addr, ulong size)
106*74a4d8c2SCharles.Forsyth {
107*74a4d8c2SCharles.Forsyth 	Map *mp;
108*74a4d8c2SCharles.Forsyth 	ulong t;
109*74a4d8c2SCharles.Forsyth 
110*74a4d8c2SCharles.Forsyth 	if(size == 0)
111*74a4d8c2SCharles.Forsyth 		return;
112*74a4d8c2SCharles.Forsyth 
113*74a4d8c2SCharles.Forsyth 	lock(rmap);
114*74a4d8c2SCharles.Forsyth 	for(mp = rmap->map; mp->addr <= addr && mp->size; mp++)
115*74a4d8c2SCharles.Forsyth 		;
116*74a4d8c2SCharles.Forsyth 
117*74a4d8c2SCharles.Forsyth 	if(mp > rmap->map && (mp-1)->addr+(mp-1)->size == addr){
118*74a4d8c2SCharles.Forsyth 		(mp-1)->size += size;
119*74a4d8c2SCharles.Forsyth 		if(addr+size == mp->addr){
120*74a4d8c2SCharles.Forsyth 			(mp-1)->size += mp->size;
121*74a4d8c2SCharles.Forsyth 			while(mp->size){
122*74a4d8c2SCharles.Forsyth 				mp++;
123*74a4d8c2SCharles.Forsyth 				(mp-1)->addr = mp->addr;
124*74a4d8c2SCharles.Forsyth 				(mp-1)->size = mp->size;
125*74a4d8c2SCharles.Forsyth 			}
126*74a4d8c2SCharles.Forsyth 		}
127*74a4d8c2SCharles.Forsyth 	}
128*74a4d8c2SCharles.Forsyth 	else{
129*74a4d8c2SCharles.Forsyth 		if(addr+size == mp->addr && mp->size){
130*74a4d8c2SCharles.Forsyth 			mp->addr -= size;
131*74a4d8c2SCharles.Forsyth 			mp->size += size;
132*74a4d8c2SCharles.Forsyth 		}
133*74a4d8c2SCharles.Forsyth 		else do{
134*74a4d8c2SCharles.Forsyth 			if(mp >= rmap->mapend){
135*74a4d8c2SCharles.Forsyth 				print("mapfree: %s: losing 0x%luX, %lud\n",
136*74a4d8c2SCharles.Forsyth 					rmap->name, addr, size);
137*74a4d8c2SCharles.Forsyth 				break;
138*74a4d8c2SCharles.Forsyth 			}
139*74a4d8c2SCharles.Forsyth 			t = mp->addr;
140*74a4d8c2SCharles.Forsyth 			mp->addr = addr;
141*74a4d8c2SCharles.Forsyth 			addr = t;
142*74a4d8c2SCharles.Forsyth 			t = mp->size;
143*74a4d8c2SCharles.Forsyth 			mp->size = size;
144*74a4d8c2SCharles.Forsyth 			mp++;
145*74a4d8c2SCharles.Forsyth 		}while(size = t);
146*74a4d8c2SCharles.Forsyth 	}
147*74a4d8c2SCharles.Forsyth 	unlock(rmap);
148*74a4d8c2SCharles.Forsyth }
149*74a4d8c2SCharles.Forsyth 
150*74a4d8c2SCharles.Forsyth ulong
mapalloc(RMap * rmap,ulong addr,int size,int align)151*74a4d8c2SCharles.Forsyth mapalloc(RMap* rmap, ulong addr, int size, int align)
152*74a4d8c2SCharles.Forsyth {
153*74a4d8c2SCharles.Forsyth 	Map *mp;
154*74a4d8c2SCharles.Forsyth 	ulong maddr, oaddr;
155*74a4d8c2SCharles.Forsyth 
156*74a4d8c2SCharles.Forsyth 	lock(rmap);
157*74a4d8c2SCharles.Forsyth 	for(mp = rmap->map; mp->size; mp++){
158*74a4d8c2SCharles.Forsyth 		maddr = mp->addr;
159*74a4d8c2SCharles.Forsyth 
160*74a4d8c2SCharles.Forsyth 		if(addr){
161*74a4d8c2SCharles.Forsyth 			/*
162*74a4d8c2SCharles.Forsyth 			 * A specific address range has been given:
163*74a4d8c2SCharles.Forsyth 			 *   if the current map entry is greater then
164*74a4d8c2SCharles.Forsyth 			 *   the address is not in the map;
165*74a4d8c2SCharles.Forsyth 			 *   if the current map entry does not overlap
166*74a4d8c2SCharles.Forsyth 			 *   the beginning of the requested range then
167*74a4d8c2SCharles.Forsyth 			 *   continue on to the next map entry;
168*74a4d8c2SCharles.Forsyth 			 *   if the current map entry does not entirely
169*74a4d8c2SCharles.Forsyth 			 *   contain the requested range then the range
170*74a4d8c2SCharles.Forsyth 			 *   is not in the map.
171*74a4d8c2SCharles.Forsyth 			 */
172*74a4d8c2SCharles.Forsyth 			if(maddr > addr)
173*74a4d8c2SCharles.Forsyth 				break;
174*74a4d8c2SCharles.Forsyth 			if(mp->size < addr - maddr)	/* maddr+mp->size < addr, but no overflow */
175*74a4d8c2SCharles.Forsyth 				continue;
176*74a4d8c2SCharles.Forsyth 			if(addr - maddr > mp->size - size)	/* addr+size > maddr+mp->size, but no overflow */
177*74a4d8c2SCharles.Forsyth 				break;
178*74a4d8c2SCharles.Forsyth 			maddr = addr;
179*74a4d8c2SCharles.Forsyth 		}
180*74a4d8c2SCharles.Forsyth 
181*74a4d8c2SCharles.Forsyth 		if(align > 0)
182*74a4d8c2SCharles.Forsyth 			maddr = ((maddr+align-1)/align)*align;
183*74a4d8c2SCharles.Forsyth 		if(mp->addr+mp->size-maddr < size)
184*74a4d8c2SCharles.Forsyth 			continue;
185*74a4d8c2SCharles.Forsyth 
186*74a4d8c2SCharles.Forsyth 		oaddr = mp->addr;
187*74a4d8c2SCharles.Forsyth 		mp->addr = maddr+size;
188*74a4d8c2SCharles.Forsyth 		mp->size -= maddr-oaddr+size;
189*74a4d8c2SCharles.Forsyth 		if(mp->size == 0){
190*74a4d8c2SCharles.Forsyth 			do{
191*74a4d8c2SCharles.Forsyth 				mp++;
192*74a4d8c2SCharles.Forsyth 				(mp-1)->addr = mp->addr;
193*74a4d8c2SCharles.Forsyth 			}while((mp-1)->size = mp->size);
194*74a4d8c2SCharles.Forsyth 		}
195*74a4d8c2SCharles.Forsyth 
196*74a4d8c2SCharles.Forsyth 		unlock(rmap);
197*74a4d8c2SCharles.Forsyth 		if(oaddr != maddr)
198*74a4d8c2SCharles.Forsyth 			mapfree(rmap, oaddr, maddr-oaddr);
199*74a4d8c2SCharles.Forsyth 
200*74a4d8c2SCharles.Forsyth 		return maddr;
201*74a4d8c2SCharles.Forsyth 	}
202*74a4d8c2SCharles.Forsyth 	unlock(rmap);
203*74a4d8c2SCharles.Forsyth 
204*74a4d8c2SCharles.Forsyth 	return 0;
205*74a4d8c2SCharles.Forsyth }
206*74a4d8c2SCharles.Forsyth 
207*74a4d8c2SCharles.Forsyth static void
umbscan(void)208*74a4d8c2SCharles.Forsyth umbscan(void)
209*74a4d8c2SCharles.Forsyth {
210*74a4d8c2SCharles.Forsyth 	uchar *p;
211*74a4d8c2SCharles.Forsyth 
212*74a4d8c2SCharles.Forsyth 	/*
213*74a4d8c2SCharles.Forsyth 	 * Scan the Upper Memory Blocks (0xA0000->0xF0000) for pieces
214*74a4d8c2SCharles.Forsyth 	 * which aren't used; they can be used later for devices which
215*74a4d8c2SCharles.Forsyth 	 * want to allocate some virtual address space.
216*74a4d8c2SCharles.Forsyth 	 * Check for two things:
217*74a4d8c2SCharles.Forsyth 	 * 1) device BIOS ROM. This should start with a two-byte header
218*74a4d8c2SCharles.Forsyth 	 *    of 0x55 0xAA, followed by a byte giving the size of the ROM
219*74a4d8c2SCharles.Forsyth 	 *    in 512-byte chunks. These ROM's must start on a 2KB boundary.
220*74a4d8c2SCharles.Forsyth 	 * 2) device memory. This is read-write.
221*74a4d8c2SCharles.Forsyth 	 * There are some assumptions: there's VGA memory at 0xA0000 and
222*74a4d8c2SCharles.Forsyth 	 * the VGA BIOS ROM is at 0xC0000. Also, if there's no ROM signature
223*74a4d8c2SCharles.Forsyth 	 * at 0xE0000 then the whole 64KB up to 0xF0000 is theoretically up
224*74a4d8c2SCharles.Forsyth 	 * for grabs; check anyway.
225*74a4d8c2SCharles.Forsyth 	 */
226*74a4d8c2SCharles.Forsyth 	p = KADDR(0xD0000);	/*RSC: changed from 0xC0000 */
227*74a4d8c2SCharles.Forsyth 	while(p < (uchar*)KADDR(0xE0000)){
228*74a4d8c2SCharles.Forsyth 		if (p[0] == 0x55 && p[1] == 0xAA) {
229*74a4d8c2SCharles.Forsyth 			/* Skip p[2] chunks of 512 bytes.  Test for 0x55 AA before
230*74a4d8c2SCharles.Forsyth 			     poking obtrusively, or else the Thinkpad X20 dies when
231*74a4d8c2SCharles.Forsyth 			     setting up the cardbus (PB) */
232*74a4d8c2SCharles.Forsyth 			p += p[2] * 512;
233*74a4d8c2SCharles.Forsyth 			continue;
234*74a4d8c2SCharles.Forsyth 		}
235*74a4d8c2SCharles.Forsyth 
236*74a4d8c2SCharles.Forsyth 		p[0] = 0xCC;
237*74a4d8c2SCharles.Forsyth 		p[2*KB-1] = 0xCC;
238*74a4d8c2SCharles.Forsyth 		if(p[0] != 0xCC || p[2*KB-1] != 0xCC){
239*74a4d8c2SCharles.Forsyth 			p[0] = 0x55;
240*74a4d8c2SCharles.Forsyth 			p[1] = 0xAA;
241*74a4d8c2SCharles.Forsyth 			p[2] = 4;
242*74a4d8c2SCharles.Forsyth 			if(p[0] == 0x55 && p[1] == 0xAA){
243*74a4d8c2SCharles.Forsyth 				p += p[2]*512;
244*74a4d8c2SCharles.Forsyth 				continue;
245*74a4d8c2SCharles.Forsyth 			}
246*74a4d8c2SCharles.Forsyth 			if(p[0] == 0xFF && p[1] == 0xFF)
247*74a4d8c2SCharles.Forsyth 				mapfree(&rmapumb, PADDR(p), 2*KB);
248*74a4d8c2SCharles.Forsyth 		}
249*74a4d8c2SCharles.Forsyth 		else
250*74a4d8c2SCharles.Forsyth 			mapfree(&rmapumbrw, PADDR(p), 2*KB);
251*74a4d8c2SCharles.Forsyth 		p += 2*KB;
252*74a4d8c2SCharles.Forsyth 	}
253*74a4d8c2SCharles.Forsyth 
254*74a4d8c2SCharles.Forsyth 	p = KADDR(0xE0000);
255*74a4d8c2SCharles.Forsyth 	if(p[0] != 0x55 || p[1] != 0xAA){
256*74a4d8c2SCharles.Forsyth 		p[0] = 0xCC;
257*74a4d8c2SCharles.Forsyth 		p[64*KB-1] = 0xCC;
258*74a4d8c2SCharles.Forsyth 		if(p[0] != 0xCC && p[64*KB-1] != 0xCC)
259*74a4d8c2SCharles.Forsyth 			mapfree(&rmapumb, PADDR(p), 64*KB);
260*74a4d8c2SCharles.Forsyth 	}
261*74a4d8c2SCharles.Forsyth }
262*74a4d8c2SCharles.Forsyth 
263*74a4d8c2SCharles.Forsyth 
264*74a4d8c2SCharles.Forsyth void
meminit(ulong)265*74a4d8c2SCharles.Forsyth meminit(ulong)
266*74a4d8c2SCharles.Forsyth {
267*74a4d8c2SCharles.Forsyth 	/* A hack to initialize unbacked physical memory.  It's assumed PCI space is assigned by
268*74a4d8c2SCharles.Forsyth 	     the BIOS in the 0xF0000000 range and 9load never needs more than 0x2000... to run. These
269*74a4d8c2SCharles.Forsyth 	     values leave ample space for memory allocations for uninitialized PCI cards (e.g. cardbus
270*74a4d8c2SCharles.Forsyth 	     cards).  (pb) */
271*74a4d8c2SCharles.Forsyth 	ulong maxmem = 0x40000000;
272*74a4d8c2SCharles.Forsyth 
273*74a4d8c2SCharles.Forsyth 	umbscan();
274*74a4d8c2SCharles.Forsyth 	mapfree(&rmapupa, maxmem, 0x00000000-maxmem);
275*74a4d8c2SCharles.Forsyth 	if(MEMDEBUG)
276*74a4d8c2SCharles.Forsyth 		memdebug();
277*74a4d8c2SCharles.Forsyth }
278*74a4d8c2SCharles.Forsyth 
279*74a4d8c2SCharles.Forsyth ulong
umbmalloc(ulong addr,int size,int align)280*74a4d8c2SCharles.Forsyth umbmalloc(ulong addr, int size, int align)
281*74a4d8c2SCharles.Forsyth {
282*74a4d8c2SCharles.Forsyth 	ulong a;
283*74a4d8c2SCharles.Forsyth 
284*74a4d8c2SCharles.Forsyth 	if(a = mapalloc(&rmapumb, addr, size, align))
285*74a4d8c2SCharles.Forsyth 		return (ulong)KADDR(a);
286*74a4d8c2SCharles.Forsyth 
287*74a4d8c2SCharles.Forsyth 	return 0;
288*74a4d8c2SCharles.Forsyth }
289*74a4d8c2SCharles.Forsyth 
290*74a4d8c2SCharles.Forsyth void
umbfree(ulong addr,int size)291*74a4d8c2SCharles.Forsyth umbfree(ulong addr, int size)
292*74a4d8c2SCharles.Forsyth {
293*74a4d8c2SCharles.Forsyth 	mapfree(&rmapumb, PADDR(addr), size);
294*74a4d8c2SCharles.Forsyth }
295*74a4d8c2SCharles.Forsyth 
296*74a4d8c2SCharles.Forsyth ulong
umbrwmalloc(ulong addr,int size,int align)297*74a4d8c2SCharles.Forsyth umbrwmalloc(ulong addr, int size, int align)
298*74a4d8c2SCharles.Forsyth {
299*74a4d8c2SCharles.Forsyth 	ulong a;
300*74a4d8c2SCharles.Forsyth 	uchar *p;
301*74a4d8c2SCharles.Forsyth 
302*74a4d8c2SCharles.Forsyth 	if(a = mapalloc(&rmapumbrw, addr, size, align))
303*74a4d8c2SCharles.Forsyth 		return(ulong)KADDR(a);
304*74a4d8c2SCharles.Forsyth 
305*74a4d8c2SCharles.Forsyth 	/*
306*74a4d8c2SCharles.Forsyth 	 * Perhaps the memory wasn't visible before
307*74a4d8c2SCharles.Forsyth 	 * the interface is initialised, so try again.
308*74a4d8c2SCharles.Forsyth 	 */
309*74a4d8c2SCharles.Forsyth 	if((a = umbmalloc(addr, size, align)) == 0)
310*74a4d8c2SCharles.Forsyth 		return 0;
311*74a4d8c2SCharles.Forsyth 	p = (uchar*)a;
312*74a4d8c2SCharles.Forsyth 	p[0] = 0xCC;
313*74a4d8c2SCharles.Forsyth 	p[size-1] = 0xCC;
314*74a4d8c2SCharles.Forsyth 	if(p[0] == 0xCC && p[size-1] == 0xCC)
315*74a4d8c2SCharles.Forsyth 		return a;
316*74a4d8c2SCharles.Forsyth 	umbfree(a, size);
317*74a4d8c2SCharles.Forsyth 
318*74a4d8c2SCharles.Forsyth 	return 0;
319*74a4d8c2SCharles.Forsyth }
320*74a4d8c2SCharles.Forsyth 
321*74a4d8c2SCharles.Forsyth void
umbrwfree(ulong addr,int size)322*74a4d8c2SCharles.Forsyth umbrwfree(ulong addr, int size)
323*74a4d8c2SCharles.Forsyth {
324*74a4d8c2SCharles.Forsyth 	mapfree(&rmapumbrw, PADDR(addr), size);
325*74a4d8c2SCharles.Forsyth }
326*74a4d8c2SCharles.Forsyth 
327*74a4d8c2SCharles.Forsyth ulong*
mmuwalk(ulong * pdb,ulong va,int level,int create)328*74a4d8c2SCharles.Forsyth mmuwalk(ulong* pdb, ulong va, int level, int create)
329*74a4d8c2SCharles.Forsyth {
330*74a4d8c2SCharles.Forsyth 	ulong pa, *table;
331*74a4d8c2SCharles.Forsyth 
332*74a4d8c2SCharles.Forsyth 	/*
333*74a4d8c2SCharles.Forsyth 	 * Walk the page-table pointed to by pdb and return a pointer
334*74a4d8c2SCharles.Forsyth 	 * to the entry for virtual address va at the requested level.
335*74a4d8c2SCharles.Forsyth 	 * If the entry is invalid and create isn't requested then bail
336*74a4d8c2SCharles.Forsyth 	 * out early. Otherwise, for the 2nd level walk, allocate a new
337*74a4d8c2SCharles.Forsyth 	 * page-table page and register it in the 1st level.
338*74a4d8c2SCharles.Forsyth 	 */
339*74a4d8c2SCharles.Forsyth 	table = &pdb[PDX(va)];
340*74a4d8c2SCharles.Forsyth 	if(!(*table & PTEVALID) && create == 0)
341*74a4d8c2SCharles.Forsyth 		return 0;
342*74a4d8c2SCharles.Forsyth 
343*74a4d8c2SCharles.Forsyth 	switch(level){
344*74a4d8c2SCharles.Forsyth 
345*74a4d8c2SCharles.Forsyth 	default:
346*74a4d8c2SCharles.Forsyth 		return 0;
347*74a4d8c2SCharles.Forsyth 
348*74a4d8c2SCharles.Forsyth 	case 1:
349*74a4d8c2SCharles.Forsyth 		return table;
350*74a4d8c2SCharles.Forsyth 
351*74a4d8c2SCharles.Forsyth 	case 2:
352*74a4d8c2SCharles.Forsyth 		if(*table & PTESIZE)
353*74a4d8c2SCharles.Forsyth 			panic("mmuwalk2: va 0x%ux entry 0x%ux\n", va, *table);
354*74a4d8c2SCharles.Forsyth 		if(!(*table & PTEVALID)){
355*74a4d8c2SCharles.Forsyth 			pa = PADDR(ialloc(BY2PG, BY2PG));
356*74a4d8c2SCharles.Forsyth 			*table = pa|PTEWRITE|PTEVALID;
357*74a4d8c2SCharles.Forsyth 		}
358*74a4d8c2SCharles.Forsyth 		table = KADDR(PPN(*table));
359*74a4d8c2SCharles.Forsyth 
360*74a4d8c2SCharles.Forsyth 		return &table[PTX(va)];
361*74a4d8c2SCharles.Forsyth 	}
362*74a4d8c2SCharles.Forsyth }
363*74a4d8c2SCharles.Forsyth 
364*74a4d8c2SCharles.Forsyth static Lock mmukmaplock;
365*74a4d8c2SCharles.Forsyth 
366*74a4d8c2SCharles.Forsyth ulong
mmukmap(ulong pa,ulong va,int size)367*74a4d8c2SCharles.Forsyth mmukmap(ulong pa, ulong va, int size)
368*74a4d8c2SCharles.Forsyth {
369*74a4d8c2SCharles.Forsyth 	ulong pae, *table, *pdb, pgsz, *pte, x;
370*74a4d8c2SCharles.Forsyth 	int pse, sync;
371*74a4d8c2SCharles.Forsyth 	extern int cpuidax, cpuiddx;
372*74a4d8c2SCharles.Forsyth 
373*74a4d8c2SCharles.Forsyth 	pdb = KADDR(getcr3());
374*74a4d8c2SCharles.Forsyth 	if((cpuiddx & 0x08) && (getcr4() & 0x10))
375*74a4d8c2SCharles.Forsyth 		pse = 1;
376*74a4d8c2SCharles.Forsyth 	else
377*74a4d8c2SCharles.Forsyth 		pse = 0;
378*74a4d8c2SCharles.Forsyth 	sync = 0;
379*74a4d8c2SCharles.Forsyth 
380*74a4d8c2SCharles.Forsyth 	pa = PPN(pa);
381*74a4d8c2SCharles.Forsyth 	if(va == 0)
382*74a4d8c2SCharles.Forsyth 		va = (ulong)KADDR(pa);
383*74a4d8c2SCharles.Forsyth 	else
384*74a4d8c2SCharles.Forsyth 		va = PPN(va);
385*74a4d8c2SCharles.Forsyth 
386*74a4d8c2SCharles.Forsyth 	pae = pa + size;
387*74a4d8c2SCharles.Forsyth 	lock(&mmukmaplock);
388*74a4d8c2SCharles.Forsyth 	while(pa < pae){
389*74a4d8c2SCharles.Forsyth 		table = &pdb[PDX(va)];
390*74a4d8c2SCharles.Forsyth 		/*
391*74a4d8c2SCharles.Forsyth 		 * Possibly already mapped.
392*74a4d8c2SCharles.Forsyth 		 */
393*74a4d8c2SCharles.Forsyth 		if(*table & PTEVALID){
394*74a4d8c2SCharles.Forsyth 			if(*table & PTESIZE){
395*74a4d8c2SCharles.Forsyth 				/*
396*74a4d8c2SCharles.Forsyth 				 * Big page. Does it fit within?
397*74a4d8c2SCharles.Forsyth 				 * If it does, adjust pgsz so the correct end can be
398*74a4d8c2SCharles.Forsyth 				 * returned and get out.
399*74a4d8c2SCharles.Forsyth 				 * If not, adjust pgsz up to the next 4MB boundary
400*74a4d8c2SCharles.Forsyth 				 * and continue.
401*74a4d8c2SCharles.Forsyth 				 */
402*74a4d8c2SCharles.Forsyth 				x = PPN(*table);
403*74a4d8c2SCharles.Forsyth 				if(x != pa)
404*74a4d8c2SCharles.Forsyth 					panic("mmukmap1: pa 0x%ux  entry 0x%ux\n",
405*74a4d8c2SCharles.Forsyth 						pa, *table);
406*74a4d8c2SCharles.Forsyth 				x += 4*MB;
407*74a4d8c2SCharles.Forsyth 				if(pae <= x){
408*74a4d8c2SCharles.Forsyth 					pa = pae;
409*74a4d8c2SCharles.Forsyth 					break;
410*74a4d8c2SCharles.Forsyth 				}
411*74a4d8c2SCharles.Forsyth 				pgsz = x - pa;
412*74a4d8c2SCharles.Forsyth 				pa += pgsz;
413*74a4d8c2SCharles.Forsyth 				va += pgsz;
414*74a4d8c2SCharles.Forsyth 
415*74a4d8c2SCharles.Forsyth 				continue;
416*74a4d8c2SCharles.Forsyth 			}
417*74a4d8c2SCharles.Forsyth 			else{
418*74a4d8c2SCharles.Forsyth 				/*
419*74a4d8c2SCharles.Forsyth 				 * Little page. Walk to the entry.
420*74a4d8c2SCharles.Forsyth 				 * If the entry is valid, set pgsz and continue.
421*74a4d8c2SCharles.Forsyth 				 * If not, make it so, set pgsz, sync and continue.
422*74a4d8c2SCharles.Forsyth 				 */
423*74a4d8c2SCharles.Forsyth 				pte = mmuwalk(pdb, va, 2, 0);
424*74a4d8c2SCharles.Forsyth 				if(pte && *pte & PTEVALID){
425*74a4d8c2SCharles.Forsyth 					x = PPN(*pte);
426*74a4d8c2SCharles.Forsyth 					if(x != pa)
427*74a4d8c2SCharles.Forsyth 						panic("mmukmap2: pa 0x%ux entry 0x%ux\n",
428*74a4d8c2SCharles.Forsyth 							pa, *pte);
429*74a4d8c2SCharles.Forsyth 					pgsz = BY2PG;
430*74a4d8c2SCharles.Forsyth 					pa += pgsz;
431*74a4d8c2SCharles.Forsyth 					va += pgsz;
432*74a4d8c2SCharles.Forsyth 					sync++;
433*74a4d8c2SCharles.Forsyth 
434*74a4d8c2SCharles.Forsyth 					continue;
435*74a4d8c2SCharles.Forsyth 				}
436*74a4d8c2SCharles.Forsyth 			}
437*74a4d8c2SCharles.Forsyth 		}
438*74a4d8c2SCharles.Forsyth 
439*74a4d8c2SCharles.Forsyth 		/*
440*74a4d8c2SCharles.Forsyth 		 * Not mapped. Check if it can be mapped using a big page -
441*74a4d8c2SCharles.Forsyth 		 * starts on a 4MB boundary, size >= 4MB and processor can do it.
442*74a4d8c2SCharles.Forsyth 		 * If not a big page, walk the walk, talk the talk.
443*74a4d8c2SCharles.Forsyth 		 * Sync is set.
444*74a4d8c2SCharles.Forsyth 		 */
445*74a4d8c2SCharles.Forsyth 		if(pse && (pa % (4*MB)) == 0 && (pae >= pa+4*MB)){
446*74a4d8c2SCharles.Forsyth 			*table = pa|PTESIZE|PTEWRITE|PTEUNCACHED|PTEVALID;
447*74a4d8c2SCharles.Forsyth 			pgsz = 4*MB;
448*74a4d8c2SCharles.Forsyth 		}
449*74a4d8c2SCharles.Forsyth 		else{
450*74a4d8c2SCharles.Forsyth 			pte = mmuwalk(pdb, va, 2, 1);
451*74a4d8c2SCharles.Forsyth 			*pte = pa|PTEWRITE|PTEUNCACHED|PTEVALID;
452*74a4d8c2SCharles.Forsyth 			pgsz = BY2PG;
453*74a4d8c2SCharles.Forsyth 		}
454*74a4d8c2SCharles.Forsyth 		pa += pgsz;
455*74a4d8c2SCharles.Forsyth 		va += pgsz;
456*74a4d8c2SCharles.Forsyth 		sync++;
457*74a4d8c2SCharles.Forsyth 	}
458*74a4d8c2SCharles.Forsyth 	unlock(&mmukmaplock);
459*74a4d8c2SCharles.Forsyth 
460*74a4d8c2SCharles.Forsyth 	/*
461*74a4d8c2SCharles.Forsyth 	 * If something was added
462*74a4d8c2SCharles.Forsyth 	 * then need to sync up.
463*74a4d8c2SCharles.Forsyth 	 */
464*74a4d8c2SCharles.Forsyth 	if(sync)
465*74a4d8c2SCharles.Forsyth 		putcr3(PADDR(pdb));
466*74a4d8c2SCharles.Forsyth 
467*74a4d8c2SCharles.Forsyth 	return pa;
468*74a4d8c2SCharles.Forsyth }
469*74a4d8c2SCharles.Forsyth 
470*74a4d8c2SCharles.Forsyth ulong
upamalloc(ulong addr,int size,int align)471*74a4d8c2SCharles.Forsyth upamalloc(ulong addr, int size, int align)
472*74a4d8c2SCharles.Forsyth {
473*74a4d8c2SCharles.Forsyth 	ulong ae, a;
474*74a4d8c2SCharles.Forsyth 
475*74a4d8c2SCharles.Forsyth 	USED(align);
476*74a4d8c2SCharles.Forsyth 
477*74a4d8c2SCharles.Forsyth 	if((a = mapalloc(&rmapupa, addr, size, align)) == 0){
478*74a4d8c2SCharles.Forsyth 		memdebug();
479*74a4d8c2SCharles.Forsyth 		return 0;
480*74a4d8c2SCharles.Forsyth 	}
481*74a4d8c2SCharles.Forsyth 
482*74a4d8c2SCharles.Forsyth 	/*
483*74a4d8c2SCharles.Forsyth 	 * This is a travesty, but they all are.
484*74a4d8c2SCharles.Forsyth 	 */
485*74a4d8c2SCharles.Forsyth 	ae = mmukmap(a, 0, size);
486*74a4d8c2SCharles.Forsyth 
487*74a4d8c2SCharles.Forsyth 	/*
488*74a4d8c2SCharles.Forsyth 	 * Should check here that it was all delivered
489*74a4d8c2SCharles.Forsyth 	 * and put it back and barf if not.
490*74a4d8c2SCharles.Forsyth 	 */
491*74a4d8c2SCharles.Forsyth 	USED(ae);
492*74a4d8c2SCharles.Forsyth 
493*74a4d8c2SCharles.Forsyth 	/*
494*74a4d8c2SCharles.Forsyth 	 * Be very careful this returns a PHYSICAL address.
495*74a4d8c2SCharles.Forsyth 	 */
496*74a4d8c2SCharles.Forsyth 	return a;
497*74a4d8c2SCharles.Forsyth }
498*74a4d8c2SCharles.Forsyth 
499*74a4d8c2SCharles.Forsyth void
upafree(ulong pa,int size)500*74a4d8c2SCharles.Forsyth upafree(ulong pa, int size)
501*74a4d8c2SCharles.Forsyth {
502*74a4d8c2SCharles.Forsyth 	USED(pa, size);
503*74a4d8c2SCharles.Forsyth }
504*74a4d8c2SCharles.Forsyth 
505