Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/platform/wmi/core.c wmi_create_device() -> wmi_dev_set_name()

Type Parameter Key Value
PARAM_VALUE 0 wblock 4096-ptr_max
PARAM_VALUE 0 wblock->acpi_device 4096-ptr_max
PARAM_VALUE 0 wblock->acpi_device->handle 0,4096-ptr_max,(-1)
PARAM_VALUE 0 wblock->dev.dev.bus 106530409171361792
PARAM_VALUE 0 wblock->dev.dev.id 0-s32max
PARAM_VALUE 0 wblock->dev.dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 wblock->dev.dev.parent 4096-ptr_max
PARAM_VALUE 0 wblock->dev.dev.parent->driver_data 4096-ptr_max
PARAM_VALUE 0 wblock->dev.dev.parent->init_name 0
PARAM_VALUE 0 wblock->dev.dev.parent->p 0,4096-ptr_max
PARAM_VALUE 0 wblock->dev.dev.type 2798536733471010816,3608768639735156736,5004161482114506752
PARAM_VALUE 0 wblock->driver_ready 0
PARAM_VALUE 0 wblock->gblock.instance_count 1-255
PARAM_VALUE 0 wblock->notify_lock.count.counter 0
PARAM_VALUE 0 wblock->notify_lock.dep_map->name 0-255
PARAM_VALUE 0 wblock->notify_lock.first_waiter 0
PARAM_VALUE 0 wblock->notify_lock.magic 4096-ptr_max
PARAM_VALUE 0 wblock->notify_lock.osq.tail.counter 0
PARAM_VALUE 0 wblock->notify_lock.owner.counter 0
PARAM_VALUE 1 count 0
BUF_SIZE 0 wblock 1848
BUF_SIZE 0 wblock->dev.dev.bus 168
BUF_SIZE 0 wblock->dev.dev.parent 1616
BUF_SIZE 0 wblock->dev.dev.type 48
DATA_SOURCE 0 wblock $1
DATA_SOURCE 1 count r guid_count
BIT_INFO 0 wblock->dev.dev.type 0x10425000208000,0x77f6fffffffbf000
RX_PATH
TASK_NOT_RUNNING