static struct vm_area_struct *vma_next(struct vm_area_struct *vma)

{

    return (TAILQ_NEXT(vma, vma_link));

}

static struct vm_area_struct *vma_next(struct vm_area_struct *vma)

{

    return (TAILQ_NEXT(vma, vma_link));

}

static struct vm_area_struct *FUNC_0(struct vm_area_struct *VAR_0)

{

    return (TAILQ_NEXT(VAR_0, vma_link));

}

static struct vm_area_struct *FUNC_0(struct vm_area_struct *VAR_0)
{ return (TAILQ_NEXT(VAR_0, vma_link)); }