Subversion Repositories HelenOS

Rev

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

Rev 2465 Rev 2467
Line 63... Line 63...
63 
 * - PTL1 is not used
 63 
 * - PTL1 is not used
64 
 * - PTL2 is not used
 64 
 * - PTL2 is not used
65 
 * - PLT3 has 1024 entries (10 bits)
 65 
 * - PLT3 has 1024 entries (10 bits)
66 
 */
 66 
 */
67 
 
 67 
 
- 
 
 68 
/* Number of entries in each level. */
68 
#define PTL0_ENTRIES_ARCH   1024
 69 
#define PTL0_ENTRIES_ARCH   1024
69 
#define PTL1_ENTRIES_ARCH   0
 70 
#define PTL1_ENTRIES_ARCH   0
70 
#define PTL2_ENTRIES_ARCH   0
 71 
#define PTL2_ENTRIES_ARCH   0
71 
#define PTL3_ENTRIES_ARCH   1024
 72 
#define PTL3_ENTRIES_ARCH   1024
72 
 
 73 
 
- 
 
 74 
/* Sizes of page tables in each level. */
73 
#define PTL0_SIZE_ARCH      ONE_FRAME
 75 
#define PTL0_SIZE_ARCH      ONE_FRAME
74 
#define PTL1_SIZE_ARCH      0
 76 
#define PTL1_SIZE_ARCH      0
75 
#define PTL2_SIZE_ARCH      0
 77 
#define PTL2_SIZE_ARCH      0
76 
#define PTL3_SIZE_ARCH      ONE_FRAME
 78 
#define PTL3_SIZE_ARCH      ONE_FRAME
77 
 
 79 
 
- 
 
 80 
/* Macros calculating indices into page tables in each level. */
78 
#define PTL0_INDEX_ARCH(vaddr)  (((vaddr) >> 22) & 0x3ff)
 81 
#define PTL0_INDEX_ARCH(vaddr)  (((vaddr) >> 22) & 0x3ff)
79 
#define PTL1_INDEX_ARCH(vaddr)  0
 82 
#define PTL1_INDEX_ARCH(vaddr)  0
80 
#define PTL2_INDEX_ARCH(vaddr)  0
 83 
#define PTL2_INDEX_ARCH(vaddr)  0
81 
#define PTL3_INDEX_ARCH(vaddr)  (((vaddr) >> 12) & 0x3ff)
 84 
#define PTL3_INDEX_ARCH(vaddr)  (((vaddr) >> 12) & 0x3ff)
82 
 
 85 
 
- 
 
 86 
/* Get PTE address accessors for each level. */
83 
#define GET_PTL1_ADDRESS_ARCH(ptl0, i)      (((pte_t *) (ptl0))[(i)].pfn << 12)
 87 
#define GET_PTL1_ADDRESS_ARCH(ptl0, i) \
- 
 
 88 
    (((pte_t *) (ptl0))[(i)].pfn << 12)
84 
#define GET_PTL2_ADDRESS_ARCH(ptl1, i)      (ptl1)
 89 
#define GET_PTL2_ADDRESS_ARCH(ptl1, i) \
- 
 
 90 
    (ptl1)
85 
#define GET_PTL3_ADDRESS_ARCH(ptl2, i)      (ptl2)
 91 
#define GET_PTL3_ADDRESS_ARCH(ptl2, i) \
- 
 
 92 
    (ptl2)
86 
#define GET_FRAME_ADDRESS_ARCH(ptl3, i)     (((pte_t *) (ptl3))[(i)].pfn << 12)
 93 
#define GET_FRAME_ADDRESS_ARCH(ptl3, i) \
- 
 
 94 
    (((pte_t *) (ptl3))[(i)].pfn << 12)
87 
 
 95 
 
- 
 
 96 
/* Set PTE address accessors for each level. */
88 
#define SET_PTL0_ADDRESS_ARCH(ptl0)
 97 
#define SET_PTL0_ADDRESS_ARCH(ptl0)
89 
#define SET_PTL1_ADDRESS_ARCH(ptl0, i, a)   (((pte_t *) (ptl0))[(i)].pfn = (a) >> 12)
 98 
#define SET_PTL1_ADDRESS_ARCH(ptl0, i, a) \
- 
 
 99 
    (((pte_t *) (ptl0))[(i)].pfn = (a) >> 12)
90 
#define SET_PTL2_ADDRESS_ARCH(ptl1, i, a)
 100 
#define SET_PTL2_ADDRESS_ARCH(ptl1, i, a)
91 
#define SET_PTL3_ADDRESS_ARCH(ptl2, i, a)
 101 
#define SET_PTL3_ADDRESS_ARCH(ptl2, i, a)
92 
#define SET_FRAME_ADDRESS_ARCH(ptl3, i, a)  (((pte_t *) (ptl3))[(i)].pfn = (a) >> 12)
 102 
#define SET_FRAME_ADDRESS_ARCH(ptl3, i, a) \
- 
 
 103 
    (((pte_t *) (ptl3))[(i)].pfn = (a) >> 12)
93 
 
 104 
 
- 
 
 105 
