Open Menu /

Documented in 1 files:

Defined in 1 files as a function:

Referenced in 12 files:

Smatch caller information:

drivers/pci/setup-bus.c __assign_resources_sorted() -> resource_set_range()

Type Parameter Key Value
PARAM_VALUE 0 res 4096-ptr_max
PARAM_VALUE 0 res->flags 524288-u64max
PARAM_VALUE 0 res->start 0-18446744073709551614
PARAM_VALUE 1 start 1-u64max
CAPPED_DATA 0 res 1
CAPPED_DATA 0 res->start 1
PARAM_COMPARE 1 start > $0->start
PARAM_COMPARE 1 start > $0->start
BIT_INFO 0 res->flags 0x80000,0xffffffffffffffff
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/pci/setup-bus.c pbus_size_io() -> resource_set_range()

Type Parameter Key Value
PARAM_VALUE 0 res 4096-ptr_max
PARAM_VALUE 1 start 1-u64max
CAPPED_DATA 1 start 1
CAPPED_DATA 1 start 1
CAPPED_DATA 2 size 1
CAPPED_DATA 2 size 1
DATA_SOURCE 0 res r pbus_select_window_for_type
DATA_SOURCE 2 size r calculate_iosize
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &pci_bus_sem
HALF_LOCKED2 global &pci_rescan_remove_lock

drivers/pci/setup-bus.c pbus_size_mem() -> resource_set_range()

Type Parameter Key Value
PARAM_VALUE 0 res 4096-ptr_max
PARAM_VALUE 1 start 1-u64max
PARAM_VALUE 2 size 1-u64max
CAPPED_DATA 0 res 1
CAPPED_DATA 2 size 1
CAPPED_DATA 2 size 1
DATA_SOURCE 0 res $1
DATA_SOURCE 2 size r calculate_memsize
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &pci_bus_sem
HALF_LOCKED2 global &pci_rescan_remove_lock

drivers/pci/setup-bus.c pbus_size_mem() -> resource_set_range()

Type Parameter Key Value
PARAM_VALUE 0 res 4096-ptr_max
PARAM_VALUE 1 start 1-u64max
CAPPED_DATA 0 res 1
CAPPED_DATA 2 size 1
CAPPED_DATA 2 size 1
DATA_SOURCE 0 res $1
DATA_SOURCE 2 size r calculate_memsize
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &pci_bus_sem
HALF_LOCKED2 global &pci_rescan_remove_lock

drivers/pci/setup-bus.c reassign_resources_sorted() -> resource_set_range()

Type Parameter Key Value
PARAM_VALUE 0 res 4096-ptr_max
CAPPED_DATA 0 res 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/pci/iov.c pci_iov_add_virtfn() -> resource_set_range()

Type Parameter Key Value
PARAM_VALUE 0 res 4096-ptr_max
DATA_SOURCE 2 size r pci_iov_resource_size
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->dev.mutex
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 global &pci_rescan_remove_lock

drivers/pci/probe.c pci_read_bridge_io() -> resource_set_range()

Type Parameter Key Value
PARAM_VALUE 0 res 4096-ptr_max
PARAM_VALUE 0 res->flags 256
PARAM_VALUE 1 start 0
PARAM_VALUE 2 size 0
DATA_SOURCE 0 res $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 res->end 0-s32max,18446744071562067968-u64max[c]
HOST_DATA 0 res->flags 256[c]
HOST_DATA 0 res->start 0-s32max,18446744071562067968-u64max[c]

drivers/pci/probe.c pci_read_bridge_mmio() -> resource_set_range()

Type Parameter Key Value
PARAM_VALUE 0 res 4096-ptr_max
PARAM_VALUE 0 res->flags 512
PARAM_VALUE 1 start 0
PARAM_VALUE 2 size 0
DATA_SOURCE 0 res $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 res->end 0-s32max,18446744071562067968-u64max[c]
HOST_DATA 0 res->flags 512[c]
HOST_DATA 0 res->start 0-s32max,18446744071562067968-u64max[c]

drivers/pci/probe.c pci_read_bridge_mmio_pref() -> resource_set_range()

Type Parameter Key Value
PARAM_VALUE 0 res 4096-ptr_max
PARAM_VALUE 0 res->flags 8704,1057280
PARAM_VALUE 1 start 0
PARAM_VALUE 2 size 0
DATA_SOURCE 0 res $1
FUZZY_MAX 0 res->flags 8704
BIT_INFO 0 res->flags 0x2200,0x102200
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 res->flags 8704,1057280[c]

