Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/vboxvideo/vbox_irq.c vbox_update_mode_hints() -> validate_or_set_position_hints()

Type Parameter Key Value
PARAM_VALUE 0 vbox 4096-ptr_max
PARAM_VALUE 0 vbox->num_crtcs 1-32,u32max
DATA_SOURCE 0 vbox $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 vbox->any_pitch 0-1
HOST_DATA 0 vbox->available_vram_size 0-u32max
HOST_DATA 0 vbox->ddev.vram_mm->vram_size 0-u32max
HOST_DATA 0 vbox->fb_mtrr s32min-s32max
HOST_DATA 0 vbox->full_vram_size 0-u32max
HOST_DATA 0 vbox->hw_mutex.osq.tail.counter 0
HOST_DATA 0 vbox->hw_mutex.owner.counter 0
HOST_DATA 0 vbox->input_mapping_height 0-u32max
HOST_DATA 0 vbox->input_mapping_width 0-u32max
HOST_DATA 0 vbox->num_crtcs 1-32,u32max[c]
HOST_DATA 0 vbox->single_framebuffer 0-1
HALF_LOCKED2 &pool->lock