123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562 |
- /*
- * Copyright (c) 2017, Mellanox Technologies inc. All rights reserved.
- *
- * This software is available to you under a choice of one of two
- * licenses. You may choose to be licensed under the terms of the GNU
- * General Public License (GPL) Version 2, available from the file
- * COPYING in the main directory of this source tree, or the
- * OpenIB.org BSD license below:
- *
- * Redistribution and use in source and binary forms, with or
- * without modification, are permitted provided that the following
- * conditions are met:
- *
- * - Redistributions of source code must retain the above
- * copyright notice, this list of conditions and the following
- * disclaimer.
- *
- * - Redistributions in binary form must reproduce the above
- * copyright notice, this list of conditions and the following
- * disclaimer in the documentation and/or other materials
- * provided with the distribution.
- *
- * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
- * EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
- * MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
- * NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS
- * BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN
- * ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN
- * CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
- * SOFTWARE.
- */
- #include <rdma/rdma_user_ioctl.h>
- #include <rdma/uverbs_ioctl.h>
- #include "rdma_core.h"
- #include "uverbs.h"
- static bool uverbs_is_attr_cleared(const struct ib_uverbs_attr *uattr,
- u16 len)
- {
- if (uattr->len > sizeof(((struct ib_uverbs_attr *)0)->data))
- return ib_is_buffer_cleared(u64_to_user_ptr(uattr->data) + len,
- uattr->len - len);
- return !memchr_inv((const void *)&uattr->data + len,
- 0, uattr->len - len);
- }
- static int uverbs_process_attr(struct ib_uverbs_file *ufile,
- const struct ib_uverbs_attr *uattr,
- u16 attr_id,
- const struct uverbs_attr_spec_hash *attr_spec_bucket,
- struct uverbs_attr_bundle_hash *attr_bundle_h,
- struct uverbs_obj_attr **destroy_attr,
- struct ib_uverbs_attr __user *uattr_ptr)
- {
- const struct uverbs_attr_spec *spec;
- const struct uverbs_attr_spec *val_spec;
- struct uverbs_attr *e;
- struct uverbs_obj_attr *o_attr;
- struct uverbs_attr *elements = attr_bundle_h->attrs;
- if (attr_id >= attr_spec_bucket->num_attrs) {
- if (uattr->flags & UVERBS_ATTR_F_MANDATORY)
- return -EINVAL;
- else
- return 0;
- }
- if (test_bit(attr_id, attr_bundle_h->valid_bitmap))
- return -EINVAL;
- spec = &attr_spec_bucket->attrs[attr_id];
- val_spec = spec;
- e = &elements[attr_id];
- e->uattr = uattr_ptr;
- switch (spec->type) {
- case UVERBS_ATTR_TYPE_ENUM_IN:
- if (uattr->attr_data.enum_data.elem_id >= spec->u.enum_def.num_elems)
- return -EOPNOTSUPP;
- if (uattr->attr_data.enum_data.reserved)
- return -EINVAL;
- val_spec = &spec->u2.enum_def.ids[uattr->attr_data.enum_data.elem_id];
- /* Currently we only support PTR_IN based enums */
- if (val_spec->type != UVERBS_ATTR_TYPE_PTR_IN)
- return -EOPNOTSUPP;
- e->ptr_attr.enum_id = uattr->attr_data.enum_data.elem_id;
- /* fall through */
- case UVERBS_ATTR_TYPE_PTR_IN:
- /* Ensure that any data provided by userspace beyond the known
- * struct is zero. Userspace that knows how to use some future
- * longer struct will fail here if used with an old kernel and
- * non-zero content, making ABI compat/discovery simpler.
- */
- if (uattr->len > val_spec->u.ptr.len &&
- val_spec->zero_trailing &&
- !uverbs_is_attr_cleared(uattr, val_spec->u.ptr.len))
- return -EOPNOTSUPP;
- /* fall through */
- case UVERBS_ATTR_TYPE_PTR_OUT:
- if (uattr->len < val_spec->u.ptr.min_len ||
- (!val_spec->zero_trailing &&
- uattr->len > val_spec->u.ptr.len))
- return -EINVAL;
- if (spec->type != UVERBS_ATTR_TYPE_ENUM_IN &&
- uattr->attr_data.reserved)
- return -EINVAL;
- e->ptr_attr.len = uattr->len;
- e->ptr_attr.flags = uattr->flags;
- if (val_spec->alloc_and_copy && !uverbs_attr_ptr_is_inline(e)) {
- void *p;
- p = kvmalloc(uattr->len, GFP_KERNEL);
- if (!p)
- return -ENOMEM;
- e->ptr_attr.ptr = p;
- if (copy_from_user(p, u64_to_user_ptr(uattr->data),
- uattr->len)) {
- kvfree(p);
- return -EFAULT;
- }
- } else {
- e->ptr_attr.data = uattr->data;
- }
- break;
- case UVERBS_ATTR_TYPE_IDR:
- case UVERBS_ATTR_TYPE_FD:
- if (uattr->attr_data.reserved)
- return -EINVAL;
- if (uattr->len != 0)
- return -EINVAL;
- o_attr = &e->obj_attr;
- /* specs are allowed to have only one destroy attribute */
- WARN_ON(spec->u.obj.access == UVERBS_ACCESS_DESTROY &&
- *destroy_attr);
- if (spec->u.obj.access == UVERBS_ACCESS_DESTROY)
- *destroy_attr = o_attr;
- /*
- * The type of uattr->data is u64 for UVERBS_ATTR_TYPE_IDR and
- * s64 for UVERBS_ATTR_TYPE_FD. We can cast the u64 to s64
- * here without caring about truncation as we know that the
- * IDR implementation today rejects negative IDs
- */
- o_attr->uobject = uverbs_get_uobject_from_file(
- spec->u.obj.obj_type,
- ufile,
- spec->u.obj.access,
- uattr->data_s64);
- if (IS_ERR(o_attr->uobject))
- return PTR_ERR(o_attr->uobject);
- if (spec->u.obj.access == UVERBS_ACCESS_NEW) {
- s64 id = o_attr->uobject->id;
- /* Copy the allocated id to the user-space */
- if (put_user(id, &e->uattr->data)) {
- uverbs_finalize_object(o_attr->uobject,
- UVERBS_ACCESS_NEW,
- false);
- return -EFAULT;
- }
- }
- break;
- default:
- return -EOPNOTSUPP;
- }
- set_bit(attr_id, attr_bundle_h->valid_bitmap);
- return 0;
- }
- static int uverbs_finalize_attrs(struct uverbs_attr_bundle *attrs_bundle,
- struct uverbs_attr_spec_hash *const *spec_hash,
- size_t num, bool commit)
- {
- unsigned int i;
- int ret = 0;
- for (i = 0; i < num; i++) {
- struct uverbs_attr_bundle_hash *curr_bundle =
- &attrs_bundle->hash[i];
- const struct uverbs_attr_spec_hash *curr_spec_bucket =
- spec_hash[i];
- unsigned int j;
- if (!curr_spec_bucket)
- continue;
- for (j = 0; j < curr_bundle->num_attrs; j++) {
- struct uverbs_attr *attr;
- const struct uverbs_attr_spec *spec;
- if (!uverbs_attr_is_valid_in_hash(curr_bundle, j))
- continue;
- attr = &curr_bundle->attrs[j];
- spec = &curr_spec_bucket->attrs[j];
- if (spec->type == UVERBS_ATTR_TYPE_IDR ||
- spec->type == UVERBS_ATTR_TYPE_FD) {
- int current_ret;
- current_ret = uverbs_finalize_object(
- attr->obj_attr.uobject,
- spec->u.obj.access, commit);
- if (!ret)
- ret = current_ret;
- } else if (spec->type == UVERBS_ATTR_TYPE_PTR_IN &&
- spec->alloc_and_copy &&
- !uverbs_attr_ptr_is_inline(attr)) {
- kvfree(attr->ptr_attr.ptr);
- }
- }
- }
- return ret;
- }
- static int uverbs_uattrs_process(struct ib_uverbs_file *ufile,
- const struct ib_uverbs_attr *uattrs,
- size_t num_uattrs,
- const struct uverbs_method_spec *method,
- struct uverbs_attr_bundle *attr_bundle,
- struct uverbs_obj_attr **destroy_attr,
- struct ib_uverbs_attr __user *uattr_ptr)
- {
- size_t i;
- int ret = 0;
- int num_given_buckets = 0;
- for (i = 0; i < num_uattrs; i++) {
- const struct ib_uverbs_attr *uattr = &uattrs[i];
- u16 attr_id = uattr->attr_id;
- struct uverbs_attr_spec_hash *attr_spec_bucket;
- ret = uverbs_ns_idx(&attr_id, method->num_buckets);
- if (ret < 0 || !method->attr_buckets[ret]) {
- if (uattr->flags & UVERBS_ATTR_F_MANDATORY) {
- uverbs_finalize_attrs(attr_bundle,
- method->attr_buckets,
- num_given_buckets,
- false);
- return ret;
- }
- continue;
- }
- /*
- * ret is the found ns, so increase num_given_buckets if
- * necessary.
- */
- if (ret >= num_given_buckets)
- num_given_buckets = ret + 1;
- attr_spec_bucket = method->attr_buckets[ret];
- ret = uverbs_process_attr(ufile, uattr, attr_id,
- attr_spec_bucket,
- &attr_bundle->hash[ret], destroy_attr,
- uattr_ptr++);
- if (ret) {
- uverbs_finalize_attrs(attr_bundle,
- method->attr_buckets,
- num_given_buckets,
- false);
- return ret;
- }
- }
- return num_given_buckets;
- }
- static int uverbs_validate_kernel_mandatory(const struct uverbs_method_spec *method_spec,
- struct uverbs_attr_bundle *attr_bundle)
- {
- unsigned int i;
- for (i = 0; i < attr_bundle->num_buckets; i++) {
- struct uverbs_attr_spec_hash *attr_spec_bucket =
- method_spec->attr_buckets[i];
- if (!attr_spec_bucket)
- continue;
- if (!bitmap_subset(attr_spec_bucket->mandatory_attrs_bitmask,
- attr_bundle->hash[i].valid_bitmap,
- attr_spec_bucket->num_attrs))
- return -EINVAL;
- }
- for (; i < method_spec->num_buckets; i++) {
- struct uverbs_attr_spec_hash *attr_spec_bucket =
- method_spec->attr_buckets[i];
- if (!bitmap_empty(attr_spec_bucket->mandatory_attrs_bitmask,
- attr_spec_bucket->num_attrs))
- return -EINVAL;
- }
- return 0;
- }
- static int uverbs_handle_method(struct ib_uverbs_attr __user *uattr_ptr,
- const struct ib_uverbs_attr *uattrs,
- size_t num_uattrs,
- struct ib_device *ibdev,
- struct ib_uverbs_file *ufile,
- const struct uverbs_method_spec *method_spec,
- struct uverbs_attr_bundle *attr_bundle)
- {
- int ret;
- int finalize_ret;
- int num_given_buckets;
- struct uverbs_obj_attr *destroy_attr = NULL;
- num_given_buckets =
- uverbs_uattrs_process(ufile, uattrs, num_uattrs, method_spec,
- attr_bundle, &destroy_attr, uattr_ptr);
- if (num_given_buckets <= 0)
- return -EINVAL;
- attr_bundle->num_buckets = num_given_buckets;
- ret = uverbs_validate_kernel_mandatory(method_spec, attr_bundle);
- if (ret)
- goto cleanup;
- /*
- * We destroy the HW object before invoking the handler, handlers do
- * not get to manipulate the HW objects.
- */
- if (destroy_attr) {
- ret = uobj_destroy(destroy_attr->uobject);
- if (ret)
- goto cleanup;
- }
- ret = method_spec->handler(ufile, attr_bundle);
- if (destroy_attr) {
- uobj_put_destroy(destroy_attr->uobject);
- destroy_attr->uobject = NULL;
- }
- cleanup:
- finalize_ret = uverbs_finalize_attrs(attr_bundle,
- method_spec->attr_buckets,
- attr_bundle->num_buckets,
- !ret);
- return ret ? ret : finalize_ret;
- }
- #define UVERBS_OPTIMIZE_USING_STACK_SZ 256
- static long ib_uverbs_cmd_verbs(struct ib_device *ib_dev,
- struct ib_uverbs_file *file,
- struct ib_uverbs_ioctl_hdr *hdr,
- void __user *buf)
- {
- const struct uverbs_object_spec *object_spec;
- const struct uverbs_method_spec *method_spec;
- long err = 0;
- unsigned int i;
- struct {
- struct ib_uverbs_attr *uattrs;
- struct uverbs_attr_bundle *uverbs_attr_bundle;
- } *ctx = NULL;
- struct uverbs_attr *curr_attr;
- unsigned long *curr_bitmap;
- size_t ctx_size;
- uintptr_t data[UVERBS_OPTIMIZE_USING_STACK_SZ / sizeof(uintptr_t)];
- if (hdr->driver_id != ib_dev->driver_id)
- return -EINVAL;
- object_spec = uverbs_get_object(file, hdr->object_id);
- if (!object_spec)
- return -EPROTONOSUPPORT;
- method_spec = uverbs_get_method(object_spec, hdr->method_id);
- if (!method_spec)
- return -EPROTONOSUPPORT;
- ctx_size = sizeof(*ctx) +
- sizeof(struct uverbs_attr_bundle) +
- sizeof(struct uverbs_attr_bundle_hash) * method_spec->num_buckets +
- sizeof(*ctx->uattrs) * hdr->num_attrs +
- sizeof(*ctx->uverbs_attr_bundle->hash[0].attrs) *
- method_spec->num_child_attrs +
- sizeof(*ctx->uverbs_attr_bundle->hash[0].valid_bitmap) *
- (method_spec->num_child_attrs / BITS_PER_LONG +
- method_spec->num_buckets);
- if (ctx_size <= UVERBS_OPTIMIZE_USING_STACK_SZ)
- ctx = (void *)data;
- if (!ctx)
- ctx = kmalloc(ctx_size, GFP_KERNEL);
- if (!ctx)
- return -ENOMEM;
- ctx->uverbs_attr_bundle = (void *)ctx + sizeof(*ctx);
- ctx->uattrs = (void *)(ctx->uverbs_attr_bundle + 1) +
- (sizeof(ctx->uverbs_attr_bundle->hash[0]) *
- method_spec->num_buckets);
- curr_attr = (void *)(ctx->uattrs + hdr->num_attrs);
- curr_bitmap = (void *)(curr_attr + method_spec->num_child_attrs);
- /*
- * We just fill the pointers and num_attrs here. The data itself will be
- * filled at a later stage (uverbs_process_attr)
- */
- for (i = 0; i < method_spec->num_buckets; i++) {
- unsigned int curr_num_attrs;
- if (!method_spec->attr_buckets[i])
- continue;
- curr_num_attrs = method_spec->attr_buckets[i]->num_attrs;
- ctx->uverbs_attr_bundle->hash[i].attrs = curr_attr;
- curr_attr += curr_num_attrs;
- ctx->uverbs_attr_bundle->hash[i].num_attrs = curr_num_attrs;
- ctx->uverbs_attr_bundle->hash[i].valid_bitmap = curr_bitmap;
- bitmap_zero(curr_bitmap, curr_num_attrs);
- curr_bitmap += BITS_TO_LONGS(curr_num_attrs);
- }
- err = copy_from_user(ctx->uattrs, buf,
- sizeof(*ctx->uattrs) * hdr->num_attrs);
- if (err) {
- err = -EFAULT;
- goto out;
- }
- err = uverbs_handle_method(buf, ctx->uattrs, hdr->num_attrs, ib_dev,
- file, method_spec, ctx->uverbs_attr_bundle);
- /*
- * EPROTONOSUPPORT is ONLY to be returned if the ioctl framework can
- * not invoke the method because the request is not supported. No
- * other cases should return this code.
- */
- if (unlikely(err == -EPROTONOSUPPORT)) {
- WARN_ON_ONCE(err == -EPROTONOSUPPORT);
- err = -EINVAL;
- }
- out:
- if (ctx != (void *)data)
- kfree(ctx);
- return err;
- }
- #define IB_UVERBS_MAX_CMD_SZ 4096
- long ib_uverbs_ioctl(struct file *filp, unsigned int cmd, unsigned long arg)
- {
- struct ib_uverbs_file *file = filp->private_data;
- struct ib_uverbs_ioctl_hdr __user *user_hdr =
- (struct ib_uverbs_ioctl_hdr __user *)arg;
- struct ib_uverbs_ioctl_hdr hdr;
- struct ib_device *ib_dev;
- int srcu_key;
- long err;
- srcu_key = srcu_read_lock(&file->device->disassociate_srcu);
- ib_dev = srcu_dereference(file->device->ib_dev,
- &file->device->disassociate_srcu);
- if (!ib_dev) {
- err = -EIO;
- goto out;
- }
- if (cmd == RDMA_VERBS_IOCTL) {
- err = copy_from_user(&hdr, user_hdr, sizeof(hdr));
- if (err || hdr.length > IB_UVERBS_MAX_CMD_SZ ||
- hdr.length != sizeof(hdr) + hdr.num_attrs * sizeof(struct ib_uverbs_attr)) {
- err = -EINVAL;
- goto out;
- }
- if (hdr.reserved1 || hdr.reserved2) {
- err = -EPROTONOSUPPORT;
- goto out;
- }
- err = ib_uverbs_cmd_verbs(ib_dev, file, &hdr,
- (__user void *)arg + sizeof(hdr));
- } else {
- err = -ENOIOCTLCMD;
- }
- out:
- srcu_read_unlock(&file->device->disassociate_srcu, srcu_key);
- return err;
- }
- int uverbs_get_flags64(u64 *to, const struct uverbs_attr_bundle *attrs_bundle,
- size_t idx, u64 allowed_bits)
- {
- const struct uverbs_attr *attr;
- u64 flags;
- attr = uverbs_attr_get(attrs_bundle, idx);
- /* Missing attribute means 0 flags */
- if (IS_ERR(attr)) {
- *to = 0;
- return 0;
- }
- /*
- * New userspace code should use 8 bytes to pass flags, but we
- * transparently support old userspaces that were using 4 bytes as
- * well.
- */
- if (attr->ptr_attr.len == 8)
- flags = attr->ptr_attr.data;
- else if (attr->ptr_attr.len == 4)
- flags = *(u32 *)&attr->ptr_attr.data;
- else
- return -EINVAL;
- if (flags & ~allowed_bits)
- return -EINVAL;
- *to = flags;
- return 0;
- }
- EXPORT_SYMBOL(uverbs_get_flags64);
- int uverbs_get_flags32(u32 *to, const struct uverbs_attr_bundle *attrs_bundle,
- size_t idx, u64 allowed_bits)
- {
- u64 flags;
- int ret;
- ret = uverbs_get_flags64(&flags, attrs_bundle, idx, allowed_bits);
- if (ret)
- return ret;
- if (flags > U32_MAX)
- return -EINVAL;
- *to = flags;
- return 0;
- }
- EXPORT_SYMBOL(uverbs_get_flags32);
|