Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/gma500/mmu.c psb_mmu_alloc_pt() -> psb_clflush()

Type Parameter Key Value
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &pd->driver->sem
LOCK2 lock
HALF_LOCKED2 &pd->driver->lock
HALF_LOCKED2 obj->resv
TYPE_LOCK (struct psb_mmu_driver)->sem

drivers/gpu/drm/gma500/mmu.c psb_mmu_clflush() -> psb_clflush()

Type Parameter Key Value
DATA_SOURCE 0 addr $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &driver->sem
HALF_LOCKED2 &pd->driver->lock
HALF_LOCKED2 &pd->driver->sem
HALF_LOCKED2 lock
HALF_LOCKED2 obj->resv
TYPE_LOCK (struct psb_mmu_driver)->sem

drivers/gpu/drm/gma500/mmu.c psb_mmu_flush_ptes() -> psb_clflush()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &pd->driver->lock
LOCK2 &pd->driver->sem
HALF_LOCKED2 obj->resv
TYPE_LOCK (struct psb_mmu_driver)->lock
TYPE_LOCK (struct psb_mmu_driver)->sem