69,7 → 69,7 |
pte_t *src_ptl0, *dst_ptl0; |
|
src_ptl0 = (pte_t *) PA2KA((__address) GET_PTL0_ADDRESS()); |
dst_ptl0 = (pte_t *) frame_alloc(FRAME_KA | FRAME_PANIC, 0); |
dst_ptl0 = (pte_t *) frame_alloc(FRAME_KA | FRAME_PANIC, ONE_FRAME); |
|
// memsetb((__address) dst_ptl0, PAGE_SIZE, 0); |
// memcpy((void *) &dst_ptl0[KAS_START_INDEX], (void *) &src_ptl0[KAS_START_INDEX], KAS_INDICES); |
115,7 → 115,7 |
} |
|
for (i=0; i<size; i++) |
a->mapping[i] = frame_alloc(0,0); |
a->mapping[i] = frame_alloc(0, ONE_FRAME); |
|
spinlock_initialize(&a->lock); |
|