56,7 → 56,6 |
void set_environment(void) |
{ |
|
//#ifdef NEVERDEFINED |
region_register rr; |
pta_register pta; |
int i; |
63,11 → 62,13 |
|
/* |
* First set up kernel region register. |
* This action is redundand (see start.S) but I would to keep it to make sure that |
*no unexpected changes will be made. |
*/ |
rr.word = rr_read(VRN_KERNEL); |
rr.map.ve = 0; /* disable VHPT walker */ |
rr.map.ps = PAGE_WIDTH; |
rr.map.rid = ASID_KERNEL; |
rr.map.rid = ASID2RID(ASID_KERNEL,VRN_KERNEL); |
rr_write(VRN_KERNEL, rr.word); |
srlz_i(); |
srlz_d(); |
82,7 → 83,7 |
|
rr.word == rr_read(i); |
rr.map.ve = 0; /* disable VHPT walker */ |
rr.map.rid = ASID_INVALID; |
rr.map.rid = ASID2RID(ASID_INVALID,i); |
rr_write(i, rr.word); |
srlz_i(); |
srlz_d(); |
100,7 → 101,6 |
srlz_i(); |
srlz_d(); |
|
//#endif |
|
return ; |
|