Rev 1221 | Rev 1248 | Go to most recent revision | Details | Compare with Previous | Last modification | View Log | RSS feed
Rev | Author | Line No. | Line |
---|---|---|---|
1 | jermar | 1 | /* |
703 | jermar | 2 | * Copyright (C) 2001-2006 Jakub Jermar |
1 | jermar | 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 | |||
703 | jermar | 29 | /* |
30 | * Virtual Address Translation subsystem. |
||
31 | */ |
||
32 | |||
1 | jermar | 33 | #include <mm/page.h> |
687 | jermar | 34 | #include <arch/mm/page.h> |
35 | #include <arch/mm/asid.h> |
||
755 | jermar | 36 | #include <mm/as.h> |
120 | jermar | 37 | #include <mm/frame.h> |
116 | jermar | 38 | #include <arch/types.h> |
39 | #include <typedefs.h> |
||
120 | jermar | 40 | #include <arch/asm.h> |
195 | vana | 41 | #include <memstr.h> |
684 | jermar | 42 | #include <debug.h> |
687 | jermar | 43 | #include <arch.h> |
1 | jermar | 44 | |
684 | jermar | 45 | /** Virtual operations for page subsystem. */ |
793 | jermar | 46 | page_mapping_operations_t *page_mapping_operations = NULL; |
684 | jermar | 47 | |
1 | jermar | 48 | void page_init(void) |
226 | palkovsky | 49 | { |
23 | jermar | 50 | page_arch_init(); |
1 | jermar | 51 | } |
116 | jermar | 52 | |
53 | /** Map memory structure |
||
54 | * |
||
55 | * Identity-map memory structure |
||
56 | * considering possible crossings |
||
57 | * of page boundaries. |
||
58 | * |
||
59 | * @param s Address of the structure. |
||
60 | * @param size Size of the structure. |
||
61 | */ |
||
62 | void map_structure(__address s, size_t size) |
||
63 | { |
||
64 | int i, cnt, length; |
||
65 | |||
1221 | decky | 66 | length = size + (s - (s & ~(PAGE_SIZE - 1))); |
67 | cnt = length / PAGE_SIZE + (length % PAGE_SIZE > 0); |
||
116 | jermar | 68 | |
125 | jermar | 69 | for (i = 0; i < cnt; i++) |
1221 | decky | 70 | page_mapping_insert(AS_KERNEL, s + i * PAGE_SIZE, s + i * PAGE_SIZE, PAGE_NOT_CACHEABLE); |
116 | jermar | 71 | |
72 | } |
||
120 | jermar | 73 | |
826 | jermar | 74 | /** Insert mapping of page to frame. |
120 | jermar | 75 | * |
1229 | jermar | 76 | * Map virtual address @page to physical address @frame |
77 | * using @flags. Allocate and setup any missing page tables. |
||
120 | jermar | 78 | * |
1044 | jermar | 79 | * The page table must be locked and interrupts must be disabled. |
756 | jermar | 80 | * |
826 | jermar | 81 | * @param as Address space to wich page belongs. |
120 | jermar | 82 | * @param page Virtual address of the page to be mapped. |
83 | * @param frame Physical address of memory frame to which the mapping is done. |
||
84 | * @param flags Flags to be used for mapping. |
||
85 | */ |
||
756 | jermar | 86 | void page_mapping_insert(as_t *as, __address page, __address frame, int flags) |
120 | jermar | 87 | { |
793 | jermar | 88 | ASSERT(page_mapping_operations); |
89 | ASSERT(page_mapping_operations->mapping_insert); |
||
684 | jermar | 90 | |
793 | jermar | 91 | page_mapping_operations->mapping_insert(as, page, frame, flags); |
120 | jermar | 92 | } |
391 | jermar | 93 | |
826 | jermar | 94 | /** Remove mapping of page. |
95 | * |
||
1229 | jermar | 96 | * Remove any mapping of @page within address space @as. |
826 | jermar | 97 | * TLB shootdown should follow in order to make effects of |
98 | * this call visible. |
||
99 | * |
||
1044 | jermar | 100 | * The page table must be locked and interrupts must be disabled. |
826 | jermar | 101 | * |
102 | * @param as Address space to wich page belongs. |
||
103 | * @param page Virtual address of the page to be demapped. |
||
104 | */ |
||
105 | void page_mapping_remove(as_t *as, __address page) |
||
106 | { |
||
107 | ASSERT(page_mapping_operations); |
||
108 | ASSERT(page_mapping_operations->mapping_remove); |
||
109 | |||
110 | page_mapping_operations->mapping_remove(as, page); |
||
111 | } |
||
112 | |||
391 | jermar | 113 | /** Find mapping for virtual page |
114 | * |
||
115 | * Find mapping for virtual page. |
||
116 | * |
||
1044 | jermar | 117 | * The page table must be locked and interrupts must be disabled. |
756 | jermar | 118 | * |
119 | * @param as Address space to wich page belongs. |
||
391 | jermar | 120 | * @param page Virtual page. |
121 | * |
||
699 | jermar | 122 | * @return NULL if there is no such mapping; requested mapping otherwise. |
391 | jermar | 123 | */ |
756 | jermar | 124 | pte_t *page_mapping_find(as_t *as, __address page) |
391 | jermar | 125 | { |
793 | jermar | 126 | ASSERT(page_mapping_operations); |
127 | ASSERT(page_mapping_operations->mapping_find); |
||
391 | jermar | 128 | |
793 | jermar | 129 | return page_mapping_operations->mapping_find(as, page); |
391 | jermar | 130 | } |