Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/nouveau/nouveau_gem.c validate_fini() -> validate_fini_no_ticket()

Type Parameter Key Value
PARAM_VALUE 0 op 3618475209504833536
PARAM_VALUE 0 op->list.next 3618475209504833536
PARAM_VALUE 0 op->list.prev 4096-ptr_max
PARAM_VALUE 0 op->ticket.done_acquire 1
PARAM_VALUE 0 op->ticket.ww_class->acquire_name 0,4096-ptr_max
PARAM_VALUE 0 op->ticket.ww_class->is_wait_die 0-s32max
PARAM_VALUE 0 op->ticket.ww_class->mutex_name 0,4096-ptr_max
PARAM_VALUE 1 chan 4096-ptr_max
PARAM_VALUE 1 chan->chan.func->gpfifo.post 0,6579321081391046656
PARAM_VALUE 1 chan->chan.func->gpfifo.push 4096-ptr_max
PARAM_VALUE 1 chan->killed.counter 0
PARAM_VALUE 2 fence 0,4096-ptr_max
PARAM_VALUE 2 fence->base.context 0-u32max
PARAM_VALUE 2 fence->base.ops->enable_signaling 0,4096-ptr_max
PARAM_VALUE 2 fence->base.ops->get_driver_name 0,4096-ptr_max
PARAM_VALUE 2 fence->base.ops->get_timeline_name 0,4096-ptr_max
PARAM_VALUE 2 fence->base.ops->release 0,4096-ptr_max
PARAM_VALUE 2 fence->base.ops->set_deadline 0,4096-ptr_max
PARAM_VALUE 2 fence->base.ops->signaled 0,4096-ptr_max
PARAM_VALUE 2 fence->base.ops->wait 0,4096-ptr_max
PARAM_VALUE 2 fence->base.seqno 0-u32max
PARAM_VALUE 2 fence->channel->chan.push.bgn 4098-9223372036854775807
PARAM_VALUE 2 fence->channel->fence->fence_ref.refcount.refs.counter s32min-s32max
PARAM_VALUE 2 fence->channel->fence->lock.rlock.dep_map->name 0-255
PARAM_VALUE 2 fence->channel->fence->sequence 0-4294967295
PARAM_VALUE 3 pbbo 0,16,4096-ptr_max
CAPPED_DATA 1 chan 1
CAPPED_DATA 1 chan->chid 1
DATA_SOURCE 0 op $0
DATA_SOURCE 1 chan $1
DATA_SOURCE 2 fence $2
DATA_SOURCE 3 pbbo $3
NOCHECK_CALL
USER_DATA 3 pbbo->handle 0-u32max
USER_DATA 3 pbbo->read_domains 0-u32max
USER_DATA 3 pbbo->user_priv 0-u64max
USER_DATA 3 pbbo->valid_domains 0-u32max
USER_DATA 3 pbbo->write_domains 0-u32max
USER_PTR 3 pbbo
LOCK2 &file_priv->driver_priv->mutex

drivers/gpu/drm/nouveau/nouveau_gem.c validate_init() -> validate_fini_no_ticket()

Type Parameter Key Value
PARAM_VALUE 0 op 3618475209504833536
PARAM_VALUE 0 op->list.next 3618475209504833536
PARAM_VALUE 0 op->list.next->next 3618475209504833536
PARAM_VALUE 0 op->list.prev 4096-ptr_max
PARAM_VALUE 0 op->list.prev->next 4096-ptr_max
PARAM_VALUE 0 op->list.prev->prev 3618475209504833536
PARAM_VALUE 0 op->ticket.contending_lock 4096-ptr_max
PARAM_VALUE 0 op->ticket.deadlock_inject_countdown 0-3758096380,u32max
PARAM_VALUE 0 op->ticket.deadlock_inject_interval 0-3758096380,u32max
PARAM_VALUE 0 op->ticket.dep_map->name 0-255
PARAM_VALUE 0 op->ticket.first_lock_dep_map->name 0-255
PARAM_VALUE 0 op->ticket.wounded 0-1
PARAM_VALUE 0 op->ticket.ww_class->acquire_name 0,4096-ptr_max
PARAM_VALUE 0 op->ticket.ww_class->is_wait_die 0-s32max
PARAM_VALUE 0 op->ticket.ww_class->mutex_name 0,4096-ptr_max
PARAM_VALUE 1 chan 4096-ptr_max
PARAM_VALUE 1 chan->killed.counter 0
PARAM_VALUE 2 fence 0
PARAM_VALUE 3 pbbo 0
CAPPED_DATA 1 chan 1
CAPPED_DATA 1 chan->chid 1
DATA_SOURCE 0 op $4
DATA_SOURCE 1 chan $0
NOCHECK_CALL
LOCK2 &file_priv->driver_priv->mutex