sound/soc/intel/catpt/device.c catpt_dev_init() -> resource_set_range()

Type Parameter Key Value
PARAM_VALUE 0 res 4096-ptr_max
PARAM_VALUE 2 size 0-2097152
MEM_ZERO 0 res
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

sound/soc/intel/catpt/device.c catpt_dev_init() -> resource_set_range()

Type Parameter Key Value
PARAM_VALUE 0 res 4096-ptr_max
PARAM_VALUE 2 size 0-2097152
MEM_ZERO 0 res
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/pci/setup-res.c pci_revert_fw_address() -> resource_set_range()

Type Parameter Key Value
PARAM_VALUE 0 res 4096-ptr_max
PARAM_VALUE 0 res->flags 0,536870912-u64max
DATA_SOURCE 0 res $0
DATA_SOURCE 1 start r pcibios_retrieve_fw_addr
DATA_SOURCE 2 size $3
BIT_INFO 0 res->flags 0x20000000,0xffffffffffffffff
BIT_INFO 1 start 0x0,0x0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->dev.mutex

drivers/pci/pci.c pci_request_resource_alignment() -> resource_set_range()

Type Parameter Key Value
PARAM_VALUE 0 res 4096-ptr_max
PARAM_VALUE 0 res->flags 0,524288-u64max
PARAM_VALUE 1 start 1-u64max
PARAM_VALUE 2 size 0-18446744073709551614
CAPPED_DATA 1 start 1
CAPPED_DATA 1 start 1
CAPPED_DATA 2 size 1
CAPPED_DATA 2 size 1
DATA_SOURCE 1 start $2
DATA_SOURCE 2 size r resource_size
PARAM_COMPARE 1 start > $2
PARAM_COMPARE 1 start > $2
PARAM_COMPARE 2 size < $1
BIT_INFO 0 res->flags 0x80200,0xfffffffffffbffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &pci_rescan_remove_lock

drivers/net/ethernet/intel/idpf/idpf_vf_dev.c idpf_vf_dev_ops_init() -> resource_set_range()

Type Parameter Key Value
PARAM_VALUE 0 res 4096-ptr_max
PARAM_VALUE 1 start 24576
PARAM_VALUE 2 size 10240
BUF_SIZE 0 res 128
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/net/ethernet/intel/idpf/idpf_vf_dev.c idpf_vf_dev_ops_init() -> resource_set_range()

Type Parameter Key Value
PARAM_VALUE 0 res 4096-ptr_max
PARAM_VALUE 1 start 34816
PARAM_VALUE 2 size 2048
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

sound/soc/intel/catpt/loader.c catpt_restore_dram_data() -> resource_set_range()

Type Parameter Key Value
PARAM_VALUE 0 res 7822343230354071552
PARAM_VALUE 0 res->end 0
PARAM_VALUE 0 res->start 0
BIT_INFO 1 start 0x0,0xffbfffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

sound/soc/intel/catpt/loader.c catpt_restore_dram_rodata() -> resource_set_range()

Type Parameter Key Value
PARAM_VALUE 0 res 1750955655650283520
PARAM_VALUE 0 res->end 0
PARAM_VALUE 0 res->start 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 size unit_byte

sound/soc/intel/catpt/loader.c catpt_restore_dram_rodata() -> resource_set_range()

Type Parameter Key Value
PARAM_VALUE 0 res 1605433185625264128
PARAM_VALUE 0 res->end 0
PARAM_VALUE 0 res->start 0
BIT_INFO 1 start 0x0,0xffbfffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/pci/setup-cardbus.c pci_bus_size_cardbus_bridge() -> resource_set_range()

Type Parameter Key Value
PARAM_VALUE 0 res 4096-ptr_max
BUF_SIZE 0 res 256
BUF_SIZE 0 res 256
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &pci_bus_sem
HALF_LOCKED2 global &pci_rescan_remove_lock

drivers/pci/setup-cardbus.c pci_bus_size_cardbus_bridge() -> resource_set_range()

Type Parameter Key Value
PARAM_VALUE 0 res 4096-ptr_max
BUF_SIZE 0 res 192
BUF_SIZE 0 res 192
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &pci_bus_sem
HALF_LOCKED2 global &pci_rescan_remove_lock

