Open Menu /

Defined in 2 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/char/ipmi/ipmi_msghandler.c ipmi_request_settime() -> check_addr()

Type Parameter Key Value
PARAM_VALUE 1 pkt 4096-ptr_max
PARAM_VALUE 1 pkt->channel 0-15
PARAM_VALUE 2 qp 6081929613397274624
PARAM_VALUE 2 *qp 0
PARAM_VALUE 3 lun 1621135674927325184
PARAM_VALUE 3 *lun 0
DATA_SOURCE 1 pkt $1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 pkt->addr_type 1,4,12,65,129
USER_DATA 1 pkt->channel 0-15
USER_PTR 1 pkt->data

drivers/char/ipmi/ipmi_msghandler.c ipmi_request_supply_msgs() -> check_addr()

Type Parameter Key Value
PARAM_VALUE 1 pkt 4096-ptr_max
PARAM_VALUE 2 qp 8188523053791059968
PARAM_VALUE 2 *qp 0
PARAM_VALUE 3 lun 2083515845281394688
PARAM_VALUE 3 *lun 0
BUF_SIZE 1 pkt 8
BUF_SIZE 1 pkt 8
DATA_SOURCE 1 pkt $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &ipmi_watchdog_mutex

drivers/infiniband/sw/rxe/rxe_recv.c hdr_check() -> check_addr()

Type Parameter Key Value
PARAM_VALUE 1 pkt 4096-ptr_max
PARAM_VALUE 1 pkt->hdr 4096-ptr_max
PARAM_VALUE 1 pkt->paylen 4-u16max
PARAM_VALUE 1 pkt->psn 0-16777215
PARAM_VALUE 1 pkt->qp 0
PARAM_VALUE 2 qp 4096-ptr_max
PARAM_VALUE 2 qp->attr.qp_state 2-u32max
PARAM_VALUE 2 qp->state_lock.rlock.dep_map->name 0-255
PARAM_VALUE 2 qp->valid 1-u32max
BUF_SIZE 1 pkt 48
CAPPED_DATA 1 pkt->psn 1
DATA_SOURCE 1 pkt $0
DATA_SOURCE 2 qp r rxe_pool_get_index
RX_PATH
TASK_NOT_RUNNING