Subversion Repositories HelenOS-historic

Rev

Rev 977 | Rev 1026 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 977 Rev 980
Line 398... Line 398...
398
            /*
398
            /*
399
             * Releasing physical memory.
399
             * Releasing physical memory.
400
             * This depends on the fact that the memory was allocated using frame_alloc().
400
             * This depends on the fact that the memory was allocated using frame_alloc().
401
             */
401
             */
402
            pte = page_mapping_find(as, area->base + i*PAGE_SIZE);
402
            pte = page_mapping_find(as, area->base + i*PAGE_SIZE);
403
            if (pte) {
403
            if (pte && PTE_VALID(pte)) {
404
                ASSERT(PTE_PRESENT(pte));
404
                ASSERT(PTE_PRESENT(pte));
405
                frame_free(ADDR2PFN(PTE_GET_FRAME(pte)));
405
                frame_free(ADDR2PFN(PTE_GET_FRAME(pte)));
406
            }
406
            }
407
            page_mapping_remove(as, area->base + i*PAGE_SIZE);
407
            page_mapping_remove(as, area->base + i*PAGE_SIZE);
408
        }
408
        }