Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/drm_framebuffer.c drm_framebuffer_remove() -> atomic_remove_fb()

Type Parameter Key Value
PARAM_VALUE 0 fb 4096-ptr_max
PARAM_VALUE 0 fb->base.refcount.refcount.refs.counter s32min-(-1),2-s32max
PARAM_VALUE 0 fb->dev->driver 4096-ptr_max
PARAM_VALUE 0 fb->funcs->create_handle 0,136021296690790400,489985966628564992,1324109970670620672,2867967462721433600,3616651681677144064
PARAM_VALUE 0 fb->funcs->destroy 0,4096-ptr_max
PARAM_VALUE 0 fb->funcs->dirty 0,2907662053979725824,3676375001506254848,5202095228101689344,6546811231566618624,7307232787801481216,9046494490652217344
PARAM_VALUE 0 *fb->offsets 0-4294967295
PARAM_VALUE 0 *fb->pitches 0-4294967295
BUF_SIZE 0 fb (-1),8,192
BUF_SIZE 0 fb (-1),8,192
CAPPED_DATA 0 &fb->filp_head 1
DATA_SOURCE 0 fb $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dev->clientlist_mutex
HALF_LOCKED2 &helper->lock