Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/pci/switch/switchtec.c flash_part_info_gen3() -> set_fw_info_part()

Type Parameter Key Value
PARAM_VALUE 0 info 5217804209783820288
PARAM_VALUE 0 info->flash_partition 0
PARAM_VALUE 1 pi 4096-ptr_max
DATA_SOURCE 0 info $1
NOCHECK_CALL
USER_DATA 0 info->active 0-u32max
USER_DATA 0 info->address 0-u32max
USER_DATA 0 info->flash_partition 0
USER_DATA 0 info->length 0-u32max
LOCK2 &stdev->mrpc_mutex
TYPE_LOCK (struct switchtec_dev)->mrpc_mutex

drivers/pci/switch/switchtec.c flash_part_info_gen3() -> set_fw_info_part()

Type Parameter Key Value
PARAM_VALUE 0 info 5217804209783820288
PARAM_VALUE 0 info->flash_partition 1
PARAM_VALUE 1 pi 4096-ptr_max
DATA_SOURCE 0 info $1
NOCHECK_CALL
USER_DATA 0 info->active 0-u32max
USER_DATA 0 info->address 0-u32max
USER_DATA 0 info->flash_partition 1
USER_DATA 0 info->length 0-u32max
LOCK2 &stdev->mrpc_mutex
TYPE_LOCK (struct switchtec_dev)->mrpc_mutex

drivers/pci/switch/switchtec.c flash_part_info_gen3() -> set_fw_info_part()

Type Parameter Key Value
PARAM_VALUE 0 info 5217804209783820288
PARAM_VALUE 0 info->flash_partition 2
PARAM_VALUE 1 pi 4096-ptr_max
DATA_SOURCE 0 info $1
NOCHECK_CALL
USER_DATA 0 info->active 0-u32max
USER_DATA 0 info->address 0-u32max
USER_DATA 0 info->flash_partition 2
USER_DATA 0 info->length 0-u32max
LOCK2 &stdev->mrpc_mutex
TYPE_LOCK (struct switchtec_dev)->mrpc_mutex

drivers/pci/switch/switchtec.c flash_part_info_gen3() -> set_fw_info_part()

Type Parameter Key Value
PARAM_VALUE 0 info 5217804209783820288
PARAM_VALUE 0 info->flash_partition 3
PARAM_VALUE 1 pi 4096-ptr_max
DATA_SOURCE 0 info $1
NOCHECK_CALL
USER_DATA 0 info->active 0-u32max
USER_DATA 0 info->address 0-u32max
USER_DATA 0 info->flash_partition 3
USER_DATA 0 info->length 0-u32max
LOCK2 &stdev->mrpc_mutex
TYPE_LOCK (struct switchtec_dev)->mrpc_mutex

drivers/pci/switch/switchtec.c flash_part_info_gen3() -> set_fw_info_part()

Type Parameter Key Value
PARAM_VALUE 0 info 5217804209783820288
PARAM_VALUE 0 info->flash_partition 4
PARAM_VALUE 1 pi 4096-ptr_max
DATA_SOURCE 0 info $1
NOCHECK_CALL
USER_DATA 0 info->active 0-u32max
USER_DATA 0 info->address 0-u32max
USER_DATA 0 info->flash_partition 4
USER_DATA 0 info->length 0-u32max
LOCK2 &stdev->mrpc_mutex
TYPE_LOCK (struct switchtec_dev)->mrpc_mutex

drivers/pci/switch/switchtec.c flash_part_info_gen3() -> set_fw_info_part()

Type Parameter Key Value
PARAM_VALUE 0 info 5217804209783820288
PARAM_VALUE 0 info->flash_partition 5
PARAM_VALUE 1 pi 4096-ptr_max
BUF_SIZE 1 pi 64
DATA_SOURCE 0 info $1
NOCHECK_CALL
USER_DATA 0 info->active 0-u32max
USER_DATA 0 info->address 0-u32max
USER_DATA 0 info->flash_partition 5
USER_DATA 0 info->length 0-u32max
LOCK2 &stdev->mrpc_mutex
TYPE_LOCK (struct switchtec_dev)->mrpc_mutex

drivers/pci/switch/switchtec.c flash_part_info_gen3() -> set_fw_info_part()

