Rev 1235 | Rev 1238 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1235 | Rev 1236 | ||
---|---|---|---|
Line 389... | Line 389... | ||
389 | page_table_lock(AS, false); |
389 | page_table_lock(AS, false); |
390 | pte = page_mapping_find(AS, base + i*PAGE_SIZE); |
390 | pte = page_mapping_find(AS, base + i*PAGE_SIZE); |
391 | if (pte && PTE_VALID(pte)) { |
391 | if (pte && PTE_VALID(pte)) { |
392 | ASSERT(PTE_PRESENT(pte)); |
392 | ASSERT(PTE_PRESENT(pte)); |
393 | frame = PTE_GET_FRAME(pte); |
393 | frame = PTE_GET_FRAME(pte); |
394 | if (!(flags & AS_AREA_DEVICE)) { |
394 | if (!(flags & AS_AREA_DEVICE)) |
395 | /* TODO: increment frame reference count */ |
395 | frame_reference_add(ADDR2PFN(frame)); |
396 | } |
- | |
397 | page_table_unlock(AS, false); |
396 | page_table_unlock(AS, false); |
398 | } else { |
397 | } else { |
399 | page_table_unlock(AS, false); |
398 | page_table_unlock(AS, false); |
400 | continue; |
399 | continue; |
401 | } |
400 | } |