| /branches/tracing/kernel/genarch/include/mm/page_pt.h |
|---|
| 116,9 → 116,7 |
| #define PTE_WRITABLE(p) PTE_WRITABLE_ARCH((p)) |
| #define PTE_EXECUTABLE(p) PTE_EXECUTABLE_ARCH((p)) |
| #ifndef __OBJC__ |
| extern as_operations_t as_pt_operations; |
| #endif |
| extern page_mapping_operations_t pt_mapping_operations; |
| extern void page_mapping_insert_pt(as_t *as, uintptr_t page, uintptr_t frame, |
| /branches/tracing/kernel/genarch/src/mm/as_ht.c |
|---|
| 72,7 → 72,7 |
| { |
| if (flags & FLAG_AS_KERNEL) { |
| hash_table_create(&page_ht, PAGE_HT_ENTRIES, 2, &ht_operations); |
| mutex_initialize(&page_ht_lock); |
| mutex_initialize(&page_ht_lock, MUTEX_PASSIVE); |
| } |
| return NULL; |
| } |
| /branches/tracing/kernel/genarch/src/mm/as_pt.c |
|---|
| 52,31 → 52,6 |
| static void pt_lock(as_t *as, bool lock); |
| static void pt_unlock(as_t *as, bool unlock); |
| #ifdef __OBJC__ |
| @implementation as_t |
| + (pte_t *) page_table_create: (int) flags |
| { |
| return ptl0_create(flags); |
| } |
| + (void) page_table_destroy: (pte_t *) page_table |
| { |
| ptl0_destroy(page_table); |
| } |
| - (void) page_table_lock: (bool) _lock |
| { |
| pt_lock(self, _lock); |
| } |
| - (void) page_table_unlock: (bool) unlock |
| { |
| pt_unlock(self, unlock); |
| } |
| @end |
| #else |
| as_operations_t as_pt_operations = { |
| .page_table_create = ptl0_create, |
| .page_table_destroy = ptl0_destroy, |
| 83,7 → 58,6 |
| .page_table_lock = pt_lock, |
| .page_table_unlock = pt_unlock |
| }; |
| #endif |
| /** Create PTL0. |
| * |