Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/platform/ti/omap3isp/isp.c isp_probe() -> isp_detach_iommu()

Type Parameter Key Value
PARAM_VALUE 0 isp 4096-ptr_max
BUF_SIZE 0 isp 65312
BUF_SIZE 0 isp->dev 1616
BUF_SIZE 0 isp->isp_csiphy1.vdd s32min,(-1)-s32max
BUF_SIZE 0 isp->isp_csiphy2.vdd s32min,(-1)-s32max
BUF_SIZE 0 isp->notifier.ops (-1),32
BUF_SIZE 0 isp->syscon (-1),1-s32max
CAPPED_DATA 0 isp->revision 1
DATA_SOURCE 0 isp r _kzalloc_noprof
MEM_ZERO 0 isp->crashed.bmap
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/platform/ti/omap3isp/isp.c isp_remove() -> isp_detach_iommu()

Type Parameter Key Value
PARAM_VALUE 0 isp 4096-ptr_max
BUF_SIZE 0 isp s32min-(-2),1-s32max
BUF_SIZE 0 isp s32min-(-2),1-s32max
CAPPED_DATA 0 isp->dev->cma_area->nranges 1
CAPPED_DATA 0 isp->isp_aewb.buf 1
CAPPED_DATA 0 isp->isp_aewb.priv 1
CAPPED_DATA 0 isp->isp_aewb.recover_priv 1
CAPPED_DATA 0 isp->isp_af.buf 1
CAPPED_DATA 0 isp->isp_af.priv 1
CAPPED_DATA 0 isp->isp_af.recover_priv 1
CAPPED_DATA 0 isp->isp_ccdc.fpc.addr 1
CAPPED_DATA 0 isp->isp_ccdc.lsc.request 1
CAPPED_DATA 0 isp->isp_hist.buf 1
CAPPED_DATA 0 isp->isp_hist.priv 1
CAPPED_DATA 0 isp->isp_hist.recover_priv 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 isp unit_byte
HALF_LOCKED2 &_dev->mutex