Type Parameter Key Value
PARAM_VALUE 0 info 5217804209783820288
PARAM_VALUE 0 info->flash_partition 6
PARAM_VALUE 1 pi 4096-ptr_max
BUF_SIZE 1 pi 56
DATA_SOURCE 0 info $1
NOCHECK_CALL
USER_DATA 0 info->active 0-u32max
USER_DATA 0 info->address 0-u32max
USER_DATA 0 info->flash_partition 6
USER_DATA 0 info->length 0-u32max
LOCK2 &stdev->mrpc_mutex
TYPE_LOCK (struct switchtec_dev)->mrpc_mutex

drivers/pci/switch/switchtec.c flash_part_info_gen3() -> set_fw_info_part()

Type Parameter Key Value
PARAM_VALUE 0 info 5217804209783820288
PARAM_VALUE 0 info->flash_partition 7
PARAM_VALUE 1 pi 4096-ptr_max
BUF_SIZE 1 pi 48
DATA_SOURCE 0 info $1
NOCHECK_CALL
USER_DATA 0 info->active 0-u32max
USER_DATA 0 info->address 0-u32max
USER_DATA 0 info->flash_partition 7
USER_DATA 0 info->length 0-u32max
LOCK2 &stdev->mrpc_mutex
TYPE_LOCK (struct switchtec_dev)->mrpc_mutex

drivers/pci/switch/switchtec.c flash_part_info_gen3() -> set_fw_info_part()

Type Parameter Key Value
PARAM_VALUE 0 info 5217804209783820288
PARAM_VALUE 0 info->flash_partition 8
PARAM_VALUE 1 pi 4096-ptr_max
BUF_SIZE 1 pi 40
DATA_SOURCE 0 info $1
NOCHECK_CALL
USER_DATA 0 info->active 0-u32max
USER_DATA 0 info->address 0-u32max
USER_DATA 0 info->flash_partition 8
USER_DATA 0 info->length 0-u32max
LOCK2 &stdev->mrpc_mutex
TYPE_LOCK (struct switchtec_dev)->mrpc_mutex

drivers/pci/switch/switchtec.c flash_part_info_gen3() -> set_fw_info_part()

Type Parameter Key Value
PARAM_VALUE 0 info 5217804209783820288
PARAM_VALUE 0 info->flash_partition 9
PARAM_VALUE 1 pi 4096-ptr_max
BUF_SIZE 1 pi 32
DATA_SOURCE 0 info $1
NOCHECK_CALL
USER_DATA 0 info->active 0-u32max
USER_DATA 0 info->address 0-u32max
USER_DATA 0 info->flash_partition 9
USER_DATA 0 info->length 0-u32max
LOCK2 &stdev->mrpc_mutex
TYPE_LOCK (struct switchtec_dev)->mrpc_mutex

drivers/pci/switch/switchtec.c flash_part_info_gen3() -> set_fw_info_part()

Type Parameter Key Value
PARAM_VALUE 0 info 5217804209783820288
PARAM_VALUE 0 info->flash_partition 10
PARAM_VALUE 1 pi 4096-ptr_max
BUF_SIZE 1 pi 24
DATA_SOURCE 0 info $1
NOCHECK_CALL
USER_DATA 0 info->active 0-u32max
USER_DATA 0 info->address 0-u32max
USER_DATA 0 info->flash_partition 10
USER_DATA 0 info->length 0-u32max
LOCK2 &stdev->mrpc_mutex
TYPE_LOCK (struct switchtec_dev)->mrpc_mutex

drivers/pci/switch/switchtec.c flash_part_info_gen3() -> set_fw_info_part()

Type Parameter Key Value
PARAM_VALUE 0 info 5217804209783820288
PARAM_VALUE 0 info->flash_partition 11
PARAM_VALUE 1 pi 4096-ptr_max
BUF_SIZE 1 pi 16
DATA_SOURCE 0 info $1
NOCHECK_CALL
USER_DATA 0 info->active 0-u32max
USER_DATA 0 info->address 0-u32max
USER_DATA 0 info->flash_partition 11
USER_DATA 0 info->length 0-u32max
LOCK2 &stdev->mrpc_mutex
TYPE_LOCK (struct switchtec_dev)->mrpc_mutex

drivers/pci/switch/switchtec.c flash_part_info_gen3() -> set_fw_info_part()

Type Parameter Key Value
PARAM_VALUE 0 info 5217804209783820288
PARAM_VALUE 0 info->flash_partition 12
PARAM_VALUE 1 pi 4096-ptr_max
DATA_SOURCE 0 info $1
NOCHECK_CALL
USER_DATA 0 info->active 0-u32max
USER_DATA 0 info->address 0-u32max
USER_DATA 0 info->flash_partition 12
USER_DATA 0 info->length 0-u32max
LOCK2 &stdev->mrpc_mutex
TYPE_LOCK (struct switchtec_dev)->mrpc_mutex

