[f761f1eb] | 1 | /*
|
---|
[df4ed85] | 2 | * Copyright (c) 2003-2004 Jakub Jermar
|
---|
[f761f1eb] | 3 | * All rights reserved.
|
---|
| 4 | *
|
---|
| 5 | * Redistribution and use in source and binary forms, with or without
|
---|
| 6 | * modification, are permitted provided that the following conditions
|
---|
| 7 | * are met:
|
---|
| 8 | *
|
---|
| 9 | * - Redistributions of source code must retain the above copyright
|
---|
| 10 | * notice, this list of conditions and the following disclaimer.
|
---|
| 11 | * - Redistributions in binary form must reproduce the above copyright
|
---|
| 12 | * notice, this list of conditions and the following disclaimer in the
|
---|
| 13 | * documentation and/or other materials provided with the distribution.
|
---|
| 14 | * - The name of the author may not be used to endorse or promote products
|
---|
| 15 | * derived from this software without specific prior written permission.
|
---|
| 16 | *
|
---|
| 17 | * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
|
---|
| 18 | * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
|
---|
| 19 | * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
|
---|
| 20 | * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
|
---|
| 21 | * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
|
---|
| 22 | * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
|
---|
| 23 | * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
|
---|
| 24 | * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
|
---|
| 25 | * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
|
---|
| 26 | * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
|
---|
| 27 | */
|
---|
| 28 |
|
---|
[e2a0d76] | 29 | /** @addtogroup mips32mm
|
---|
[b45c443] | 30 | * @{
|
---|
| 31 | */
|
---|
| 32 | /** @file
|
---|
| 33 | */
|
---|
| 34 |
|
---|
[06e1e95] | 35 | #ifndef KERN_mips32_PAGE_H_
|
---|
| 36 | #define KERN_mips32_PAGE_H_
|
---|
[f761f1eb] | 37 |
|
---|
[d1f8a87] | 38 | #include <arch/mm/frame.h>
|
---|
[7a0359b] | 39 | #include <trace.h>
|
---|
[d1f8a87] | 40 |
|
---|
[086d4fd] | 41 | #define PAGE_WIDTH FRAME_WIDTH
|
---|
[f761f1eb] | 42 | #define PAGE_SIZE FRAME_SIZE
|
---|
| 43 |
|
---|
[53ad43c] | 44 | #ifndef __ASSEMBLER__
|
---|
[b3f8fb7] | 45 | # define KA2PA(x) (((uintptr_t) (x)) - 0x80000000)
|
---|
| 46 | # define PA2KA(x) (((uintptr_t) (x)) + 0x80000000)
|
---|
[e84439a] | 47 | #else
|
---|
[b3f8fb7] | 48 | # define KA2PA(x) ((x) - 0x80000000)
|
---|
| 49 | # define PA2KA(x) ((x) + 0x80000000)
|
---|
[e84439a] | 50 | #endif
|
---|
[f761f1eb] | 51 |
|
---|
[ff9f858] | 52 | /*
|
---|
| 53 | * Implementation of generic 4-level page table interface.
|
---|
[1b20da0] | 54 | *
|
---|
[a1a03f9] | 55 | * Page table layout:
|
---|
| 56 | * - 32-bit virtual addresses
|
---|
| 57 | * - Offset is 14 bits => pages are 16K long
|
---|
[c03ee1c] | 58 | * - PTE's use similar format as CP0 EntryLo[01] registers => PTE is therefore
|
---|
| 59 | * 4 bytes long
|
---|
[0882a9a] | 60 | * - PTE's replace EntryLo v (valid) bit with p (present) bit
|
---|
[c03ee1c] | 61 | * - PTE's use only one bit to distinguish between cacheable and uncacheable
|
---|
| 62 | * mappings
|
---|
| 63 | * - PTE's define soft_valid field to ensure there is at least one 1 bit even if
|
---|
| 64 | * the p bit is cleared
|
---|
| 65 | * - PTE's make use of CP0 EntryLo's two-bit reserved field for bit W (writable)
|
---|
| 66 | * and bit A (accessed)
|
---|
[a1a03f9] | 67 | * - PTL0 has 64 entries (6 bits)
|
---|
| 68 | * - PTL1 is not used
|
---|
| 69 | * - PTL2 is not used
|
---|
| 70 | * - PTL3 has 4096 entries (12 bits)
|
---|
[ff9f858] | 71 | */
|
---|
[e2a0d76] | 72 |
|
---|
[c03ee1c] | 73 | /* Macros describing number of entries in each level. */
|
---|
[e2a0d76] | 74 | #define PTL0_ENTRIES_ARCH 64
|
---|
| 75 | #define PTL1_ENTRIES_ARCH 0
|
---|
| 76 | #define PTL2_ENTRIES_ARCH 0
|
---|
| 77 | #define PTL3_ENTRIES_ARCH 4096
|
---|
[ecbdc724] | 78 |
|
---|
[c03ee1c] | 79 | /* Macros describing size of page tables in each level. */
|
---|
[b0c2075] | 80 | #define PTL0_FRAMES_ARCH 1
|
---|
| 81 | #define PTL1_FRAMES_ARCH 1
|
---|
| 82 | #define PTL2_FRAMES_ARCH 1
|
---|
| 83 | #define PTL3_FRAMES_ARCH 1
|
---|
[6b781c0] | 84 |
|
---|
[c03ee1c] | 85 | /* Macros calculating entry indices for each level. */
|
---|
[e2a0d76] | 86 | #define PTL0_INDEX_ARCH(vaddr) ((vaddr) >> 26)
|
---|
| 87 | #define PTL1_INDEX_ARCH(vaddr) 0
|
---|
| 88 | #define PTL2_INDEX_ARCH(vaddr) 0
|
---|
| 89 | #define PTL3_INDEX_ARCH(vaddr) (((vaddr) >> 14) & 0xfff)
|
---|
[a1a03f9] | 90 |
|
---|
[c03ee1c] | 91 | /* Set accessor for PTL0 address. */
|
---|
[9ea8a7ca] | 92 | #define SET_PTL0_ADDRESS_ARCH(ptl0)
|
---|
[ff9f858] | 93 |
|
---|
[e2a0d76] | 94 | /* Get PTE address accessors for each level. */
|
---|
[c03ee1c] | 95 | #define GET_PTL1_ADDRESS_ARCH(ptl0, i) \
|
---|
| 96 | (((pte_t *) (ptl0))[(i)].pfn << 12)
|
---|
| 97 | #define GET_PTL2_ADDRESS_ARCH(ptl1, i) \
|
---|
| 98 | (ptl1)
|
---|
| 99 | #define GET_PTL3_ADDRESS_ARCH(ptl2, i) \
|
---|
| 100 | (ptl2)
|
---|
| 101 | #define GET_FRAME_ADDRESS_ARCH(ptl3, i) \
|
---|
| 102 | (((pte_t *) (ptl3))[(i)].pfn << 12)
|
---|
| 103 |
|
---|
| 104 | /* Set PTE address accessors for each level. */
|
---|
| 105 | #define SET_PTL1_ADDRESS_ARCH(ptl0, i, a) \
|
---|
| 106 | (((pte_t *) (ptl0))[(i)].pfn = (a) >> 12)
|
---|
[ff9f858] | 107 | #define SET_PTL2_ADDRESS_ARCH(ptl1, i, a)
|
---|
| 108 | #define SET_PTL3_ADDRESS_ARCH(ptl2, i, a)
|
---|
[c03ee1c] | 109 | #define SET_FRAME_ADDRESS_ARCH(ptl3, i, a) \
|
---|
| 110 | (((pte_t *) (ptl3))[(i)].pfn = (a) >> 12)
|
---|
| 111 |
|
---|
| 112 | /* Get PTE flags accessors for each level. */
|
---|
| 113 | #define GET_PTL1_FLAGS_ARCH(ptl0, i) \
|
---|
[98000fb] | 114 | get_pt_flags((pte_t *) (ptl0), (size_t) (i))
|
---|
[c03ee1c] | 115 | #define GET_PTL2_FLAGS_ARCH(ptl1, i) \
|
---|
[4b1c7c6f] | 116 | 0
|
---|
[c03ee1c] | 117 | #define GET_PTL3_FLAGS_ARCH(ptl2, i) \
|
---|
[4b1c7c6f] | 118 | 0
|
---|
[c03ee1c] | 119 | #define GET_FRAME_FLAGS_ARCH(ptl3, i) \
|
---|
[98000fb] | 120 | get_pt_flags((pte_t *) (ptl3), (size_t) (i))
|
---|
[c03ee1c] | 121 |
|
---|
| 122 | /* Set PTE flags accessors for each level. */
|
---|
| 123 | #define SET_PTL1_FLAGS_ARCH(ptl0, i, x) \
|
---|
[98000fb] | 124 | set_pt_flags((pte_t *) (ptl0), (size_t) (i), (x))
|
---|
[ff9f858] | 125 | #define SET_PTL2_FLAGS_ARCH(ptl1, i, x)
|
---|
| 126 | #define SET_PTL3_FLAGS_ARCH(ptl2, i, x)
|
---|
[c03ee1c] | 127 | #define SET_FRAME_FLAGS_ARCH(ptl3, i, x) \
|
---|
[98000fb] | 128 | set_pt_flags((pte_t *) (ptl3), (size_t) (i), (x))
|
---|
[a1a03f9] | 129 |
|
---|
[0d8269b] | 130 | /* Set PTE present bit accessors for each level. */
|
---|
| 131 | #define SET_PTL1_PRESENT_ARCH(ptl0, i) \
|
---|
| 132 | set_pt_present((pte_t *) (ptl0), (size_t) (i))
|
---|
| 133 | #define SET_PTL2_PRESENT_ARCH(ptl1, i)
|
---|
| 134 | #define SET_PTL3_PRESENT_ARCH(ptl2, i)
|
---|
| 135 | #define SET_FRAME_PRESENT_ARCH(ptl3, i) \
|
---|
| 136 | set_pt_present((pte_t *) (ptl3), (size_t) (i))
|
---|
| 137 |
|
---|
[c03ee1c] | 138 | /* Last-level info macros. */
|
---|
[dc05a9a] | 139 | #define PTE_VALID_ARCH(pte) ((pte)->soft_valid != 0)
|
---|
| 140 | #define PTE_PRESENT_ARCH(pte) ((pte)->p != 0)
|
---|
| 141 | #define PTE_GET_FRAME_ARCH(pte) ((pte)->pfn << 12)
|
---|
| 142 | #define PTE_WRITABLE_ARCH(pte) ((pte)->w != 0)
|
---|
| 143 | #define PTE_EXECUTABLE_ARCH(pte) 1
|
---|
[ecbdc724] | 144 |
|
---|
[53ad43c] | 145 | #ifndef __ASSEMBLER__
|
---|
[e84439a] | 146 |
|
---|
[b3f8fb7] | 147 | #include <mm/mm.h>
|
---|
| 148 | #include <arch/exception.h>
|
---|
[e84439a] | 149 |
|
---|
[cc0eb1d] | 150 | /** Page Table Entry. */
|
---|
| 151 | typedef struct {
|
---|
| 152 | unsigned g : 1; /**< Global bit. */
|
---|
| 153 | unsigned p : 1; /**< Present bit. */
|
---|
| 154 | unsigned d : 1; /**< Dirty bit. */
|
---|
| 155 | unsigned cacheable : 1; /**< Cacheable bit. */
|
---|
| 156 | unsigned : 1; /**< Unused. */
|
---|
| 157 | unsigned soft_valid : 1; /**< Valid content even if not present. */
|
---|
| 158 | unsigned pfn : 24; /**< Physical frame number. */
|
---|
| 159 | unsigned w : 1; /**< Page writable bit. */
|
---|
| 160 | unsigned a : 1; /**< Accessed bit. */
|
---|
| 161 | } pte_t;
|
---|
| 162 |
|
---|
| 163 |
|
---|
[7a0359b] | 164 | NO_TRACE static inline unsigned int get_pt_flags(pte_t *pt, size_t i)
|
---|
[a1a03f9] | 165 | {
|
---|
| 166 | pte_t *p = &pt[i];
|
---|
[a35b458] | 167 |
|
---|
[c03ee1c] | 168 | return ((p->cacheable << PAGE_CACHEABLE_SHIFT) |
|
---|
[4b1c7c6f] | 169 | ((!p->p) << PAGE_NOT_PRESENT_SHIFT) |
|
---|
[c03ee1c] | 170 | (1 << PAGE_USER_SHIFT) |
|
---|
| 171 | ((p->w) << PAGE_WRITE_SHIFT) |
|
---|
| 172 | (1 << PAGE_EXEC_SHIFT) |
|
---|
| 173 | (p->g << PAGE_GLOBAL_SHIFT));
|
---|
[a1a03f9] | 174 | }
|
---|
| 175 |
|
---|
[7a0359b] | 176 | NO_TRACE static inline void set_pt_flags(pte_t *pt, size_t i, int flags)
|
---|
[a1a03f9] | 177 | {
|
---|
| 178 | pte_t *p = &pt[i];
|
---|
[a35b458] | 179 |
|
---|
[0882a9a] | 180 | p->cacheable = (flags & PAGE_CACHEABLE) != 0;
|
---|
| 181 | p->p = !(flags & PAGE_NOT_PRESENT);
|
---|
| 182 | p->g = (flags & PAGE_GLOBAL) != 0;
|
---|
[38a1a84] | 183 | p->w = (flags & PAGE_WRITE) != 0;
|
---|
[a35b458] | 184 |
|
---|
[0882a9a] | 185 | /*
|
---|
| 186 | * Ensure that valid entries have at least one bit set.
|
---|
| 187 | */
|
---|
| 188 | p->soft_valid = 1;
|
---|
[a1a03f9] | 189 | }
|
---|
| 190 |
|
---|
[0d8269b] | 191 | NO_TRACE static inline void set_pt_present(pte_t *pt, size_t i)
|
---|
| 192 | {
|
---|
| 193 | pte_t *p = &pt[i];
|
---|
| 194 |
|
---|
| 195 | p->p = 1;
|
---|
| 196 | }
|
---|
| 197 |
|
---|
[a1a03f9] | 198 | extern void page_arch_init(void);
|
---|
[ff9f858] | 199 |
|
---|
[53ad43c] | 200 | #endif /* __ASSEMBLER__ */
|
---|
[e84439a] | 201 |
|
---|
[f761f1eb] | 202 | #endif
|
---|
[b45c443] | 203 |
|
---|
[a6dd361] | 204 | /** @}
|
---|
[b45c443] | 205 | */
|
---|