add_pagetable
return add_pagetable(start, start + size, true, NULL);
ret = add_pagetable(start, end, false, altmap);