Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/char/ipmi/ipmi_si_intf.c init_ipmi_si() -> ipmi_smi_info_same()

Type Parameter Key Value
PARAM_VALUE 0 e1 4096-ptr_max
PARAM_VALUE 1 e2 4096-ptr_max
CAPPED_DATA 0 &e1->link 1
CAPPED_DATA 1 &e2->link 1
PARAM_COMPARE 0 e1 != $1
PARAM_COMPARE 0 e1 != $1
PARAM_COMPARE 1 e2 != $0
LOCK2 global &smi_infos_lock

drivers/char/ipmi/ipmi_si_intf.c init_ipmi_si() -> ipmi_smi_info_same()

Type Parameter Key Value
PARAM_VALUE 0 e1 4096-ptr_max
PARAM_VALUE 1 e2 4096-ptr_max
CAPPED_DATA 0 &e1->link 1
CAPPED_DATA 1 &e2->link 1
LOCK2 global &smi_infos_lock

drivers/char/ipmi/ipmi_si_intf.c init_ipmi_si() -> ipmi_smi_info_same()

Type Parameter Key Value
PARAM_VALUE 0 e1 4096-ptr_max
PARAM_VALUE 1 e2 4096-ptr_max
CAPPED_DATA 0 &e1->link 1
CAPPED_DATA 1 &e2->link 1
PARAM_COMPARE 0 e1 != $1
PARAM_COMPARE 0 e1 != $1
PARAM_COMPARE 1 e2 != $0
LOCK2 global &smi_infos_lock