Open Menu /

Defined in 1 files as a prototype:

Defined in 2 files as a macro:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/media/v4l2-core/tuner-core.c tuner_detach() -> symbol_put_addr()

Type Parameter Key Value
PARAM_VALUE 0 addr 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->mutex

drivers/media/v4l2-core/tuner-core.c tuner_detach() -> symbol_put_addr()

Type Parameter Key Value
PARAM_VALUE 0 addr 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->mutex

drivers/mtd/chips/gen_probe.c cfi_cmdset_unknown() -> symbol_put_addr()

Type Parameter Key Value
PARAM_VALUE 0 addr 4096-ptr_max
DATA_SOURCE 0 addr r __symbol_get
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/usb/dvb-usb/dib0700_devices.c nim7090_frontend_attach() -> symbol_put_addr()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/usb/dvb-usb/dib0700_devices.c novatd_frontend_attach() -> symbol_put_addr()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/usb/dvb-usb/dib0700_devices.c pctv340e_frontend_attach() -> symbol_put_addr()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/usb/dvb-usb/dib0700_devices.c stk7070p_frontend_attach() -> symbol_put_addr()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/usb/dvb-usb/dib0700_devices.c stk7070pd_frontend_attach0() -> symbol_put_addr()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/usb/dvb-usb/dib0700_devices.c stk7700P2_frontend_attach() -> symbol_put_addr()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/usb/dvb-usb/dib0700_devices.c stk7700d_frontend_attach() -> symbol_put_addr()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/usb/dvb-usb/dib0700_devices.c stk7700ph_frontend_attach() -> symbol_put_addr()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/usb/dvb-usb/dib0700_devices.c stk7770p_frontend_attach() -> symbol_put_addr()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/usb/dvb-usb/dib0700_devices.c tfe7090pvr_frontend0_attach() -> symbol_put_addr()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/usb/dvb-usb/dib0700_devices.c tfe7090pvr_frontend1_attach() -> symbol_put_addr()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/usb/dvb-usb/dib0700_devices.c tfe7790p_frontend_attach() -> symbol_put_addr()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/dvb-core/dvb_frontend.c dvb_frontend_invoke_release() -> symbol_put_addr()

Type Parameter Key Value
PARAM_VALUE 0 addr 1-u64max
DATA_SOURCE 0 addr $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL