Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/char/ipmi/ipmi_msghandler.c add_dev_support_show() -> bmc_get_device_id()

Type Parameter Key Value
PARAM_VALUE 0 intf 0
PARAM_VALUE 1 bmc 4096-ptr_max
PARAM_VALUE 2 id 8597348627218587648
PARAM_VALUE 3 guid_set 0
PARAM_VALUE 4 guid 0
RX_PATH
TASK_NOT_RUNNING
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/char/ipmi/ipmi_msghandler.c aux_firmware_rev_show() -> bmc_get_device_id()

Type Parameter Key Value
PARAM_VALUE 0 intf 0
PARAM_VALUE 1 bmc 4096-ptr_max
PARAM_VALUE 2 id 5244514239796858880
PARAM_VALUE 3 guid_set 0
PARAM_VALUE 4 guid 0
RX_PATH
TASK_NOT_RUNNING
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/char/ipmi/ipmi_msghandler.c bmc_dev_attr_is_visible() -> bmc_get_device_id()

Type Parameter Key Value
PARAM_VALUE 0 intf 0
PARAM_VALUE 1 bmc 4096-ptr_max
PARAM_VALUE 2 id 8696349833498894336
PARAM_VALUE 3 guid_set 0
PARAM_VALUE 4 guid 0
RX_PATH
TASK_NOT_RUNNING

drivers/char/ipmi/ipmi_msghandler.c bmc_dev_attr_is_visible() -> bmc_get_device_id()

Type Parameter Key Value
PARAM_VALUE 0 intf 0
PARAM_VALUE 1 bmc 4096-ptr_max
PARAM_VALUE 2 id 0
PARAM_VALUE 3 guid_set 3285637789857669120
PARAM_VALUE 4 guid 0
RX_PATH
TASK_NOT_RUNNING

drivers/char/ipmi/ipmi_msghandler.c device_id_show() -> bmc_get_device_id()

Type Parameter Key Value
PARAM_VALUE 0 intf 0
PARAM_VALUE 1 bmc 4096-ptr_max
PARAM_VALUE 2 id 3171804931553656832
PARAM_VALUE 3 guid_set 0
PARAM_VALUE 4 guid 0
RX_PATH
TASK_NOT_RUNNING
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/char/ipmi/ipmi_msghandler.c firmware_revision_show() -> bmc_get_device_id()

Type Parameter Key Value
PARAM_VALUE 0 intf 0
PARAM_VALUE 1 bmc 4096-ptr_max
PARAM_VALUE 2 id 7853800834167566336
PARAM_VALUE 3 guid_set 0
PARAM_VALUE 4 guid 0
RX_PATH
TASK_NOT_RUNNING
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/char/ipmi/ipmi_msghandler.c guid_show() -> bmc_get_device_id()

Type Parameter Key Value
PARAM_VALUE 0 intf 0
PARAM_VALUE 1 bmc 4096-ptr_max
PARAM_VALUE 2 id 0
PARAM_VALUE 3 guid_set 3690840023499591680
PARAM_VALUE 4 guid 2324227876940525568
RX_PATH
TASK_NOT_RUNNING
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/char/ipmi/ipmi_msghandler.c ipmi_get_version() -> bmc_get_device_id()

Type Parameter Key Value
PARAM_VALUE 1 bmc 0
PARAM_VALUE 2 id 7904632184791855104
PARAM_VALUE 3 guid_set 0
PARAM_VALUE 4 guid 0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &smi_watchers_mutex

drivers/char/ipmi/ipmi_msghandler.c ipmi_version_show() -> bmc_get_device_id()

Type Parameter Key Value
PARAM_VALUE 0 intf 0
PARAM_VALUE 1 bmc 4096-ptr_max
PARAM_VALUE 2 id 4319177018213912576
PARAM_VALUE 3 guid_set 0
PARAM_VALUE 4 guid 0
RX_PATH
TASK_NOT_RUNNING
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/char/ipmi/ipmi_msghandler.c manufacturer_id_show() -> bmc_get_device_id()

Type Parameter Key Value
PARAM_VALUE 0 intf 0
PARAM_VALUE 1 bmc 4096-ptr_max
PARAM_VALUE 2 id 7160798662744825856
PARAM_VALUE 3 guid_set 0
PARAM_VALUE 4 guid 0
RX_PATH
TASK_NOT_RUNNING
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/char/ipmi/ipmi_msghandler.c product_id_show() -> bmc_get_device_id()

Type Parameter Key Value
PARAM_VALUE 0 intf 0
PARAM_VALUE 1 bmc 4096-ptr_max
PARAM_VALUE 2 id 2826245307566231552
PARAM_VALUE 3 guid_set 0
PARAM_VALUE 4 guid 0
RX_PATH
TASK_NOT_RUNNING
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/char/ipmi/ipmi_msghandler.c provides_device_sdrs_show() -> bmc_get_device_id()

Type Parameter Key Value
PARAM_VALUE 0 intf 0
PARAM_VALUE 1 bmc 4096-ptr_max
PARAM_VALUE 2 id 7438890387680641024
PARAM_VALUE 3 guid_set 0
PARAM_VALUE 4 guid 0
RX_PATH
TASK_NOT_RUNNING
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/char/ipmi/ipmi_msghandler.c redo_bmc_reg() -> bmc_get_device_id()

Type Parameter Key Value
PARAM_VALUE 0 intf 4096-ptr_max
PARAM_VALUE 0 intf->in_shutdown 0
PARAM_VALUE 1 bmc 0
PARAM_VALUE 2 id 0
PARAM_VALUE 3 guid_set 0
PARAM_VALUE 4 guid 0
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/char/ipmi/ipmi_msghandler.c revision_show() -> bmc_get_device_id()

Type Parameter Key Value
PARAM_VALUE 0 intf 0
PARAM_VALUE 1 bmc 4096-ptr_max
PARAM_VALUE 2 id 9099839688814972928
PARAM_VALUE 3 guid_set 0
PARAM_VALUE 4 guid 0
RX_PATH
TASK_NOT_RUNNING
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex