Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/exynos/exynos_drm_g2d.c exynos_g2d_set_cmdlist_ioctl() -> g2d_put_cmdlist()

Type Parameter Key Value
PARAM_VALUE 0 g2d 4096-ptr_max
PARAM_VALUE 0 g2d->cmdlist_mutex.dep_map->name 0-255
PARAM_VALUE 0 g2d->cmdlist_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 g2d->cmdlist_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 g2d->cmdlist_mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 g2d->cmdlist_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 g2d->cmdlist_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 g2d->cmdlist_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 g2d->cmdlist_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 g2d->cmdlist_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 1 node 4096-ptr_max
PARAM_VALUE 1 node->cmdlist 4096-ptr_max
PARAM_VALUE 1 node->cmdlist->data 4096-ptr_max
PARAM_VALUE 1 node->cmdlist->last 6-1024
PARAM_VALUE 1 node->event 0,4096-ptr_max
PARAM_VALUE 1 node->event->event.base.length 32
PARAM_VALUE 1 node->event->event.base.type 2147483648
PARAM_VALUE 1 node->list.next 4096-ptr_max
PARAM_VALUE 1 node->list.next->next 4096-ptr_max
PARAM_VALUE 1 node->list.next->prev 4096-ptr_max
PARAM_VALUE 1 node->list.prev 4096-ptr_max
PARAM_VALUE 1 node->list.prev->next 4096-ptr_max
PARAM_VALUE 1 node->list.prev->prev 4096-ptr_max
PARAM_VALUE 1 *node->buf_info->obj 0
PARAM_VALUE 1 *node->buf_info->reg_types (-1)-5
PARAM_VALUE 1 *node->buf_info->types 0
BUF_SIZE 0 g2d s32min-(-2),1-s32max
BUF_SIZE 0 g2d s32min-(-2),1-s32max
BUF_SIZE 1 node->event 0,104
DATA_SOURCE 1 node r g2d_get_cmdlist
FUZZY_MAX 1 node->cmdlist->last 6
PARAM_COMPARE 0 &g2d->free_cmdlist != $0->free_cmdlist.next
NOCHECK_CALL
USER_DATA 1 node->buf_info.map_nr 1-254[u]
USER_DATA 1 node->event->event.user_data 0-u64max[u]
UNITS 0 g2d unit_byte