Defined in 2 files as a function:

Referenced in 3 files:

Smatch caller information:

sound/core/seq/seq_dummy.c alsa_seq_dummy_init() -> register_client()

Type Parameter Key Value

drivers/gpu/vga/vga_switcheroo.c vga_switcheroo_register_audio_client() -> register_client()

Type Parameter Key Value
PARAM_VALUE 0 pdev 4096-ptr_max
PARAM_VALUE 1 ops 7406088606694498304
PARAM_VALUE 1 ops->gpu_bound 5068555138402140160
PARAM_VALUE 2 id 256-257,4352
PARAM_VALUE 3 vga_dev 0,4096-ptr_max
PARAM_VALUE 3 vga_dev->bus 4096-ptr_max
PARAM_VALUE 3 vga_dev->dev->kobj.release.timer->entry.pprev 4096-ptr_max
PARAM_VALUE 3 vga_dev->dev.kobj.release.timer.is_hard 0-1
PARAM_VALUE 3 vga_dev->dev.kobj.release.timer.is_lazy 0-1
PARAM_VALUE 3 vga_dev->dev.kobj.release.timer.is_queued 0-1
PARAM_VALUE 3 vga_dev->dev.kobj.release.timer.is_soft 0-1
PARAM_VALUE 3 vga_dev->dev.kobj.release.work.entry.next->prev 4096-ptr_max
PARAM_VALUE 3 vga_dev->devfn 0
PARAM_VALUE 4 active 0
PARAM_VALUE 5 driver_power_control 1
DATA_SOURCE 0 pdev $0
DATA_SOURCE 1 ops $1
DATA_SOURCE 3 vga_dev $2
BIT_INFO 2 id 0x100,0x1fff
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock

drivers/gpu/vga/vga_switcheroo.c vga_switcheroo_register_client() -> register_client()

Type Parameter Key Value
PARAM_VALUE 0 pdev 4096-ptr_max
PARAM_VALUE 1 ops 713757475241717760,5633251957247979520,5662814978476642304
PARAM_VALUE 2 id 4096
PARAM_VALUE 3 vga_dev 0
CAPPED_DATA 0 pdev 1
DATA_SOURCE 0 pdev $0
DATA_SOURCE 1 ops $1
DATA_SOURCE 5 driver_power_control $2
RX_PATH
TASK_NOT_RUNNING
UNITS 0 pdev unit_byte