Function test_varea_unmap_page

examples/utest/testcases/mm/test_aspace_api.h:219–243

* @brief rt_varea_unmap_page * Requirements: cancel the page table entry */

 * Requirements: cancel the page table entry
 */
static void test_varea_unmap_page(void)
{
    /* Prepare environment */
    const size_t buf_sz = 4 * ARCH_PAGE_SIZE;
    rt_varea_t varea = _create_varea(buf_sz);
    for (size_t i = 0; i < buf_sz; i += ARCH_PAGE_SIZE)
    {
        void *page = rt_pages_alloc(0);
        uassert_true(!!page);
        uassert_true(!rt_varea_map_page(varea, varea->start + i, page));

        /* let page manager handle the free of page */
        rt_varea_pgmgr_insert(varea, page);
        uassert_true(rt_kmem_v2p(varea->start + i) == (page + PV_OFFSET));
    }

    /* test if unmap is success */
    for (size_t i = 0; i < buf_sz; i += ARCH_PAGE_SIZE)
    {
        uassert_true(rt_varea_unmap_page(varea, varea->start + i) == RT_EOK);
        uassert_true(rt_kmem_v2p(varea->start + i) == ARCH_MAP_FAILED);
    }

    uassert_true(!rt_aspace_unmap(&rt_kernel_space, varea->start));
}

/**
 * @brief rt_varea_map_range