Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/pci/pci-acpi.c pci_acpi_setup() -> acpi_device_power_add_dependent()

Type Parameter Key Value
PARAM_VALUE 0 adev 4096-ptr_max
PARAM_VALUE 0 adev->handle->type 0-255
PARAM_VALUE 0 adev->wakeup.context.dev 0,4096-ptr_max
PARAM_VALUE 0 adev->wakeup.flags.valid 1
PARAM_VALUE 0 adev->wakeup.ws 0,4096-ptr_max
PARAM_VALUE 0 adev->wakeup.ws->active 0
PARAM_VALUE 0 adev->wakeup.ws->entry.next 4096-ptr_max
PARAM_VALUE 0 adev->wakeup.ws->entry.prev 7526613115932463104
PARAM_VALUE 0 adev->wakeup.ws->entry.prev->prev 7526613115932463104
PARAM_VALUE 0 adev->wakeup.ws->id 0-s32max
PARAM_VALUE 0 adev->wakeup.ws->name 4096-ptr_max
PARAM_VALUE 0 adev->wakeup.ws->timer.entry.pprev 0
PARAM_VALUE 0 adev->wakeup.ws->timer.flags 0-4194302
PARAM_VALUE 0 adev->wakeup.ws->timer.lockdep_map->name 0-255
PARAM_VALUE 1 dev 4096-ptr_max
PARAM_VALUE 1 dev->bus 9023697146540859392
PARAM_VALUE 1 dev->dma_ops->dma_supported 0,5,527,50235921770707435,2528523692154392576,3617072262637035520,5023592177070743552,5276104885786021888
PARAM_VALUE 1 dev->dma_ops->map_phys 0,6,632,48484213451719352,2506261230157742080,4169194063996235776,4848421345171935232,6326163439792029696
PARAM_VALUE 1 dev->dma_ops->map_sg 0,6,663,58722010135957667,2118452656510775296,2518538481676259328,5872201013595766784,6630017431831871488
PARAM_VALUE 1 dev->dma_ops->mmap 0,5761417605877342208,7694740394750603264
PARAM_VALUE 1 dev->dma_ops->unmap_phys 0,7,775,62571895156780032,3634718672199266304,5690836758666383360,6257189515678003200,7756707427785986048
PARAM_VALUE 1 dev->dma_ops->unmap_sg 0,8,892,86767622481470668,1256335292805263360,8472845699660435456,8676762248147066880,8920167536469053440
PARAM_VALUE 1 dev->init_name 0
PARAM_VALUE 1 dev->kobj.kset->list.prev 4096-ptr_max
PARAM_VALUE 1 dev->kobj.kset->list.prev->next 4096-ptr_max
PARAM_VALUE 1 dev->kobj.kset->list.prev->next->next 4096-ptr_max
PARAM_VALUE 1 dev->kobj.kset->list_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 dev->kobj.sd->active.counter (-2147483647)
PARAM_VALUE 1 dev->p 1-u64max
CAPPED_DATA 1 dev 1
DATA_SOURCE 0 adev $1
DATA_SOURCE 1 dev $0
NOCHECK_CALL
UNITS 0 adev unit_byte