Function addr_to_page

components/mm/mm_page.c:405–409

}

static inline rt_page_t addr_to_page(rt_page_t pg_start, void *addr)
{
    addr = (char *)addr + PV_OFFSET;
    return &pg_start[((rt_ubase_t)addr >> ARCH_PAGE_SHIFT)];
}

#define CEIL(val, align) (((rt_size_t)(val) + (align)-1) & ~((align)-1))