| 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. |
| * |
| 103,7 → 77,7 |
|---|
| table_size = FRAME_SIZE << PTL0_SIZE; |
| |
| if (flags & FLAG_AS_KERNEL) { |
| memsetb((uintptr_t) dst_ptl0, table_size, 0); |
| memsetb(dst_ptl0, table_size, 0); |
| } else { |
| uintptr_t src, dst; |
| |
| 118,7 → 92,7 |
|---|
| src = (uintptr_t) &src_ptl0[PTL0_INDEX(KERNEL_ADDRESS_SPACE_START)]; |
| dst = (uintptr_t) &dst_ptl0[PTL0_INDEX(KERNEL_ADDRESS_SPACE_START)]; |
| |
| memsetb((uintptr_t) dst_ptl0, table_size, 0); |
| memsetb(dst_ptl0, table_size, 0); |
| memcpy((void *) dst, (void *) src, table_size - (src - (uintptr_t) src_ptl0)); |
| mutex_unlock(&AS_KERNEL->lock); |
| interrupts_restore(ipl); |