Rev 832 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 832 | Rev 1044 | ||
---|---|---|---|
Line 50... | Line 50... | ||
50 | /** Map page to frame using hierarchical page tables. |
50 | /** Map page to frame using hierarchical page tables. |
51 | * |
51 | * |
52 | * Map virtual address 'page' to physical address 'frame' |
52 | * Map virtual address 'page' to physical address 'frame' |
53 | * using 'flags'. |
53 | * using 'flags'. |
54 | * |
54 | * |
55 | * The address space must be locked and interrupts must be disabled. |
55 | * The page table must be locked and interrupts must be disabled. |
56 | * |
56 | * |
57 | * @param as Address space to wich page belongs. |
57 | * @param as Address space to wich page belongs. |
58 | * @param page Virtual address of the page to be mapped. |
58 | * @param page Virtual address of the page to be mapped. |
59 | * @param frame Physical address of memory frame to which the mapping is done. |
59 | * @param frame Physical address of memory frame to which the mapping is done. |
60 | * @param flags Flags to be used for mapping. |
60 | * @param flags Flags to be used for mapping. |
Line 103... | Line 103... | ||
103 | * TLB shootdown should follow in order to make effects of |
103 | * TLB shootdown should follow in order to make effects of |
104 | * this call visible. |
104 | * this call visible. |
105 | * |
105 | * |
106 | * Empty page tables except PTL0 are freed. |
106 | * Empty page tables except PTL0 are freed. |
107 | * |
107 | * |
108 | * The address space must be locked and interrupts must be disabled. |
108 | * The page table must be locked and interrupts must be disabled. |
109 | * |
109 | * |
110 | * @param as Address space to wich page belongs. |
110 | * @param as Address space to wich page belongs. |
111 | * @param page Virtual address of the page to be demapped. |
111 | * @param page Virtual address of the page to be demapped. |
112 | */ |
112 | */ |
113 | void pt_mapping_remove(as_t *as, __address page) |
113 | void pt_mapping_remove(as_t *as, __address page) |
Line 223... | Line 223... | ||
223 | 223 | ||
224 | /** Find mapping for virtual page in hierarchical page tables. |
224 | /** Find mapping for virtual page in hierarchical page tables. |
225 | * |
225 | * |
226 | * Find mapping for virtual page. |
226 | * Find mapping for virtual page. |
227 | * |
227 | * |
228 | * The address space must be locked and interrupts must be disabled. |
228 | * The page table must be locked and interrupts must be disabled. |
229 | * |
229 | * |
230 | * @param as Address space to which page belongs. |
230 | * @param as Address space to which page belongs. |
231 | * @param page Virtual page. |
231 | * @param page Virtual page. |
232 | * |
232 | * |
233 | * @return NULL if there is no such mapping; entry from PTL3 describing the mapping otherwise. |
233 | * @return NULL if there is no such mapping; entry from PTL3 describing the mapping otherwise. |