58,10 → 58,10 |
#define KAS_INDICES (1+(KAS_END_INDEX-KAS_START_INDEX)) |
|
/* |
* Here we assume that PFN (Physical Frame Number) space |
* Here we assume that PFN (Physical Frame Numbers) space |
* is smaller than the width of index_t. UNALLOCATED_PFN |
* can be then used to mark mappings wich were not |
* yet allocated a physical frame. |
* allocated a physical frame. |
*/ |
#define UNALLOCATED_PFN ((index_t) -1) |
|
141,8 → 141,7 |
for (i=0; i<size; i++) { |
/* |
* Frames will be allocated on-demand by |
* as_page_fault() or preloaded by |
* as_area_load_mapping(). |
* as_page_fault(). |
*/ |
a->mapping[i] = UNALLOCATED_PFN; |
} |
160,7 → 159,7 |
|
spinlock_unlock(&as->lock); |
interrupts_restore(ipl); |
|
|
return a; |
} |
|
181,7 → 180,6 |
|
for (i = 0; i < a->size; i++) { |
ASSERT(a->mapping[i] == UNALLOCATED_PFN); |
ASSERT(pfn[i] != UNALLOCATED_PFN); |
a->mapping[i] = pfn[i]; |
} |
|
196,7 → 194,7 |
* |
* @param page Faulting page. |
* |
* @return 0 on page fault, 1 on success. |
* @return 0 on page fault, 1 if address space operation |
*/ |
int as_page_fault(__address page) |
{ |
252,7 → 250,6 |
frame = frame_alloc(0, ONE_FRAME, NULL); |
memsetb(frame, FRAME_SIZE, 0); |
area->mapping[vpn] = frame / FRAME_SIZE; |
ASSERT(area->mapping[vpn] != UNALLOCATED_PFN); |
} else { |
frame = area->mapping[vpn] * FRAME_SIZE; |
} |