STACK_MAX
p->p_vmspace->vm_maxsaddr = (void *)STACK_MAX(addr, PAGE_SIZE);
ucp = STACK_MAX(arg1, i);
ucp = STACK_MAX(arg0, i);