Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 1 hw_context 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 pd 4096-ptr_max
PARAM_VALUE 0 pd->driver 4096-ptr_max
PARAM_VALUE 0 pd->driver->dev 4096-ptr_max
PARAM_VALUE 0 pd->dummy_page 4096-ptr_max
PARAM_VALUE 0 pd->dummy_page->_refcount.counter 1
PARAM_VALUE 0 pd->dummy_pt 4096-ptr_max
PARAM_VALUE 0 pd->dummy_pt->_refcount.counter 1
PARAM_VALUE 0 pd->hw_context (-1)
PARAM_VALUE 0 pd->p 4096-ptr_max
PARAM_VALUE 0 pd->p->_refcount.counter 1
PARAM_VALUE 0 pd->pd_mask 1
PARAM_VALUE 0 pd->tables 1-u64max
PARAM_VALUE 1 hw_context 1
BUF_SIZE 0 pd 64
BUF_SIZE 0 pd->driver 288
DATA_SOURCE 0 pd r psb_mmu_alloc_pd
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 pd->driver->bif_ctrl 0-u32max
HOST_DATA 0 pd->driver->clflush_add s32min-s32max
HOST_DATA 0 pd->driver->clflush_mask 0-u64max
HOST_DATA 0 pd->driver->needs_tlbflush.counter 1
HOST_DATA 0 pd->driver->sem.osq.tail.counter 0-s32max