Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/hw/mlx5/srq_cmd.c __set_srq_page_size() -> get_pas_size()

Type Parameter Key Value
PARAM_VALUE 0 in 6414845433791070208
PARAM_VALUE 0 in->log_page_size 0-52,4294967284-u32max
PARAM_VALUE 0 in->log_size 0-31,u32max
PARAM_VALUE 0 in->wqe_shift 0-27,4294967292-u32max
CAPPED_DATA 0 in->pas 1
CAPPED_DATA 0 in->tm_log_list_size 1
DATA_SOURCE 0 in $0
BIT_INFO 0 in->flags 0x0,0x6
BIT_INFO 0 in->log_page_size 0x0,0x3f
BIT_INFO 0 in->log_size 0x0,0x1f
BIT_INFO 0 in->tm_log_list_size 0x0,0x3f
BIT_INFO 0 in->wqe_shift 0x0,0x1f
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 in->tm_log_list_size 0-31[c]
USER_DATA 0 in->type 0
USER_DATA 0 in->user_index 0-16777214
HALF_LOCKED2 &devr->srq_lock
HALF_LOCKED2 global &device_list_mutex

drivers/infiniband/hw/mlx5/srq_cmd.c create_rmp_cmd() -> get_pas_size()

Type Parameter Key Value
PARAM_VALUE 0 in 6414845433791070208
PARAM_VALUE 0 in->log_page_size 0-52,4294967284-u32max
PARAM_VALUE 0 in->log_size 0-31,u32max
PARAM_VALUE 0 in->wqe_shift 0-27,4294967292-u32max
CAPPED_DATA 0 in->pas 1
CAPPED_DATA 0 in->tm_log_list_size 1
DATA_SOURCE 0 in $2
BIT_INFO 0 in->flags 0x0,0x6
BIT_INFO 0 in->log_size 0x0,0x1f
BIT_INFO 0 in->tm_log_list_size 0x0,0x3f
BIT_INFO 0 in->wqe_shift 0x0,0x1f
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 in->tm_log_list_size 0-31[c]
USER_DATA 0 in->type 0
USER_DATA 0 in->user_index 0-16777214
HALF_LOCKED2 &devr->srq_lock
HALF_LOCKED2 global &device_list_mutex

drivers/infiniband/hw/mlx5/srq_cmd.c create_srq_cmd() -> get_pas_size()

Type Parameter Key Value
PARAM_VALUE 0 in 6414845433791070208
PARAM_VALUE 0 in->log_page_size 0-52,4294967284-u32max
PARAM_VALUE 0 in->log_size 0-31,u32max
PARAM_VALUE 0 in->wqe_shift 0-27,4294967292-u32max
CAPPED_DATA 0 in->pas 1
CAPPED_DATA 0 in->tm_log_list_size 1
DATA_SOURCE 0 in $2
BIT_INFO 0 in->flags 0x0,0x6
BIT_INFO 0 in->log_size 0x0,0x1f
BIT_INFO 0 in->tm_log_list_size 0x0,0x3f
BIT_INFO 0 in->wqe_shift 0x0,0x1f
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 in->tm_log_list_size 0-31[c]
USER_DATA 0 in->type 0
USER_DATA 0 in->user_index 0-16777214
HALF_LOCKED2 &devr->srq_lock
HALF_LOCKED2 global &device_list_mutex

drivers/infiniband/hw/mlx5/srq_cmd.c create_xrc_srq_cmd() -> get_pas_size()

Type Parameter Key Value
PARAM_VALUE 0 in 6414845433791070208
PARAM_VALUE 0 in->log_page_size 0-52,4294967284-u32max
PARAM_VALUE 0 in->log_size 0-31,u32max
PARAM_VALUE 0 in->wqe_shift 0-27,4294967292-u32max
CAPPED_DATA 0 in->pas 1
CAPPED_DATA 0 in->tm_log_list_size 1
DATA_SOURCE 0 in $2
BIT_INFO 0 in->flags 0x0,0x6
BIT_INFO 0 in->log_size 0x0,0x1f
BIT_INFO 0 in->tm_log_list_size 0x0,0x3f
BIT_INFO 0 in->wqe_shift 0x0,0x1f
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 in->tm_log_list_size 0-31[c]
USER_DATA 0 in->type 0
USER_DATA 0 in->user_index 0-16777214
HALF_LOCKED2 &devr->srq_lock
HALF_LOCKED2 global &device_list_mutex

drivers/infiniband/hw/mlx5/srq_cmd.c create_xrq_cmd() -> get_pas_size()

Type Parameter Key Value
PARAM_VALUE 0 in 6414845433791070208
PARAM_VALUE 0 in->log_page_size 0-52,4294967284-u32max
PARAM_VALUE 0 in->log_size 0-31,u32max
PARAM_VALUE 0 in->wqe_shift 0-27,4294967292-u32max
CAPPED_DATA 0 in->pas 1
CAPPED_DATA 0 in->tm_log_list_size 1
DATA_SOURCE 0 in $2
BIT_INFO 0 in->flags 0x0,0x6
BIT_INFO 0 in->log_size 0x0,0x1f
BIT_INFO 0 in->tm_log_list_size 0x0,0x3f
BIT_INFO 0 in->wqe_shift 0x0,0x1f
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 in->tm_log_list_size 0-31[c]
USER_DATA 0 in->type 0
USER_DATA 0 in->user_index 0-16777214
HALF_LOCKED2 &devr->srq_lock
HALF_LOCKED2 global &device_list_mutex