Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/pse-pd/pse_core.c pse_disable_pi_prio() -> pse_disable_pi_pol()

Type Parameter Key Value
PARAM_VALUE 0 pcdev 4096-ptr_max
PARAM_VALUE 0 pcdev->nr_lines 1-u32max
PARAM_VALUE 0 pcdev->ops 4096-ptr_max
PARAM_VALUE 0 pcdev->ops->pi_disable 1-u64max
PARAM_VALUE 0 pcdev->ops->pi_enable 1-u64max
PARAM_VALUE 0 pcdev->ops->pi_get_actual_pw 0,4096-ptr_max
PARAM_VALUE 0 pcdev->ops->pi_get_admin_state 4096-ptr_max
PARAM_VALUE 0 pcdev->ops->pi_get_ext_state 0,4096-ptr_max
PARAM_VALUE 0 pcdev->ops->pi_get_prio 0,4096-ptr_max
PARAM_VALUE 0 pcdev->ops->pi_get_pw_class 0,4096-ptr_max
PARAM_VALUE 0 pcdev->ops->pi_get_pw_limit 0,4096-ptr_max
PARAM_VALUE 0 pcdev->ops->pi_get_pw_limit_ranges 0,4096-ptr_max
PARAM_VALUE 0 pcdev->ops->pi_get_pw_req 4096-ptr_max
PARAM_VALUE 0 pcdev->ops->pi_get_pw_status 4096-ptr_max
PARAM_VALUE 0 pcdev->ops->pi_get_voltage 0,4096-ptr_max
PARAM_VALUE 0 pcdev->ops->pi_set_prio 0,4096-ptr_max
PARAM_VALUE 0 pcdev->ops->pi_set_pw_limit 0,4096-ptr_max
PARAM_VALUE 0 pcdev->ops->setup_pi_matrix 0,4096-ptr_max
PARAM_VALUE 0 pcdev->pi 4096-ptr_max
PARAM_VALUE 1 id 0-s32max
BUF_SIZE 0 pcdev s32min-(-1),1-s32max
BUF_SIZE 0 pcdev s32min-(-1),1-s32max
CAPPED_DATA 1 id 1
DATA_SOURCE 0 pcdev $0
FUZZY_MAX 1 id 0
PARAM_COMPARE 1 id < $0->nr_lines
CONSTRAINT 1 id <1543
RX_PATH
TASK_NOT_RUNNING
UNITS 0 pcdev unit_byte
UNITS 1 id unit_array_size
HALF_LOCKED2 0 &pcdev->lock