page_list_add_pages

745

void page_list_add_pages(page_t *, int);

2121

page_list_add_pages(pp, 0);

2234

page_list_add_pages(rootpp, 0);

2830

page_list_add_pages(rootpp, 0);

3181

page_list_add_pages(rootpp, 0);

5036

page_list_add_pages(*target, 0);

5076

page_list_add_pages(pp, 0);

672

page_list_add_pages(root, PG_LIST_ISINIT);