drivers/pci/switch/switchtec.c flash_part_info_gen4() -> set_fw_info_part()

Type Parameter Key Value
PARAM_VALUE 0 info 5217804209783820288
PARAM_VALUE 0 info->flash_partition 15
PARAM_VALUE 1 pi 4096-ptr_max
DATA_SOURCE 0 info $1
NOCHECK_CALL
USER_DATA 0 info->active 0-u32max
USER_DATA 0 info->address 0-u32max
USER_DATA 0 info->flash_partition 15
USER_DATA 0 info->length 0-u32max
LOCK2 &stdev->mrpc_mutex
TYPE_LOCK (struct switchtec_dev)->mrpc_mutex

drivers/pci/switch/switchtec.c flash_part_info_gen4() -> set_fw_info_part()

Type Parameter Key Value
PARAM_VALUE 0 info 5217804209783820288
PARAM_VALUE 0 info->flash_partition 16
PARAM_VALUE 1 pi 4096-ptr_max
DATA_SOURCE 0 info $1
NOCHECK_CALL
USER_DATA 0 info->active 0-u32max
USER_DATA 0 info->address 0-u32max
USER_DATA 0 info->flash_partition 16
USER_DATA 0 info->length 0-u32max
LOCK2 &stdev->mrpc_mutex
TYPE_LOCK (struct switchtec_dev)->mrpc_mutex

drivers/pci/switch/switchtec.c flash_part_info_gen4() -> set_fw_info_part()

Type Parameter Key Value
PARAM_VALUE 0 info 5217804209783820288
PARAM_VALUE 0 info->flash_partition 17
PARAM_VALUE 1 pi 4096-ptr_max
DATA_SOURCE 0 info $1
NOCHECK_CALL
USER_DATA 0 info->active 0-u32max
USER_DATA 0 info->address 0-u32max
USER_DATA 0 info->flash_partition 17
USER_DATA 0 info->length 0-u32max
LOCK2 &stdev->mrpc_mutex
TYPE_LOCK (struct switchtec_dev)->mrpc_mutex

drivers/pci/switch/switchtec.c flash_part_info_gen4() -> set_fw_info_part()

Type Parameter Key Value
PARAM_VALUE 0 info 5217804209783820288
PARAM_VALUE 0 info->flash_partition 18
PARAM_VALUE 1 pi 4096-ptr_max
DATA_SOURCE 0 info $1
NOCHECK_CALL
USER_DATA 0 info->active 0-u32max
USER_DATA 0 info->address 0-u32max
USER_DATA 0 info->flash_partition 18
USER_DATA 0 info->length 0-u32max
LOCK2 &stdev->mrpc_mutex
TYPE_LOCK (struct switchtec_dev)->mrpc_mutex

drivers/pci/switch/switchtec.c flash_part_info_gen4() -> set_fw_info_part()

Type Parameter Key Value
PARAM_VALUE 0 info 5217804209783820288
PARAM_VALUE 0 info->flash_partition 13
PARAM_VALUE 1 pi 4096-ptr_max
DATA_SOURCE 0 info $1
NOCHECK_CALL
USER_DATA 0 info->active 0-u32max
USER_DATA 0 info->address 0-u32max
USER_DATA 0 info->flash_partition 13
USER_DATA 0 info->length 0-u32max
LOCK2 &stdev->mrpc_mutex
TYPE_LOCK (struct switchtec_dev)->mrpc_mutex

drivers/pci/switch/switchtec.c flash_part_info_gen4() -> set_fw_info_part()

Type Parameter Key Value
PARAM_VALUE 0 info 5217804209783820288
PARAM_VALUE 0 info->flash_partition 14
PARAM_VALUE 1 pi 4096-ptr_max
DATA_SOURCE 0 info $1
NOCHECK_CALL
USER_DATA 0 info->active 0-u32max
USER_DATA 0 info->address 0-u32max
USER_DATA 0 info->flash_partition 14
USER_DATA 0 info->length 0-u32max
LOCK2 &stdev->mrpc_mutex
TYPE_LOCK (struct switchtec_dev)->mrpc_mutex

drivers/pci/switch/switchtec.c flash_part_info_gen4() -> set_fw_info_part()

