Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/gpu/drm/gma500/psb_drv.c psb_driver_load() -> psb_mmu_alloc_pd()

Type Parameter Key Value
PARAM_VALUE 0 driver 4096-ptr_max
PARAM_VALUE 0 driver->default_pd 4096-ptr_max
PARAM_VALUE 0 driver->default_pd->driver 4096-ptr_max
PARAM_VALUE 0 driver->default_pd->driver->dev 4096-ptr_max
PARAM_VALUE 0 driver->default_pd->dummy_page 4096-ptr_max
PARAM_VALUE 0 driver->default_pd->dummy_page->_refcount.counter 1
PARAM_VALUE 0 driver->default_pd->dummy_pt 4096-ptr_max
PARAM_VALUE 0 driver->default_pd->dummy_pt->_refcount.counter 1
PARAM_VALUE 0 driver->default_pd->hw_context (-1)
PARAM_VALUE 0 driver->default_pd->p 4096-ptr_max
PARAM_VALUE 0 driver->default_pd->p->_refcount.counter 1
PARAM_VALUE 0 driver->default_pd->pd_mask 1
PARAM_VALUE 0 driver->default_pd->tables 1-u64max
PARAM_VALUE 0 driver->dev 4096-ptr_max
PARAM_VALUE 0 driver->dev->dev 4096-ptr_max
PARAM_VALUE 0 driver->has_clflush 0-1
PARAM_VALUE 0 driver->msvdx_mmu_invaldc 0
PARAM_VALUE 0 driver->needs_tlbflush.counter 1
PARAM_VALUE 0 driver->sem.dep_map->name 0-255
PARAM_VALUE 0 driver->sem.first_waiter->handoff_set 1
PARAM_VALUE 0 driver->sem.first_waiter->list.next 2624917664208203776
PARAM_VALUE 0 driver->sem.first_waiter->list.prev 2624917664208203776
PARAM_VALUE 0 driver->sem.first_waiter->type 0-1
PARAM_VALUE 0 driver->sem.magic 4096-ptr_max
PARAM_VALUE 0 driver->sem.osq.tail.counter 0-s32max
PARAM_VALUE 0 driver->sem.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 driver->sem.wait_lock.owner (-1)
PARAM_VALUE 0 driver->sem.wait_lock.owner_cpu u32max
PARAM_VALUE 1 trap_pagefaults 1
PARAM_VALUE 2 invalid_type 0
BUF_SIZE 0 driver 288
BUF_SIZE 0 driver->dev 3696
DATA_SOURCE 0 driver r psb_mmu_driver_init
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 driver->bif_ctrl 0-u32max
HOST_DATA 0 driver->clflush_add s32min-s32max
HOST_DATA 0 driver->clflush_mask 0-u64max
HOST_DATA 0 driver->needs_tlbflush.counter 1
HOST_DATA 0 driver->sem.osq.tail.counter 0-s32max
HOST_DATA 0 *driver s64min-s64max

drivers/gpu/drm/gma500/mmu.c psb_mmu_driver_init() -> psb_mmu_alloc_pd()

Type Parameter Key Value
PARAM_VALUE 0 driver 4096-ptr_max
PARAM_VALUE 0 driver->dev 4096-ptr_max
PARAM_VALUE 0 driver->dev->dev 4096-ptr_max
PARAM_VALUE 1 trap_pagefaults 1
PARAM_VALUE 2 invalid_type 0
BUF_SIZE 0 driver 288
BUF_SIZE 0 driver->dev 3696
DATA_SOURCE 0 driver r _kmalloc_noprof
DATA_SOURCE 1 trap_pagefaults $1
DATA_SOURCE 2 invalid_type $2
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock