Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 137 files:

Smatch caller information:

drivers/usb/host/sl811_cs.c sl811_hc_init() -> platform_device_register()

Type Parameter Key Value
PARAM_VALUE 0 pdev 717871115715719168
PARAM_VALUE 0 pdev->dev.parent 4096-ptr_max
PARAM_VALUE 0 pdev->name 6641592126874042368
RX_PATH
TASK_NOT_RUNNING

drivers/bcma/main.c bcma_register_devices() -> platform_device_register()

Type Parameter Key Value
PARAM_VALUE 0 pdev 1822143211486826496
RX_PATH
TASK_NOT_RUNNING

drivers/bcma/main.c bcma_register_devices() -> platform_device_register()

Type Parameter Key Value
PARAM_VALUE 0 pdev 1957114458465976320
RX_PATH
TASK_NOT_RUNNING

drivers/bcma/main.c bcma_register_devices() -> platform_device_register()

Type Parameter Key Value
PARAM_VALUE 0 pdev 5630332705049923584
RX_PATH
TASK_NOT_RUNNING

drivers/net/can/softing/softing_cs.c softingcs_probe() -> platform_device_register()

Type Parameter Key Value
PARAM_VALUE 0 pdev 4096-ptr_max
PARAM_VALUE 0 pdev->dev.parent 4096-ptr_max
PARAM_VALUE 0 pdev->dev.platform_data 3161967069255811072
PARAM_VALUE 0 pdev->dev.release 5907773119450906624
PARAM_VALUE 0 pdev->name 3527055063287762944
PARAM_VALUE 0 pdev->num_resources 2
PARAM_VALUE 0 pdev->resource 4096-ptr_max
BUF_SIZE 0 pdev 1688
BUF_SIZE 0 pdev->dev.parent 1616
BUF_SIZE 0 pdev->dev.platform_data 1360
BUF_SIZE 0 pdev->name 8
STR_LEN 0 pdev->name 7
TERMINATED 0 pdev->name 1
RX_PATH
TASK_NOT_RUNNING

drivers/block/floppy.c do_floppy_init() -> platform_device_register()

Type Parameter Key Value
PARAM_VALUE 0 pdev 4096-ptr_max
PARAM_VALUE 0 pdev->id 0-7
PARAM_VALUE 0 pdev->name 6941809938156974080
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock

drivers/platform/chrome/cros_ec_lpc.c cros_ec_lpc_init() -> platform_device_register()

Type Parameter Key Value
PARAM_VALUE 0 pdev 1348066507977015296

drivers/media/test-drivers/vim2m.c vim2m_init() -> platform_device_register()

Type Parameter Key Value
PARAM_VALUE 0 pdev 3530080725078028288

drivers/gpio/gpio-omap.c omap_mpuio_init() -> platform_device_register()

Type Parameter Key Value
PARAM_VALUE 0 pdev 8178808372294819840
PARAM_VALUE 0 pdev->dev.driver_data 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING

drivers/base/platform.c platform_add_devices() -> platform_device_register()

Type Parameter Key Value

drivers/media/test-drivers/visl/visl-core.c visl_init() -> platform_device_register()

Type Parameter Key Value
PARAM_VALUE 0 pdev 5060076141216284672

drivers/misc/cb710/core.c cb710_register_slot() -> platform_device_register()

Type Parameter Key Value
PARAM_VALUE 0 pdev 4096-ptr_max
PARAM_VALUE 0 pdev->dev.parent 4096-ptr_max
PARAM_VALUE 0 pdev->dev.release 6919868831025094656
PARAM_VALUE 0 pdev->id 0-s32max
PARAM_VALUE 0 pdev->name 199117515560873984,351938940460867584,1342949519905529856
TERMINATED 0 pdev->name 1
RX_PATH
TASK_NOT_RUNNING

sound/drivers/pcmtest.c mod_init() -> platform_device_register()

Type Parameter Key Value
PARAM_VALUE 0 pdev 5792680863391125504

drivers/platform/chrome/chromeos_pstore.c chromeos_pstore_init() -> platform_device_register()

Type Parameter Key Value
PARAM_VALUE 0 pdev 1505602342327504896

drivers/mfd/sm501.c sm501_register_device() -> platform_device_register()

Type Parameter Key Value
PARAM_VALUE 0 pdev 4096-ptr_max
PARAM_VALUE 0 pdev->dev.coherent_dma_mask u32max
PARAM_VALUE 0 pdev->dev.parent 4096-ptr_max
PARAM_VALUE 0 pdev->dev.release 3560890839606464512
PARAM_VALUE 0 pdev->name 392638496427126784,3854125815470145536,4008804128003940352,9217774286059114496
PARAM_VALUE 0 pdev->num_resources 0-s32max
BUF_SIZE 0 pdev 1688
BUF_SIZE 0 pdev->dev.parent 1616
BUF_SIZE 0 pdev->name 9-11
CAPPED_DATA 0 pdev->num_resources 1
DATA_SOURCE 0 pdev $1
STR_LEN 0 pdev->name 8-10
TERMINATED 0 pdev->name 1
RX_PATH
TASK_NOT_RUNNING

drivers/media/test-drivers/vimc/vimc-core.c vimc_init() -> platform_device_register()

Type Parameter Key Value
PARAM_VALUE 0 pdev 2054374856703356928

drivers/media/test-drivers/vivid/vivid-core.c vivid_init() -> platform_device_register()

Type Parameter Key Value
PARAM_VALUE 0 pdev 2671572734407356416

drivers/clocksource/timer-ixp4xx.c ixp4xx_timer_probe() -> platform_device_register()

Type Parameter Key Value
PARAM_VALUE 0 pdev 180040354285199360
PARAM_VALUE 0 pdev->dev.parent 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING

arch/x86/coco/sev/core.c snp_init_platform_device() -> platform_device_register()

Type Parameter Key Value
PARAM_VALUE 0 pdev 4146270661413167104

arch/x86/coco/sev/core.c snp_init_platform_device() -> platform_device_register()

Type Parameter Key Value
PARAM_VALUE 0 pdev 3214114374195113984

drivers/char/ipmi/ipmi_msghandler.c __ipmi_bmc_register() -> platform_device_register()

Type Parameter Key Value
PARAM_VALUE 0 pdev 4096-ptr_max
PARAM_VALUE 0 pdev->dev.driver 8768289933603348520
PARAM_VALUE 0 pdev->dev.release 8988710341748854784
PARAM_VALUE 0 pdev->dev.type 614051760847736832
PARAM_VALUE 0 pdev->id 0-s32max
PARAM_VALUE 0 pdev->name 6146328568794824704
TERMINATED 0 pdev->name 1
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &ipmidriver_mutex
HALF_LOCKED2 global &ipmi_interfaces_mutex
HALF_LOCKED2 global &smi_watchers_mutex

drivers/regulator/wm8400-regulator.c wm8400_register_regulator() -> platform_device_register()

Type Parameter Key Value
PARAM_VALUE 0 pdev->name 49214641689911296

drivers/regulator/fixed-helper.c regulator_register_always_on() -> platform_device_register()

Type Parameter Key Value
PARAM_VALUE 0 pdev 4096-ptr_max
PARAM_VALUE 0 pdev->dev.platform_data 4096-ptr_max
PARAM_VALUE 0 pdev->dev.release 5962515189873397760
PARAM_VALUE 0 pdev->name 6807516547508178944
TERMINATED 0 pdev->name 1
NOCHECK_CALL

drivers/media/test-drivers/vicodec/vicodec-core.c vicodec_init() -> platform_device_register()

Type Parameter Key Value
PARAM_VALUE 0 pdev 4572480110868537344

drivers/platform/x86/intel_scu_wdt.c register_mid_wdt() -> platform_device_register()

Type Parameter Key Value
PARAM_VALUE 0 pdev 4477176546741604352

drivers/media/test-drivers/vidtv/vidtv_bridge.c vidtv_bridge_init() -> platform_device_register()

Type Parameter Key Value
PARAM_VALUE 0 pdev 1000874057706942464

drivers/media/platform/ti/davinci/vpif.c vpif_probe() -> platform_device_register()

Type Parameter Key Value
PARAM_VALUE 0 pdev 4096-ptr_max
PARAM_VALUE 0 pdev->dev.parent 4096-ptr_max
PARAM_VALUE 0 pdev->dev.parent->bus 0,4096-ptr_max
PARAM_VALUE 0 pdev->dev.parent->class 0,4096-ptr_max
PARAM_VALUE 0 pdev->dev.parent->devres_head.prev 4096-ptr_max
PARAM_VALUE 0 pdev->dev.parent->driver_data 4096-ptr_max
PARAM_VALUE 0 pdev->dev.parent->of_node 4096-ptr_max
PARAM_VALUE 0 pdev->dev.parent->power.last_status (-1)
PARAM_VALUE 0 pdev->dev.parent->power.request 0-4
PARAM_VALUE 0 pdev->dev.parent->power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 pdev->dev.parent->power.wakeirq 0,4096-ptr_max
PARAM_VALUE 0 pdev->dev.parent->type 0,4096-ptr_max
PARAM_VALUE 0 pdev->dev.release 1630155888450736128
PARAM_VALUE 0 pdev->id (-1)
PARAM_VALUE 0 pdev->name 1159974862032502784
PARAM_VALUE 0 pdev->num_resources 1
PARAM_VALUE 0 pdev->resource 2225973668398669824
BUF_SIZE 0 pdev 1688
BUF_SIZE 0 pdev->dev.parent 1616
BUF_SIZE 0 pdev->name 13
BUF_SIZE 0 pdev->resource 64
DATA_SOURCE 0 pdev r _kzalloc_noprof
STR_LEN 0 pdev->name 12
TERMINATED 0 pdev->name 1
RX_PATH
TASK_NOT_RUNNING

drivers/media/platform/ti/davinci/vpif.c vpif_probe() -> platform_device_register()

Type Parameter Key Value
PARAM_VALUE 0 pdev 4096-ptr_max
PARAM_VALUE 0 pdev->dev.parent 4096-ptr_max
PARAM_VALUE 0 pdev->dev.parent->bus 0,4096-ptr_max
PARAM_VALUE 0 pdev->dev.parent->class 0,4096-ptr_max
PARAM_VALUE 0 pdev->dev.parent->devres_head.prev 4096-ptr_max
PARAM_VALUE 0 pdev->dev.parent->driver_data 4096-ptr_max
PARAM_VALUE 0 pdev->dev.parent->of_node 4096-ptr_max
PARAM_VALUE 0 pdev->dev.parent->power.last_status (-1)
PARAM_VALUE 0 pdev->dev.parent->power.request 0-4
PARAM_VALUE 0 pdev->dev.parent->power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 pdev->dev.parent->power.wakeirq 0,4096-ptr_max
PARAM_VALUE 0 pdev->dev.parent->type 0,4096-ptr_max
PARAM_VALUE 0 pdev->dev.release 1630155888450736128
PARAM_VALUE 0 pdev->id (-1)
PARAM_VALUE 0 pdev->name 3395341612394782720
PARAM_VALUE 0 pdev->num_resources 1
PARAM_VALUE 0 pdev->resource 2225973668398669824
BUF_SIZE 0 pdev 1688
BUF_SIZE 0 pdev->dev.parent 1616
BUF_SIZE 0 pdev->name 13
BUF_SIZE 0 pdev->resource 64
DATA_SOURCE 0 pdev r _kzalloc_noprof
STR_LEN 0 pdev->name 12
TERMINATED 0 pdev->name 1
RX_PATH
TASK_NOT_RUNNING

drivers/soc/microchip/mpfs-sys-controller.c mpfs_sys_controller_probe() -> platform_device_register()

Type Parameter Key Value
PARAM_VALUE 0 pdev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING

drivers/platform/x86/intel/pmc/pltdrv.c pmc_core_platform_init() -> platform_device_register()

Type Parameter Key Value
PARAM_VALUE 0 pdev 4096-ptr_max
PARAM_VALUE 0 pdev->dev.release 4314506240227930112
PARAM_VALUE 0 pdev->name 9200886042034860032
BUF_SIZE 0 pdev 1688
BUF_SIZE 0 pdev->name 15
DATA_SOURCE 0 pdev r _kzalloc_noprof
STR_LEN 0 pdev->name 14
TERMINATED 0 pdev->name 1

drivers/mtd/maps/physmap-core.c physmap_init() -> platform_device_register()

Type Parameter Key Value
PARAM_VALUE 0 pdev 8828331663678160896

drivers/dax/hmem/device.c __hmem_register_resource() -> platform_device_register()

Type Parameter Key Value
PARAM_VALUE 0 pdev 8113909787320881152
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &hmem_resource_lock

arch/x86/kernel/rtc.c add_rtc_cmos() -> platform_device_register()

Type Parameter Key Value
PARAM_VALUE 0 pdev 2330055635830009856
NOCHECK_CALL