Type Parameter Key Value
PARAM_VALUE 0 info 5217804209783820288
PARAM_VALUE 0 info->flash_partition 0
PARAM_VALUE 1 pi 4096-ptr_max
DATA_SOURCE 0 info $1
NOCHECK_CALL
USER_DATA 0 info->active 0-u32max
USER_DATA 0 info->address 0-u32max
USER_DATA 0 info->flash_partition 0
USER_DATA 0 info->length 0-u32max
LOCK2 &stdev->mrpc_mutex
TYPE_LOCK (struct switchtec_dev)->mrpc_mutex

drivers/pci/switch/switchtec.c flash_part_info_gen4() -> set_fw_info_part()

Type Parameter Key Value
PARAM_VALUE 0 info 5217804209783820288
PARAM_VALUE 0 info->flash_partition 1
PARAM_VALUE 1 pi 4096-ptr_max
DATA_SOURCE 0 info $1
NOCHECK_CALL
USER_DATA 0 info->active 0-u32max
USER_DATA 0 info->address 0-u32max
USER_DATA 0 info->flash_partition 1
USER_DATA 0 info->length 0-u32max
LOCK2 &stdev->mrpc_mutex
TYPE_LOCK (struct switchtec_dev)->mrpc_mutex

drivers/pci/switch/switchtec.c flash_part_info_gen4() -> set_fw_info_part()

Type Parameter Key Value
PARAM_VALUE 0 info 5217804209783820288
PARAM_VALUE 0 info->flash_partition 2
PARAM_VALUE 1 pi 4096-ptr_max
DATA_SOURCE 0 info $1
NOCHECK_CALL
USER_DATA 0 info->active 0-u32max
USER_DATA 0 info->address 0-u32max
USER_DATA 0 info->flash_partition 2
USER_DATA 0 info->length 0-u32max
LOCK2 &stdev->mrpc_mutex
TYPE_LOCK (struct switchtec_dev)->mrpc_mutex

drivers/pci/switch/switchtec.c flash_part_info_gen4() -> set_fw_info_part()

Type Parameter Key Value
PARAM_VALUE 0 info 5217804209783820288
PARAM_VALUE 0 info->flash_partition 3
PARAM_VALUE 1 pi 4096-ptr_max
DATA_SOURCE 0 info $1
NOCHECK_CALL
USER_DATA 0 info->active 0-u32max
USER_DATA 0 info->address 0-u32max
USER_DATA 0 info->flash_partition 3
USER_DATA 0 info->length 0-u32max
LOCK2 &stdev->mrpc_mutex
TYPE_LOCK (struct switchtec_dev)->mrpc_mutex

drivers/pci/switch/switchtec.c flash_part_info_gen4() -> set_fw_info_part()

Type Parameter Key Value
PARAM_VALUE 0 info 5217804209783820288
PARAM_VALUE 0 info->flash_partition 4
PARAM_VALUE 1 pi 4096-ptr_max
DATA_SOURCE 0 info $1
NOCHECK_CALL
USER_DATA 0 info->active 0-u32max
USER_DATA 0 info->address 0-u32max
USER_DATA 0 info->flash_partition 4
USER_DATA 0 info->length 0-u32max
LOCK2 &stdev->mrpc_mutex
TYPE_LOCK (struct switchtec_dev)->mrpc_mutex

drivers/pci/switch/switchtec.c flash_part_info_gen4() -> set_fw_info_part()

Type Parameter Key Value
PARAM_VALUE 0 info 5217804209783820288
PARAM_VALUE 0 info->flash_partition 5
PARAM_VALUE 1 pi 4096-ptr_max
BUF_SIZE 1 pi 64
DATA_SOURCE 0 info $1
NOCHECK_CALL
USER_DATA 0 info->active 0-u32max
USER_DATA 0 info->address 0-u32max
USER_DATA 0 info->flash_partition 5
USER_DATA 0 info->length 0-u32max
LOCK2 &stdev->mrpc_mutex
TYPE_LOCK (struct switchtec_dev)->mrpc_mutex

drivers/pci/switch/switchtec.c flash_part_info_gen4() -> set_fw_info_part()

Type Parameter Key Value
PARAM_VALUE 0 info 5217804209783820288
PARAM_VALUE 0 info->flash_partition 6
PARAM_VALUE 1 pi 4096-ptr_max
BUF_SIZE 1 pi 56
DATA_SOURCE 0 info $1
NOCHECK_CALL
USER_DATA 0 info->active 0-u32max
USER_DATA 0 info->address 0-u32max
USER_DATA 0 info->flash_partition 6
USER_DATA 0 info->length 0-u32max
LOCK2 &stdev->mrpc_mutex
TYPE_LOCK (struct switchtec_dev)->mrpc_mutex

