check_bound
return (check_bound(fdl, uaddr));
if (check_bound(fdl, uaddr) == FALSE)
static bool_t check_bound(struct fdlist *, const char *uaddr);