Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/panfrost/panfrost_mmu.c panfrost_mmu_irq_handler_thread() -> panfrost_mmu_disable()

Type Parameter Key Value
PARAM_VALUE 0 pfdev 4096-ptr_max
PARAM_VALUE 0 pfdev->as_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 pfdev->base.dev 0,4096-ptr_max
PARAM_VALUE 0 pfdev->base.dev->bus 0,4096-ptr_max
PARAM_VALUE 0 pfdev->base.dev->class 0,4096-ptr_max
PARAM_VALUE 0 pfdev->base.dev->driver 0,4096-ptr_max
PARAM_VALUE 0 pfdev->base.dev->power.wakeirq->status 0-4294967295
DATA_SOURCE 0 pfdev $1
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &pfdev->as_lock
TYPE_LOCK (struct panfrost_device)->as_lock

drivers/gpu/drm/panfrost/panfrost_mmu.c panfrost_mmu_release_ctx() -> panfrost_mmu_disable()

Type Parameter Key Value
PARAM_VALUE 0 pfdev 4096-ptr_max
PARAM_VALUE 0 pfdev->as_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 pfdev->base.dev 4096-ptr_max
PARAM_VALUE 1 as_nr 0-s32max
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &pfdev->as_lock
TYPE_LOCK (struct panfrost_device)->as_lock