memlist_add_span
mlret = memlist_add_span((uint64_t)(pt_base) << PAGESHIFT,
mlret = memlist_add_span((uint64_t)(base) << PAGESHIFT,
extern int memlist_add_span(uint64_t address, uint64_t bytes,
ml = memlist_add_span(ml, addr, size);
mlret = memlist_add_span(
mlret = memlist_add_span(
ml = memlist_add_span(ml,
(void) memlist_add_span(base_pa, size, &mlist);
if ((rv = memlist_add_span(ptob(base), ptob(npgs), &d_ml))
rv = memlist_add_span(pfn << PAGESHIFT,