Home
last modified time | relevance | path

Searched refs:addr_to_page (Results 1 – 1 of 1) sorted by relevance

/components/mm/
A Dmm_page.c405 static inline rt_page_t addr_to_page(rt_page_t pg_start, void *addr) in addr_to_page() function
454 return addr_to_page(page_start, addr); in rt_page_addr2page()
1079 rt_page_t shad_tail = addr_to_page(mpr_head, (void *)shadow.end); in _install_page()
1080 rt_page_t head = addr_to_page(mpr_head, (void *)region.start); in _install_page()
1081 rt_page_t tail = addr_to_page(mpr_head, (void *)region.end); in _install_page()
1108 p = addr_to_page(mpr_head, (void *)region.start); in _install_page()
1206 (rt_size_t)addr_to_page(page_start, (void *)shadow.start) & in rt_page_init()
1222 rt_page_t head_cont = addr_to_page(mpr_cont, (void *)reg.start); in rt_page_init()
1223 rt_page_t tail_cont = addr_to_page(mpr_cont, (void *)reg.end); in rt_page_init()
1280 head = addr_to_page(page_start, (void *)shadow.start); in _get_mpr_ready_n_install()
[all …]

Completed in 5 milliseconds