Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 8 files:

Smatch caller information:

drivers/dax/bus.c adjust_dev_dax_range() -> adjust_resource()

Type Parameter Key Value
PARAM_VALUE 0 res 4096-ptr_max
PARAM_VALUE 2 size 1-u64max
CAPPED_DATA 0 res->start 1
DATA_SOURCE 0 res $1
DATA_SOURCE 2 size $2
RX_PATH
TASK_NOT_RUNNING
LOCK2 &of->mutex
LOCK2 global &dax_dev_rwsem
LOCK2 global &dax_region_rwsem
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/pcmcia/rsrc_nonstatic.c nonstatic_find_io() -> adjust_resource()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
LOCK2 &s->ops_mutex
TYPE_LOCK (struct pcmcia_socket)->ops_mutex

drivers/pcmcia/rsrc_nonstatic.c nonstatic_find_io() -> adjust_resource()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
LOCK2 &s->ops_mutex
TYPE_LOCK (struct pcmcia_socket)->ops_mutex

drivers/pci/probe.c pci_bus_update_busn_res_end() -> adjust_resource()

Type Parameter Key Value
PARAM_VALUE 0 res 4096-ptr_max
BUF_SIZE 0 res 64
CAPPED_DATA 0 res->start 1
CAPPED_DATA 1 start 1
CAPPED_DATA 1 start 1
RX_PATH
TASK_NOT_RUNNING
UNITS 1 start unit_byte
UNITS 2 size unit_byte
HALF_LOCKED2 global &pci_rescan_remove_lock

drivers/nvdimm/namespace_devs.c merge_dpa() -> adjust_resource()

Type Parameter Key Value
PARAM_VALUE 0 res 4096-ptr_max
PARAM_VALUE 0 res->sibling 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
LOCK2 &dev->mutex
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct device)->mutex
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/nvdimm/namespace_devs.c scan_allocate() -> adjust_resource()

Type Parameter Key Value
PARAM_VALUE 0 res 4096-ptr_max
PARAM_VALUE 0 res->start 1-u64max
CAPPED_DATA 0 res->start 1
CAPPED_DATA 1 start 1
PARAM_COMPARE 0 res->end >= $0->start
RX_PATH
TASK_NOT_RUNNING
LOCK2 &dev->mutex
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct device)->mutex
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/nvdimm/namespace_devs.c scan_allocate() -> adjust_resource()

Type Parameter Key Value
PARAM_VALUE 0 res 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
LOCK2 &dev->mutex
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct device)->mutex
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/nvdimm/namespace_devs.c scan_allocate() -> adjust_resource()

Type Parameter Key Value
PARAM_VALUE 0 res 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
LOCK2 &dev->mutex
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct device)->mutex
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/nvdimm/namespace_devs.c scan_free() -> adjust_resource()

Type Parameter Key Value
PARAM_VALUE 0 res 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
LOCK2 &dev->mutex
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct device)->mutex
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/memory/omap-gpmc.c gpmc_cs_request() -> adjust_resource()

Type Parameter Key Value
PARAM_VALUE 0 res 4096-ptr_max
PARAM_VALUE 2 size 0-268435456
BUF_SIZE 0 res 64
CAPPED_DATA 1 start 1
DATA_SOURCE 2 size r gpmc_mem_align
FUZZY_MAX 2 size 268435456
HARD_MAX 2 size 268435456
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &gpmc_mem_lock