drivers/pci/setup-cardbus.c pci_bus_size_cardbus_bridge() -> resource_set_range()

Type Parameter Key Value
PARAM_VALUE 0 res 4096-ptr_max
BUF_SIZE 0 res 128
BUF_SIZE 0 res 128
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &pci_bus_sem
HALF_LOCKED2 global &pci_rescan_remove_lock

drivers/pci/setup-cardbus.c pci_bus_size_cardbus_bridge() -> resource_set_range()

Type Parameter Key Value
PARAM_VALUE 0 res 4096-ptr_max
BUF_SIZE 0 res 64
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &pci_bus_sem
HALF_LOCKED2 global &pci_rescan_remove_lock

drivers/net/ethernet/intel/idpf/idpf_dev.c idpf_dev_ops_init() -> resource_set_range()

Type Parameter Key Value
PARAM_VALUE 0 res 4096-ptr_max
PARAM_VALUE 1 start 138412032
PARAM_VALUE 2 size 4096
BUF_SIZE 0 res 128
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/net/ethernet/intel/idpf/idpf_dev.c idpf_dev_ops_init() -> resource_set_range()

Type Parameter Key Value
PARAM_VALUE 0 res 4096-ptr_max
PARAM_VALUE 1 start 138440704
PARAM_VALUE 2 size 2048
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/pci/quirks.c quirk_dunord() -> resource_set_range()

Type Parameter Key Value
PARAM_VALUE 0 res 4096-ptr_max
PARAM_VALUE 0 res->flags 0,536870912-u64max
PARAM_VALUE 1 start 0
PARAM_VALUE 2 size 16777216
BUF_SIZE 0 res 1024
BUF_SIZE 0 res 1024
BIT_INFO 0 res->flags 0x20000000,0xffffffffffffffff
NOCHECK_CALL

drivers/pci/quirks.c quirk_extend_bar_to_page() -> resource_set_range()

Type Parameter Key Value
PARAM_VALUE 0 res 4096-ptr_max
PARAM_VALUE 0 res->flags 512-u64max
PARAM_VALUE 1 start 0
PARAM_VALUE 2 size 4096
BIT_INFO 0 res->flags 0x200,0xffffffffffffffff
NOCHECK_CALL
UNITS 2 size unit_byte

drivers/pci/quirks.c quirk_plx_pci9050() -> resource_set_range()

Type Parameter Key Value
PARAM_VALUE 0 res 4096-ptr_max
PARAM_VALUE 0 res->flags 0,536870912-u64max
PARAM_VALUE 1 start 0
PARAM_VALUE 2 size 256
BIT_INFO 0 res->flags 0x20000000,0xffffffffffffffff
NOCHECK_CALL

drivers/pci/quirks.c quirk_s3_64M() -> resource_set_range()

Type Parameter Key Value
PARAM_VALUE 0 res 4096-ptr_max
PARAM_VALUE 0 res->flags 0,536870912-u64max
PARAM_VALUE 1 start 0
PARAM_VALUE 2 size 67108864
BUF_SIZE 0 res 1088
BUF_SIZE 0 res 1088
BIT_INFO 0 res->flags 0x20000000,0xffffffffffffffff
NOCHECK_CALL

drivers/pci/quirks.c quirk_tc86c001_ide() -> resource_set_range()

Type Parameter Key Value
PARAM_VALUE 0 res 4096-ptr_max
PARAM_VALUE 0 res->flags 0,536870912-u64max
PARAM_VALUE 0 res->start 8-u64max
PARAM_VALUE 1 start 0
PARAM_VALUE 2 size 16
BUF_SIZE 0 res 1088
BUF_SIZE 0 res 1088
BIT_INFO 0 res->flags 0x20000000,0xffffffffffffffff
BIT_INFO 0 res->start 0x8,0xffffffffffffffff
NOCHECK_CALL

drivers/of/of_reserved_mem.c of_reserved_mem_region_to_resource() -> resource_set_range()

Type Parameter Key Value
PARAM_VALUE 0 res 4096-ptr_max
BUF_SIZE 0 res (-1),64
BUF_SIZE 0 res (-1),64
DATA_SOURCE 0 res $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 start unit_byte
UNITS 2 size unit_byte
HALF_LOCKED2 &core->lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &rproc->lock