Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 10 files:

Smatch caller information:

drivers/ata/pata_platform.c pata_platform_probe() -> platform_get_mem_or_io()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->num_resources 2-3
PARAM_VALUE 1 num 0
DATA_SOURCE 0 dev $0
BIT_INFO 0 dev->num_resources 0x2,0x3
RX_PATH
TASK_NOT_RUNNING

drivers/ata/pata_platform.c pata_platform_probe() -> platform_get_mem_or_io()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->num_resources 2-3
PARAM_VALUE 1 num 1
CAPPED_DATA 0 dev->num_resources 1
DATA_SOURCE 0 dev $0
BIT_INFO 0 dev->num_resources 0x2,0x3
RX_PATH
TASK_NOT_RUNNING

drivers/net/ethernet/freescale/fman/mac.c mac_probe() -> platform_get_mem_or_io()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 num 0
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING

drivers/tty/serial/8250/8250_platform.c serial8250_probe_acpi() -> platform_get_mem_or_io()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 num 0
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING

drivers/tty/serial/8250/8250_ni.c ni16550_get_regs() -> platform_get_mem_or_io()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 num 0
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING

drivers/usb/host/sl811-hcd.c sl811h_probe() -> platform_get_mem_or_io()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 num 0
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING

drivers/usb/host/sl811-hcd.c sl811h_probe() -> platform_get_mem_or_io()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 num 1
CAPPED_DATA 0 dev->num_resources 1
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING

drivers/char/ipmi/ipmi_si_platform.c ipmi_get_info_from_resources() -> platform_get_mem_or_io()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 num 0
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING

drivers/char/ipmi/ipmi_si_platform.c ipmi_get_info_from_resources() -> platform_get_mem_or_io()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->num_resources 1-u32max
PARAM_VALUE 1 num 1
CAPPED_DATA 0 dev->num_resources 1
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING

drivers/vfio/platform/vfio_platform.c get_platform_resource() -> platform_get_mem_or_io()

Type Parameter Key Value
PARAM_VALUE 1 num 0-s32max
CAPPED_DATA 1 num 1
DATA_SOURCE 1 num $1
NO_OVERFLOW_SIMPLE 1 num
LOCK2 &device->dev_set->lock
HALF_LOCKED2 &device->group->group_lock
TYPE_LOCK (struct vfio_device_set)->lock

drivers/misc/pvpanic/pvpanic-mmio.c pvpanic_mmio_probe() -> platform_get_mem_or_io()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 num 0
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING

drivers/thermal/mediatek/lvts_thermal.c lvts_probe() -> platform_get_mem_or_io()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 num 0
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING