Subversion Repositories HelenOS-historic

Rev

Rev 904 | Rev 1708 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 904 Rev 1210
Line 29... Line 29...
29
 
29
 
30
#include <arch/mm/page.h>
30
#include <arch/mm/page.h>
31
#include <genarch/mm/page_ht.h>
31
#include <genarch/mm/page_ht.h>
32
#include <mm/asid.h>
32
#include <mm/asid.h>
33
#include <arch/mm/asid.h>
33
#include <arch/mm/asid.h>
-
 
34
#include <arch/mm/vhpt.h>
34
#include <arch/types.h>
35
#include <arch/types.h>
35
#include <typedefs.h>
36
#include <typedefs.h>
36
#include <print.h>
37
#include <print.h>
37
#include <mm/page.h>
38
#include <mm/page.h>
38
#include <mm/frame.h>
39
#include <mm/frame.h>
Line 56... Line 57...
56
void set_environment(void)
57
void set_environment(void)
57
{
58
{
58
    region_register rr;
59
    region_register rr;
59
    pta_register pta;  
60
    pta_register pta;  
60
    int i;
61
    int i;
-
 
62
#ifdef CONFIG_VHPT  
-
 
63
    __address vhpt_base;
-
 
64
#endif
61
 
65
 
62
    /*
66
    /*
63
     * First set up kernel region register.
67
     * First set up kernel region register.
64
     * This is redundant (see start.S) but we keep it here just for sure.
68
     * This is redundant (see start.S) but we keep it here just for sure.
65
     */
69
     */
Line 86... Line 90...
86
        rr_write(i, rr.word);
90
        rr_write(i, rr.word);
87
        srlz_i();
91
        srlz_i();
88
        srlz_d();
92
        srlz_d();
89
    }
93
    }
90
 
94
 
-
 
95
#ifdef CONFIG_VHPT  
-
 
96
    vhpt_base = vhpt_set_up();
-
 
97
#endif
91
    /*
98
    /*
92
     * Set up PTA register.
99
     * Set up PTA register.
93
     */
100
     */
94
    pta.word = pta_read();
101
    pta.word = pta_read();
-
 
102
#ifndef CONFIG_VHPT
95
    pta.map.ve = 0;                   /* disable VHPT walker */
103
    pta.map.ve = 0;                   /* disable VHPT walker */
-
 
104
    pta.map.base = 0 >> PTA_BASE_SHIFT;
-
 
105
#else
-
 
106
    pta.map.ve = 1;                   /* enable VHPT walker */
-
 
107
    pta.map.base = vhpt_base >> PTA_BASE_SHIFT;
-
 
108
#endif
96
    pta.map.vf = 1;                   /* large entry format */
109
    pta.map.vf = 1;                   /* large entry format */
97
    pta.map.size = VHPT_WIDTH;
110
    pta.map.size = VHPT_WIDTH;
98
    pta.map.base = VHPT_BASE >> PTA_BASE_SHIFT;
-
 
99
    pta_write(pta.word);
111
    pta_write(pta.word);
100
    srlz_i();
112
    srlz_i();
101
    srlz_d();
113
    srlz_d();
102
}
114
}
103
 
115