Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/vmwgfx/vmwgfx_fence.c vmw_event_fence_action_create() -> fman_from_fence()

Type Parameter Key Value
PARAM_VALUE 0 fence 4096-ptr_max
BUF_SIZE 0 fence (-1),160
BUF_SIZE 0 fence (-1),160
DATA_SOURCE 0 fence $1

drivers/gpu/drm/vmwgfx/vmwgfx_fence.c vmw_event_fence_action_queue() -> fman_from_fence()

Type Parameter Key Value
PARAM_VALUE 0 fence 4096-ptr_max
BUF_SIZE 0 fence (-1),160
BUF_SIZE 0 fence (-1),160
DATA_SOURCE 0 fence $1

drivers/gpu/drm/vmwgfx/vmwgfx_fence.c vmw_fence_enable_signaling() -> fman_from_fence()

Type Parameter Key Value
PARAM_VALUE 0 fence 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
LOCK2 flags
LOCK2 rcu_read
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &vm->lock
HALF_LOCKED2 global &drm_unplug_srcu

drivers/gpu/drm/vmwgfx/vmwgfx_fence.c vmw_fence_obj_destroy() -> fman_from_fence()

Type Parameter Key Value
PARAM_VALUE 0 fence 4096-ptr_max
LOCK2 rcu_read

drivers/gpu/drm/vmwgfx/vmwgfx_fence.c vmw_fence_obj_signaled() -> fman_from_fence()

Type Parameter Key Value
PARAM_VALUE 0 fence 4096-ptr_max
BUF_SIZE 0 fence 160
DATA_SOURCE 0 fence $0