Function _dfs_page_remove

components/dfs/dfs_v2/src/dfs_pcache.c:1164–1172

* @brief Remove a page from the AVL tree of an address space * * This function removes a page from the AVL tree of the specified address space. * It also clears the cached AVL page pointer if it points to the page being removed. * * @param[in,out] aspace Pointer to the address space containing the AVL tree * @param[in,out] page Pointer to the page structure to be removed */

 * @param[in,out] page   Pointer to the page structure to be removed
 */
static void _dfs_page_remove(struct dfs_aspace *aspace, struct dfs_page *page)
{
    if (aspace->avl_page && aspace->avl_page == page)
    {
        aspace->avl_page = 0;
    }

    util_avl_remove(&page->avl_node, &aspace->avl_root);
}

/**
 * @brief Lock an address space for thread-safe operations