| /kernel/trunk/genarch/src/mm/as_ht.c |
|---|
| 42,7 → 42,6 |
| #include <synch/mutex.h> |
| static pte_t *ht_create(int flags); |
| static void ht_destroy(pte_t *page_table); |
| static void ht_lock(as_t *as, bool lock); |
| static void ht_unlock(as_t *as, bool unlock); |
| 49,7 → 48,6 |
| as_operations_t as_ht_operations = { |
| .page_table_create = ht_create, |
| .page_table_destroy = ht_destroy, |
| .page_table_lock = ht_lock, |
| .page_table_unlock = ht_unlock, |
| }; |
| 73,17 → 71,6 |
| return NULL; |
| } |
| /** Destroy page table. |
| * |
| * Actually do nothing as the global page hash table is used. |
| * |
| * @param page_table This parameter is ignored. |
| */ |
| void ht_destroy(pte_t *page_table) |
| { |
| /* No-op. */ |
| } |
| /** Lock page table. |
| * |
| * Lock address space and page hash table. |
| /kernel/trunk/genarch/src/mm/as_pt.c |
|---|
| 44,7 → 44,6 |
| #include <arch.h> |
| static pte_t *ptl0_create(int flags); |
| static void ptl0_destroy(pte_t *page_table); |
| static void pt_lock(as_t *as, bool lock); |
| static void pt_unlock(as_t *as, bool unlock); |
| 51,7 → 50,6 |
| as_operations_t as_pt_operations = { |
| .page_table_create = ptl0_create, |
| .page_table_destroy = ptl0_destroy, |
| .page_table_lock = pt_lock, |
| .page_table_unlock = pt_unlock |
| }; |
| 96,17 → 94,6 |
| return (pte_t *) KA2PA((__address) dst_ptl0); |
| } |
| /** Destroy page table. |
| * |
| * Destroy PTL0, other levels are expected to be already deallocated. |
| * |
| * @param page_table Physical address of PTL0. |
| */ |
| void ptl0_destroy(pte_t *page_table) |
| { |
| frame_free(ADDR2PFN((__address) page_table)); |
| } |
| /** Lock page tables. |
| * |
| * Lock only the address space. |