/* Get PTE flags accessors for each level. */
- 
 
 106 
#define GET_PTL1_FLAGS_ARCH(ptl0, i) \
94 
#define GET_PTL1_FLAGS_ARCH(ptl0, i)        get_pt_flags((pte_t *) (ptl0), (index_t) (i))
 107 
    get_pt_flags((pte_t *) (ptl0), (index_t) (i))
95 
#define GET_PTL2_FLAGS_ARCH(ptl1, i)        PAGE_PRESENT
 108 
#define GET_PTL2_FLAGS_ARCH(ptl1, i) \
- 
 
 109 
    PAGE_PRESENT
96 
#define GET_PTL3_FLAGS_ARCH(ptl2, i)        PAGE_PRESENT
 110 
#define GET_PTL3_FLAGS_ARCH(ptl2, i) \
- 
 
 111 
    PAGE_PRESENT
- 
 
 112 
#define GET_FRAME_FLAGS_ARCH(ptl3, i) \
97 
#define GET_FRAME_FLAGS_ARCH(ptl3, i)       get_pt_flags((pte_t *) (ptl3), (index_t) (i))
 113 
    get_pt_flags((pte_t *) (ptl3), (index_t) (i))
98 
 
 114 
 
- 
 
 115 
/* Set PTE flags accessors for each level. */
- 
 
 116 
#define SET_PTL1_FLAGS_ARCH(ptl0, i, x) \
99 
#define SET_PTL1_FLAGS_ARCH(ptl0, i, x)     set_pt_flags((pte_t *) (ptl0), (index_t) (i), (x))
 117 
    set_pt_flags((pte_t *) (ptl0), (index_t) (i), (x))
100 
#define SET_PTL2_FLAGS_ARCH(ptl1, i, x)
 118 
#define SET_PTL2_FLAGS_ARCH(ptl1, i, x)
101 
#define SET_PTL3_FLAGS_ARCH(ptl2, i, x)
 119 
#define SET_PTL3_FLAGS_ARCH(ptl2, i, x)
- 
 
 120 
#define SET_FRAME_FLAGS_ARCH(ptl3, i, x) \
102 
#define SET_FRAME_FLAGS_ARCH(ptl3, i, x)    set_pt_flags((pte_t *) (ptl3), (index_t) (i), (x))
 121 
    set_pt_flags((pte_t *) (ptl3), (index_t) (i), (x))
103 
 
 122 
 
- 
 
 123 
/* Macros for querying the last-level PTEs. */
104 
#define PTE_VALID_ARCH(pte)         (*((uint32_t *) (pte)) != 0)
 124 
#define PTE_VALID_ARCH(pte)         (*((uint32_t *) (pte)) != 0)
105 
#define PTE_PRESENT_ARCH(pte)           ((pte)->p != 0)
 125 
#define PTE_PRESENT_ARCH(pte)           ((pte)->p != 0)
106 
#define PTE_GET_FRAME_ARCH(pte)         ((uintptr_t) ((pte)->pfn << 12))
 126 
#define PTE_GET_FRAME_ARCH(pte)         ((uintptr_t) ((pte)->pfn << 12))
107 
#define PTE_WRITABLE_ARCH(pte)          1
 127 
#define PTE_WRITABLE_ARCH(pte)          1
108 
#define PTE_EXECUTABLE_ARCH(pte)        1
 128 
#define PTE_EXECUTABLE_ARCH(pte)        1
Line 114... Line 134...
114 
 
 134 
 
115 
static inline int get_pt_flags(pte_t *pt, index_t i)
 135 
static inline int get_pt_flags(pte_t *pt, index_t i)
116 
{
 136 
{
117 
    pte_t *p = &pt[i];
 137 
    pte_t *p = &pt[i];
118 
   
 138 
   
119 
    return (
 - 
 
120 
        (1 << PAGE_CACHEABLE_SHIFT) |
 139 
    return ((1 << PAGE_CACHEABLE_SHIFT) |
121 
        ((!p->p) << PAGE_PRESENT_SHIFT) |
 140 
        ((!p->p) << PAGE_PRESENT_SHIFT) |
122 
        (1 << PAGE_USER_SHIFT) |
 141 
        (1 << PAGE_USER_SHIFT) |
123 
        (1 << PAGE_READ_SHIFT) |
 142 
        (1 << PAGE_READ_SHIFT) |
124 
        (1 << PAGE_WRITE_SHIFT) |
 143 
        (1 << PAGE_WRITE_SHIFT) |
125 
        (1 << PAGE_EXEC_SHIFT) |
 144 
        (1 << PAGE_EXEC_SHIFT) |
126 
        (p->g << PAGE_GLOBAL_SHIFT)
 145 
        (p->g << PAGE_GLOBAL_SHIFT));
127 
    );
 - 
 
128 
}
 146 
}
129 
 
 147 
 
130 
static inline void set_pt_flags(pte_t *pt, index_t i, int flags)
 148 
static inline void set_pt_flags(pte_t *pt, index_t i, int flags)
131 
{
 149 
{
132 
    pte_t *p = &pt[i];
 150 
    pte_t *p = &pt[i];