imcs.c
/* This function is called in context protected by imcs->lock */
This function is called in context protected by imcs->lock
This function is called in context protected by imcs - > lock
void imcs_free_page(imcs_page_t* page)
{
    imcs_free_page_t* pg = (imcs_free_page_t*)page;
    pg->next = imcs->free_pages;
    imcs->free_pages = pg;
    imcs->n_used_pages -= 1;
}
void imcs_free_page ( imcs_page_t * page ) { imcs_free_page_t * pg = ( imcs_free_page_t * ) page ; pg -> next = imcs -> free_pages ; imcs -> free_pages = pg ; imcs -> n_used_pages -= 1 ; }
This function is called in context protected by imcs->lock
This function is called in context protected by imcs - > lock