Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/drm_vma_manager.c drm_vma_node_allow() -> vma_node_allow()

Type Parameter Key Value
PARAM_VALUE 0 node 4096-ptr_max
PARAM_VALUE 2 ref_counted 1
BUF_SIZE 1 tag s32min-(-1),1-s32max
BUF_SIZE 1 tag s32min-(-1),1-s32max
DATA_SOURCE 0 node $0
DATA_SOURCE 1 tag $1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 node->vm_node.size 1-s32max[c]
USER_DATA 0 node->vm_node.start 0-s32max[c]
UNITS 1 tag unit_byte
HALF_LOCKED2 &p->mutex
HALF_LOCKED2 1 &tag->driver_priv->mutex
HALF_LOCKED2 1 &tag->prime.lock

drivers/gpu/drm/drm_vma_manager.c drm_vma_node_allow_once() -> vma_node_allow()

Type Parameter Key Value
PARAM_VALUE 0 node 4096-ptr_max
PARAM_VALUE 1 tag 4096-ptr_max
PARAM_VALUE 2 ref_counted 0
BUF_SIZE 1 tag s32min-(-1),1-s32max
BUF_SIZE 1 tag s32min-(-1),1-s32max
DATA_SOURCE 0 node $0
DATA_SOURCE 1 tag $1
RX_PATH
HALF_LOCKED2 obj->base.resv