valid_va_range_aligned
extern int valid_va_range_aligned(caddr_t *basep, size_t *lenp,
if (valid_va_range_aligned(basep, lenp, minlen, flags & AH_DIR,
if (*lenp >= minlen && valid_va_range_aligned(basep, lenp,
return (valid_va_range_aligned(basep, lenp, minlen, dir, 0, 0, 0));
return (valid_va_range_aligned(basep, lenp, minlen, dir, 0, 0, 0));