Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/firmware/qemu_fw_cfg.c fw_cfg_sysfs_exit() -> fw_cfg_kobj_cleanup()

Type Parameter Key Value
NOCHECK_CALL

drivers/firmware/qemu_fw_cfg.c fw_cfg_sysfs_init() -> fw_cfg_kobj_cleanup()

Type Parameter Key Value
PARAM_VALUE 0 kobj 4096-ptr_max
PARAM_VALUE 0 kobj->entry.next 4096-ptr_max
PARAM_VALUE 0 kobj->entry.next->next 4096-ptr_max
PARAM_VALUE 0 kobj->entry.prev->next 4096-ptr_max
PARAM_VALUE 0 kobj->entry.prev->prev 4096-ptr_max
PARAM_VALUE 0 kobj->kref.refcount.refs.counter 1
PARAM_VALUE 0 kobj->kset 0,4096-ptr_max
PARAM_VALUE 0 kobj->kset->list.prev 4096-ptr_max
PARAM_VALUE 0 kobj->kset->list.prev->next 4096-ptr_max
PARAM_VALUE 0 kobj->kset->list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 kobj->kset->list_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 kobj->ktype 1915817945436012544
PARAM_VALUE 0 kobj->name 4096-ptr_max
PARAM_VALUE 0 kobj->sd 4096-ptr_max
PARAM_VALUE 0 kobj->state_add_uevent_sent 0
PARAM_VALUE 0 kobj->state_in_sysfs 1
PARAM_VALUE 0 kobj->state_initialized 1
PARAM_VALUE 0 kobj->state_remove_uevent_sent 0
BUF_SIZE 0 kobj 248
DATA_SOURCE 0 kobj r kobject_create_and_add
NOCHECK_CALL

drivers/firmware/qemu_fw_cfg.c fw_cfg_sysfs_probe() -> fw_cfg_kobj_cleanup()

Type Parameter Key Value
PARAM_VALUE 0 kobj 4096-ptr_max
PARAM_VALUE 0 kobj->entry.next 4096-ptr_max
PARAM_VALUE 0 kobj->entry.next->next 4096-ptr_max
PARAM_VALUE 0 kobj->entry.prev->next 4096-ptr_max
PARAM_VALUE 0 kobj->entry.prev->prev 4096-ptr_max
PARAM_VALUE 0 kobj->kref.refcount.refs.counter 1
PARAM_VALUE 0 kobj->kset 0,4096-ptr_max
PARAM_VALUE 0 kobj->kset->list.prev 4096-ptr_max
PARAM_VALUE 0 kobj->kset->list.prev->next 4096-ptr_max
PARAM_VALUE 0 kobj->kset->list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 kobj->kset->list_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 kobj->ktype 1915817945436012544
PARAM_VALUE 0 kobj->name 4096-ptr_max
PARAM_VALUE 0 kobj->sd 4096-ptr_max
PARAM_VALUE 0 kobj->state_add_uevent_sent 0
PARAM_VALUE 0 kobj->state_in_sysfs 1
PARAM_VALUE 0 kobj->state_initialized 1
PARAM_VALUE 0 kobj->state_remove_uevent_sent 0
BUF_SIZE 0 kobj 248
DATA_SOURCE 0 kobj r kobject_create_and_add
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/firmware/qemu_fw_cfg.c fw_cfg_sysfs_remove() -> fw_cfg_kobj_cleanup()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &_dev->mutex