Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 12 files:

Smatch caller information:

drivers/edac/i7300_edac.c i7300_remove_one() -> edac_pci_release_generic_ctl()

Type Parameter Key Value
PARAM_VALUE 0 pci 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/edac/e752x_edac.c e752x_remove_one() -> edac_pci_release_generic_ctl()

Type Parameter Key Value
PARAM_VALUE 0 pci 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/edac/i5400_edac.c i5400_remove_one() -> edac_pci_release_generic_ctl()

Type Parameter Key Value
PARAM_VALUE 0 pci 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/edac/i3000_edac.c i3000_remove_one() -> edac_pci_release_generic_ctl()

Type Parameter Key Value
PARAM_VALUE 0 pci 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/edac/i7core_edac.c i7core_pci_ctl_release() -> edac_pci_release_generic_ctl()

Type Parameter Key Value
PARAM_VALUE 0 pci 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &i7core_edac_lock

drivers/edac/amd64_edac.c amd64_edac_exit() -> edac_pci_release_generic_ctl()

Type Parameter Key Value
PARAM_VALUE 0 pci 4096-ptr_max
NOCHECK_CALL