drivers/pci/switch/switchtec.c flash_part_info_gen4() -> set_fw_info_part()

Type Parameter Key Value
PARAM_VALUE 0 info 5217804209783820288
PARAM_VALUE 0 info->flash_partition 7
PARAM_VALUE 1 pi 4096-ptr_max
BUF_SIZE 1 pi 48
DATA_SOURCE 0 info $1
NOCHECK_CALL
USER_DATA 0 info->active 0-u32max
USER_DATA 0 info->address 0-u32max
USER_DATA 0 info->flash_partition 7
USER_DATA 0 info->length 0-u32max
LOCK2 &stdev->mrpc_mutex
TYPE_LOCK (struct switchtec_dev)->mrpc_mutex

drivers/pci/switch/switchtec.c flash_part_info_gen4() -> set_fw_info_part()

Type Parameter Key Value
PARAM_VALUE 0 info 5217804209783820288
PARAM_VALUE 0 info->flash_partition 8
PARAM_VALUE 1 pi 4096-ptr_max
BUF_SIZE 1 pi 40
DATA_SOURCE 0 info $1
NOCHECK_CALL
USER_DATA 0 info->active 0-u32max
USER_DATA 0 info->address 0-u32max
USER_DATA 0 info->flash_partition 8
USER_DATA 0 info->length 0-u32max
LOCK2 &stdev->mrpc_mutex
TYPE_LOCK (struct switchtec_dev)->mrpc_mutex

drivers/pci/switch/switchtec.c flash_part_info_gen4() -> set_fw_info_part()

Type Parameter Key Value
PARAM_VALUE 0 info 5217804209783820288
PARAM_VALUE 0 info->flash_partition 9
PARAM_VALUE 1 pi 4096-ptr_max
BUF_SIZE 1 pi 32
DATA_SOURCE 0 info $1
NOCHECK_CALL
USER_DATA 0 info->active 0-u32max
USER_DATA 0 info->address 0-u32max
USER_DATA 0 info->flash_partition 9
USER_DATA 0 info->length 0-u32max
LOCK2 &stdev->mrpc_mutex
TYPE_LOCK (struct switchtec_dev)->mrpc_mutex

drivers/pci/switch/switchtec.c flash_part_info_gen4() -> set_fw_info_part()

Type Parameter Key Value
PARAM_VALUE 0 info 5217804209783820288
PARAM_VALUE 0 info->flash_partition 10
PARAM_VALUE 1 pi 4096-ptr_max
BUF_SIZE 1 pi 24
DATA_SOURCE 0 info $1
NOCHECK_CALL
USER_DATA 0 info->active 0-u32max
USER_DATA 0 info->address 0-u32max
USER_DATA 0 info->flash_partition 10
USER_DATA 0 info->length 0-u32max
LOCK2 &stdev->mrpc_mutex
TYPE_LOCK (struct switchtec_dev)->mrpc_mutex

drivers/pci/switch/switchtec.c flash_part_info_gen4() -> set_fw_info_part()

Type Parameter Key Value
PARAM_VALUE 0 info 5217804209783820288
PARAM_VALUE 0 info->flash_partition 11
PARAM_VALUE 1 pi 4096-ptr_max
BUF_SIZE 1 pi 16
DATA_SOURCE 0 info $1
NOCHECK_CALL
USER_DATA 0 info->active 0-u32max
USER_DATA 0 info->address 0-u32max
USER_DATA 0 info->flash_partition 11
USER_DATA 0 info->length 0-u32max
LOCK2 &stdev->mrpc_mutex
TYPE_LOCK (struct switchtec_dev)->mrpc_mutex

drivers/pci/switch/switchtec.c flash_part_info_gen4() -> set_fw_info_part()

Type Parameter Key Value
PARAM_VALUE 0 info 5217804209783820288
PARAM_VALUE 0 info->flash_partition 12
PARAM_VALUE 1 pi 4096-ptr_max
DATA_SOURCE 0 info $1
NOCHECK_CALL
USER_DATA 0 info->active 0-u32max
USER_DATA 0 info->address 0-u32max
USER_DATA 0 info->flash_partition 12
USER_DATA 0 info->length 0-u32max
LOCK2 &stdev->mrpc_mutex
TYPE_LOCK (struct switchtec_dev)->mrpc_mutex