Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/arm/display/komeda/komeda_crtc.c komeda_crtc_do_flush() -> (struct komeda_dev_funcs)->flush()

Type Parameter Key Value
PARAM_VALUE 0 mdev 4096-ptr_max
PARAM_VALUE 0 mdev->funcs 4096-ptr_max
BUF_SIZE 0 mdev s32min-(-2),1-s32max
BUF_SIZE 0 mdev s32min-(-2),1-s32max
CONTAINER 0 -88-248+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/gpu/drm/arm/display/komeda/komeda_crtc.c komeda_crtc_flush_and_wait_for_flip_done() -> (struct komeda_dev_funcs)->flush()

Type Parameter Key Value
PARAM_VALUE 0 mdev 4096-ptr_max
PARAM_VALUE 0 mdev->funcs 4096-ptr_max
PARAM_VALUE 2 active_pipes 0
CONTAINER 0 -88-248+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &state->dev->mode_config.connection_mutex
HALF_LOCKED2 &state->dev->mode_config.connection_mutex.mutex