Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/char/ipmi/ipmi_msghandler.c check_msg_timeout() -> is_lan_addr()

Type Parameter Key Value
PARAM_VALUE 0 addr 4096-ptr_max
LOCK2 &intf->seq_lock
LOCK2 global &ipmi_interfaces_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct ipmi_smi)->seq_lock

drivers/char/ipmi/ipmi_msghandler.c check_msg_timeout() -> is_lan_addr()

Type Parameter Key Value
PARAM_VALUE 0 addr 4096-ptr_max
LOCK2 &intf->seq_lock
LOCK2 global &ipmi_interfaces_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct ipmi_smi)->seq_lock

drivers/char/ipmi/ipmi_msghandler.c check_msg_timeout() -> is_lan_addr()

Type Parameter Key Value
PARAM_VALUE 0 addr 4096-ptr_max
LOCK2 global &ipmi_interfaces_mutex
HALF_LOCKED2 &pool->lock

drivers/char/ipmi/ipmi_msghandler.c i_ipmi_request() -> is_lan_addr()

Type Parameter Key Value
PARAM_VALUE 0 addr 4096-ptr_max
PARAM_VALUE 0 addr->addr_type s32min-0,2-11,13-64,66-128,130-s32max
BUF_SIZE 0 addr (-1),8
BUF_SIZE 0 addr (-1),8
DATA_SOURCE 0 addr $2
NOSPEC 0 addr->channel
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 addr->addr_type 4
USER_DATA 0 addr->channel 0-15[c]
USER_PTR 0 addr->data
HALF_LOCKED2 &intf->users_mutex

drivers/char/ipmi/ipmi_msghandler.c ipmi_addr_equal() -> is_lan_addr()

Type Parameter Key Value
PARAM_VALUE 0 addr 506873700694675456,1302130992019832832
PARAM_VALUE 0 addr->addr_type s32min-0,2-11,13-64,66-128,130-s32max
BUF_SIZE 0 addr 8,12
BUF_SIZE 0 addr 8,12
CAPPED_DATA 0 addr->addr_type 1
CAPPED_DATA 0 addr->channel 1
DATA_SOURCE 0 addr $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &intf->seq_lock
TYPE_LOCK (struct ipmi_smi)->seq_lock

drivers/char/ipmi/ipmi_msghandler.c ipmi_validate_addr() -> is_lan_addr()

Type Parameter Key Value
PARAM_VALUE 0 addr 4096-ptr_max
PARAM_VALUE 0 addr->addr_type s32min-0,2-11,13-64,66-128,130-s32max
DATA_SOURCE 0 addr $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 addr->addr_type s32min-0,2-11,13-64,66-128,130-s32max
USER_DATA 0 addr->channel 0-14
USER_PTR 0 addr->data