Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/input/keyboard/cros_ec_keyb.c cros_ec_keyb_process_col() -> cros_ec_keyb_process_key_plain()

Type Parameter Key Value
PARAM_VALUE 0 ckdev 4096-ptr_max
PARAM_VALUE 0 ckdev->cols 1-u32max
PARAM_VALUE 0 ckdev->dev 4096-ptr_max
PARAM_VALUE 0 ckdev->ec 4096-ptr_max
PARAM_VALUE 0 ckdev->has_fn_map 0
PARAM_VALUE 0 ckdev->idev 1-u64max
PARAM_VALUE 0 ckdev->old_kb_state 4096-ptr_max
PARAM_VALUE 0 ckdev->rows 1-u32max
PARAM_VALUE 1 row 0-s32max
PARAM_VALUE 2 col 0-s32max
CAPPED_DATA 0 ckdev->cols 1
CAPPED_DATA 1 row 1
CAPPED_DATA 2 col 1
CAPPED_DATA 3 state 1
DATA_SOURCE 0 ckdev $0
DATA_SOURCE 2 col $1
FUZZY_MAX 1 row 0
FUZZY_MAX 2 col 0
PARAM_COMPARE 0 ckdev->rows > $1
PARAM_COMPARE 1 row < $0->rows
NOCHECK_CALL
UNITS 2 col unit_byte