| 71,7 → 71,7 |
|---|
| |
| } |
| |
| /** Map page to frame |
| /** Insert mapping of page to frame. |
| * |
| * Map virtual address 'page' to physical address 'frame' |
| * using 'flags'. Allocate and setup any missing page tables. |
| 78,7 → 78,7 |
|---|
| * |
| * The address space must be locked and interrupts must be disabled. |
| * |
| * @param as Address space to wich page belongs.. |
| * @param as Address space to wich page belongs. |
| * @param page Virtual address of the page to be mapped. |
| * @param frame Physical address of memory frame to which the mapping is done. |
| * @param flags Flags to be used for mapping. |
| 91,6 → 91,25 |
|---|
| page_mapping_operations->mapping_insert(as, page, frame, flags); |
| } |
| |
| /** Remove mapping of page. |
| * |
| * Remove any mapping of 'page' within address space 'as'. |
| * TLB shootdown should follow in order to make effects of |
| * this call visible. |
| * |
| * The address space must be locked and interrupts must be disabled. |
| * |
| * @param as Address space to wich page belongs. |
| * @param page Virtual address of the page to be demapped. |
| */ |
| void page_mapping_remove(as_t *as, __address page) |
| { |
| ASSERT(page_mapping_operations); |
| ASSERT(page_mapping_operations->mapping_remove); |
| |
| page_mapping_operations->mapping_remove(as, page); |
| } |
| |
| /** Find mapping for virtual page |
| * |
| * Find mapping for virtual page. |