Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/gpu/drm/tegra/fbdev.c tegra_fb_mmap() -> tegra_fb_get_plane()

Type Parameter Key Value
PARAM_VALUE 1 index 0
RX_PATH
TASK_NOT_RUNNING
LOCK2 &info->mm_lock
HALF_LOCKED2 &ipcp->lock
TYPE_LOCK (struct fb_info)->mm_lock

drivers/gpu/drm/tegra/fbdev.c tegra_fbdev_fb_destroy() -> tegra_fb_get_plane()

Type Parameter Key Value
PARAM_VALUE 1 index 0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &registration_lock

drivers/gpu/drm/tegra/fb.c tegra_fb_is_bottom_up() -> tegra_fb_get_plane()

Type Parameter Key Value
PARAM_VALUE 0 framebuffer 4096-ptr_max
PARAM_VALUE 0 framebuffer->format 4096-ptr_max
PARAM_VALUE 0 framebuffer->format->format 842,825382478,825644622,842089025,842093121,842093913,842094158
PARAM_VALUE 1 index 0
DATA_SOURCE 0 framebuffer $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &client->modeset_mutex
HALF_LOCKED2 &dev->mode_config.connection_mutex
HALF_LOCKED2 &dev->mode_config.connection_mutex.mutex
HALF_LOCKED2 &state->dev->mode_config.connection_mutex
HALF_LOCKED2 &state->dev->mode_config.connection_mutex.mutex

drivers/gpu/drm/tegra/plane.c tegra_dc_pin() -> tegra_fb_get_plane()

Type Parameter Key Value
PARAM_VALUE 0 framebuffer 4096-ptr_max
PARAM_VALUE 0 framebuffer->format 4096-ptr_max
PARAM_VALUE 0 framebuffer->format->num_planes 1-255
PARAM_VALUE 1 index 0-254
CAPPED_DATA 1 index 1
PARAM_COMPARE 1 index < $0->format->num_planes
RX_PATH
TASK_NOT_RUNNING
UNITS 1 index unit_array_size