Open Menu /

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/char/ipmi/ipmi_ssif.c ssif_detect() -> ipmi_demangle_device_id()

Type Parameter Key Value
PARAM_VALUE 0 netfn 0-63
PARAM_VALUE 3 data_len 1-270
PARAM_VALUE 4 id 7002645527306178560
BUF_SIZE 2 data 270
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &subdev->use.mutex
HALF_LOCKED2 global &ssif_infos_mutex

drivers/char/ipmi/ipmi_msghandler.c bmc_device_id_handler() -> ipmi_demangle_device_id()

Type Parameter Key Value
PARAM_VALUE 0 netfn 7
PARAM_VALUE 1 cmd 1
PARAM_VALUE 2 data 4096-ptr_max
PARAM_VALUE 4 id 4096-ptr_max
BUF_SIZE 2 data (-1),272
BUF_SIZE 2 data (-1),272
RX_PATH
TASK_NOT_RUNNING
UNITS 3 data_len unit_byte
HALF_LOCKED2 &intf->events_mutex

drivers/char/ipmi/ipmi_si_intf.c try_get_dev_id() -> ipmi_demangle_device_id()

Type Parameter Key Value
PARAM_VALUE 0 netfn 0-63
PARAM_VALUE 3 data_len 0-270,4294967294-u32max
PARAM_VALUE 4 id 4096-ptr_max
BUF_SIZE 2 data 270
CAPPED_DATA 3 data_len 1
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &smi_infos_lock