Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/xen/gntalloc.c gntalloc_ioctl_alloc() -> add_grefs()

Type Parameter Key Value
PARAM_VALUE 0 op 8563066938869583872
PARAM_VALUE 1 gref_ids 16,4096-ptr_max
PARAM_VALUE 2 priv 4096-ptr_max
BUF_SIZE 1 gref_ids 4
BUF_SIZE 2 priv s32min-(-2),1-s32max
BUF_SIZE 2 priv s32min-(-2),1-s32max
DATA_SOURCE 1 gref_ids r _kmalloc_array_noprof
DATA_SOURCE 2 priv $0
NOSPEC 0 op->count
USER_DATA 0 op->count 0-s32max[c]
USER_DATA 0 op->domid 0-u16max
USER_DATA 0 op->flags 0-u16max
NO_OVERFLOW_SIMPLE 0 op->count