[f761f1eb] | 1 | /*
|
---|
[df4ed85] | 2 | * Copyright (c) 2001-2006 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 |
|
---|
[cc73a8a1] | 29 | /** @addtogroup genericmm
|
---|
[b45c443] | 30 | * @{
|
---|
| 31 | */
|
---|
| 32 |
|
---|
[9179d0a] | 33 | /**
|
---|
[b45c443] | 34 | * @file
|
---|
[da1bafb] | 35 | * @brief Virtual Address Translation subsystem.
|
---|
[9179d0a] | 36 | *
|
---|
| 37 | * This file contains code for creating, destroying and searching
|
---|
| 38 | * mappings between virtual addresses and physical addresses.
|
---|
| 39 | * Functions here are mere wrappers that call the real implementation.
|
---|
[e3ee9b9] | 40 | * They however, define the single interface.
|
---|
[da1bafb] | 41 | *
|
---|
[20d50a1] | 42 | */
|
---|
| 43 |
|
---|
[80dabb8d] | 44 | /*
|
---|
| 45 | * Note on memory prefetching and updating memory mappings, also described in:
|
---|
| 46 | * AMD x86-64 Architecture Programmer's Manual, Volume 2, System Programming,
|
---|
| 47 | * 7.2.1 Special Coherency Considerations.
|
---|
| 48 | *
|
---|
| 49 | * The processor which modifies a page table mapping can access prefetched data
|
---|
| 50 | * from the old mapping. In order to prevent this, we place a memory barrier
|
---|
| 51 | * after a mapping is updated.
|
---|
| 52 | *
|
---|
| 53 | * We assume that the other processors are either not using the mapping yet
|
---|
| 54 | * (i.e. during the bootstrap) or are executing the TLB shootdown code. While
|
---|
[6645a14] | 55 | * we don't care much about the former case, the processors in the latter case
|
---|
[80dabb8d] | 56 | * will do an implicit serialization by virtue of running the TLB shootdown
|
---|
| 57 | * interrupt handler.
|
---|
[da1bafb] | 58 | *
|
---|
[80dabb8d] | 59 | */
|
---|
| 60 |
|
---|
[f761f1eb] | 61 | #include <mm/page.h>
|
---|
[b93d637] | 62 | #include <genarch/mm/page_ht.h>
|
---|
| 63 | #include <genarch/mm/page_pt.h>
|
---|
[f761f1eb] | 64 | #include <arch/mm/page.h>
|
---|
[677a6d5] | 65 | #include <arch/mm/asid.h>
|
---|
[fc1e4f6] | 66 | #include <mm/as.h>
|
---|
[404be7c] | 67 | #include <mm/km.h>
|
---|
[677a6d5] | 68 | #include <mm/frame.h>
|
---|
[11e9061d] | 69 | #include <arch/barrier.h>
|
---|
[d99c1d2] | 70 | #include <typedefs.h>
|
---|
[ff9f858] | 71 | #include <arch/asm.h>
|
---|
[9c0a9b3] | 72 | #include <memstr.h>
|
---|
[6d7ffa65] | 73 | #include <debug.h>
|
---|
[677a6d5] | 74 | #include <arch.h>
|
---|
[b93d637] | 75 | #include <syscall/copy.h>
|
---|
| 76 | #include <errno.h>
|
---|
[1c01e6c] | 77 | #include <align.h>
|
---|
[efb48eb] | 78 | #include <macros.h>
|
---|
| 79 | #include <bitops.h>
|
---|
[6d7ffa65] | 80 |
|
---|
| 81 | /** Virtual operations for page subsystem. */
|
---|
[f5935ed] | 82 | page_mapping_operations_t *page_mapping_operations = NULL;
|
---|
[9c0a9b3] | 83 |
|
---|
[f761f1eb] | 84 | void page_init(void)
|
---|
[db3341e] | 85 | {
|
---|
[f761f1eb] | 86 | page_arch_init();
|
---|
| 87 | }
|
---|
[74df77d] | 88 |
|
---|
| 89 | /** Map memory structure
|
---|
| 90 | *
|
---|
| 91 | * Identity-map memory structure
|
---|
| 92 | * considering possible crossings
|
---|
| 93 | * of page boundaries.
|
---|
| 94 | *
|
---|
[da1bafb] | 95 | * @param addr Address of the structure.
|
---|
| 96 | * @param size Size of the structure.
|
---|
| 97 | *
|
---|
[74df77d] | 98 | */
|
---|
[da1bafb] | 99 | void map_structure(uintptr_t addr, size_t size)
|
---|
[74df77d] | 100 | {
|
---|
[da1bafb] | 101 | size_t length = size + (addr - (addr & ~(PAGE_SIZE - 1)));
|
---|
| 102 | size_t cnt = length / PAGE_SIZE + (length % PAGE_SIZE > 0);
|
---|
| 103 |
|
---|
| 104 | size_t i;
|
---|
[76cec1e] | 105 | for (i = 0; i < cnt; i++)
|
---|
[da1bafb] | 106 | page_mapping_insert(AS_KERNEL, addr + i * PAGE_SIZE,
|
---|
| 107 | addr + i * PAGE_SIZE, PAGE_NOT_CACHEABLE | PAGE_WRITE);
|
---|
| 108 |
|
---|
[11e9061d] | 109 | /* Repel prefetched accesses to the old mapping. */
|
---|
| 110 | memory_barrier();
|
---|
[74df77d] | 111 | }
|
---|
[ff9f858] | 112 |
|
---|
[8f00329] | 113 | /** Insert mapping of page to frame.
|
---|
[ff9f858] | 114 | *
|
---|
[9179d0a] | 115 | * Map virtual address page to physical address frame
|
---|
| 116 | * using flags. Allocate and setup any missing page tables.
|
---|
[ff9f858] | 117 | *
|
---|
[0ff03f3] | 118 | * @param as Address space to which page belongs.
|
---|
[da1bafb] | 119 | * @param page Virtual address of the page to be mapped.
|
---|
| 120 | * @param frame Physical address of memory frame to which the mapping is
|
---|
| 121 | * done.
|
---|
| 122 | * @param flags Flags to be used for mapping.
|
---|
| 123 | *
|
---|
[ff9f858] | 124 | */
|
---|
[97bdb4a] | 125 | NO_TRACE void page_mapping_insert(as_t *as, uintptr_t page, uintptr_t frame,
|
---|
[da1bafb] | 126 | unsigned int flags)
|
---|
[ff9f858] | 127 | {
|
---|
[1d432f9] | 128 | ASSERT(page_table_locked(as));
|
---|
| 129 |
|
---|
[f5935ed] | 130 | ASSERT(page_mapping_operations);
|
---|
| 131 | ASSERT(page_mapping_operations->mapping_insert);
|
---|
[1d432f9] | 132 |
|
---|
[f5935ed] | 133 | page_mapping_operations->mapping_insert(as, page, frame, flags);
|
---|
[11e9061d] | 134 |
|
---|
| 135 | /* Repel prefetched accesses to the old mapping. */
|
---|
| 136 | memory_barrier();
|
---|
[ff9f858] | 137 | }
|
---|
[1084a784] | 138 |
|
---|
[8f00329] | 139 | /** Remove mapping of page.
|
---|
| 140 | *
|
---|
[9179d0a] | 141 | * Remove any mapping of page within address space as.
|
---|
[8f00329] | 142 | * TLB shootdown should follow in order to make effects of
|
---|
| 143 | * this call visible.
|
---|
| 144 | *
|
---|
[0ff03f3] | 145 | * @param as Address space to which page belongs.
|
---|
[da1bafb] | 146 | * @param page Virtual address of the page to be demapped.
|
---|
| 147 | *
|
---|
[8f00329] | 148 | */
|
---|
[97bdb4a] | 149 | NO_TRACE void page_mapping_remove(as_t *as, uintptr_t page)
|
---|
[8f00329] | 150 | {
|
---|
[1d432f9] | 151 | ASSERT(page_table_locked(as));
|
---|
| 152 |
|
---|
[8f00329] | 153 | ASSERT(page_mapping_operations);
|
---|
| 154 | ASSERT(page_mapping_operations->mapping_remove);
|
---|
| 155 |
|
---|
| 156 | page_mapping_operations->mapping_remove(as, page);
|
---|
[da1bafb] | 157 |
|
---|
[11e9061d] | 158 | /* Repel prefetched accesses to the old mapping. */
|
---|
| 159 | memory_barrier();
|
---|
[8f00329] | 160 | }
|
---|
| 161 |
|
---|
[0ff03f3] | 162 | /** Find mapping for virtual page.
|
---|
[1084a784] | 163 | *
|
---|
[0ff03f3] | 164 | * @param as Address space to which page belongs.
|
---|
| 165 | * @param page Virtual page.
|
---|
| 166 | * @param nolock True if the page tables need not be locked.
|
---|
[da1bafb] | 167 | *
|
---|
| 168 | * @return NULL if there is no such mapping; requested mapping
|
---|
| 169 | * otherwise.
|
---|
[1084a784] | 170 | *
|
---|
| 171 | */
|
---|
[0ff03f3] | 172 | NO_TRACE pte_t *page_mapping_find(as_t *as, uintptr_t page, bool nolock)
|
---|
[1084a784] | 173 | {
|
---|
[0ff03f3] | 174 | ASSERT(nolock || page_table_locked(as));
|
---|
[1d432f9] | 175 |
|
---|
[f5935ed] | 176 | ASSERT(page_mapping_operations);
|
---|
| 177 | ASSERT(page_mapping_operations->mapping_find);
|
---|
[da1bafb] | 178 |
|
---|
[235e6c7] | 179 | return page_mapping_operations->mapping_find(as, page, nolock);
|
---|
[1084a784] | 180 | }
|
---|
[b45c443] | 181 |
|
---|
[c868e2d] | 182 | /** Make the mapping shared by all page tables (not address spaces).
|
---|
| 183 | *
|
---|
| 184 | * @param base Starting virtual address of the range that is made global.
|
---|
| 185 | * @param size Size of the address range that is made global.
|
---|
| 186 | */
|
---|
| 187 | void page_mapping_make_global(uintptr_t base, size_t size)
|
---|
| 188 | {
|
---|
| 189 | ASSERT(page_mapping_operations);
|
---|
| 190 | ASSERT(page_mapping_operations->mapping_make_global);
|
---|
| 191 |
|
---|
| 192 | return page_mapping_operations->mapping_make_global(base, size);
|
---|
| 193 | }
|
---|
| 194 |
|
---|
[1c01e6c] | 195 | uintptr_t hw_map(uintptr_t physaddr, size_t size)
|
---|
| 196 | {
|
---|
[404be7c] | 197 | uintptr_t virtaddr;
|
---|
| 198 | size_t asize;
|
---|
[efb48eb] | 199 | size_t align;
|
---|
[1c01e6c] | 200 | pfn_t i;
|
---|
| 201 |
|
---|
[404be7c] | 202 | asize = ALIGN_UP(size, PAGE_SIZE);
|
---|
[efb48eb] | 203 | align = ispwr2(size) ? size : (1U << (fnzb(size) + 1));
|
---|
[2107e79] | 204 | virtaddr = km_page_alloc(asize, max(PAGE_SIZE, align));
|
---|
[404be7c] | 205 |
|
---|
[1c01e6c] | 206 | page_table_lock(AS_KERNEL, true);
|
---|
[404be7c] | 207 | for (i = 0; i < ADDR2PFN(asize); i++) {
|
---|
[1c01e6c] | 208 | uintptr_t addr = PFN2ADDR(i);
|
---|
| 209 | page_mapping_insert(AS_KERNEL, virtaddr + addr, physaddr + addr,
|
---|
| 210 | PAGE_NOT_CACHEABLE | PAGE_WRITE);
|
---|
| 211 | }
|
---|
| 212 | page_table_unlock(AS_KERNEL, true);
|
---|
| 213 |
|
---|
| 214 | return virtaddr;
|
---|
| 215 | }
|
---|
| 216 |
|
---|
[6645a14] | 217 | int page_find_mapping(uintptr_t virt, void **phys)
|
---|
[b93d637] | 218 | {
|
---|
| 219 | mutex_lock(&AS->lock);
|
---|
| 220 |
|
---|
[6645a14] | 221 | pte_t *pte = page_mapping_find(AS, virt, false);
|
---|
| 222 | if ((!PTE_VALID(pte)) || (!PTE_PRESENT(pte))) {
|
---|
[b93d637] | 223 | mutex_unlock(&AS->lock);
|
---|
[6645a14] | 224 | return ENOENT;
|
---|
[b93d637] | 225 | }
|
---|
| 226 |
|
---|
[6645a14] | 227 | *phys = (void *) PTE_GET_FRAME(pte) +
|
---|
| 228 | (virt - ALIGN_DOWN(virt, PAGE_SIZE));
|
---|
[b93d637] | 229 |
|
---|
| 230 | mutex_unlock(&AS->lock);
|
---|
| 231 |
|
---|
| 232 | return EOK;
|
---|
| 233 | }
|
---|
| 234 |
|
---|
[6645a14] | 235 | /** Syscall wrapper for getting mapping of a virtual page.
|
---|
| 236 | *
|
---|
| 237 | * @return EOK on success.
|
---|
| 238 | * @return ENOENT if no virtual address mapping found.
|
---|
| 239 | *
|
---|
| 240 | */
|
---|
| 241 | sysarg_t sys_page_find_mapping(uintptr_t virt, void *phys_ptr)
|
---|
| 242 | {
|
---|
| 243 | void *phys;
|
---|
| 244 | int rc = page_find_mapping(virt, &phys);
|
---|
| 245 | if (rc != EOK)
|
---|
| 246 | return rc;
|
---|
| 247 |
|
---|
| 248 | rc = copy_to_uspace(phys_ptr, &phys, sizeof(phys));
|
---|
| 249 | return (sysarg_t) rc;
|
---|
| 250 | }
|
---|
| 251 |
|
---|
[cc73a8a1] | 252 | /** @}
|
---|
[b45c443] | 253 | */
|
---|