Defined in 29 files as a member:
- drivers/firmware/google/gsmi.c, line 108 (as a member)
- drivers/firmware/google/gsmi.c, line 118 (as a member)
- drivers/i3c/master/mipi-i3c-hci/pio.c, line 118 (as a member)
- drivers/net/ethernet/broadcom/bnge/bnge_netdev.h, line 119 (as a member)
- drivers/net/ethernet/broadcom/bnge/bnge_netdev.h, line 181 (as a member)
- drivers/net/ethernet/broadcom/bnxt/bnxt.h, line 912 (as a member)
- drivers/net/ethernet/broadcom/bnxt/bnxt.h, line 1071 (as a member)
- drivers/net/ethernet/ibm/emac/mal.h, line 143 (as a member)
- drivers/net/ethernet/mediatek/mtk_star_emac.c, line 207 (as a member)
- drivers/net/ethernet/qlogic/qed/qed_hsi.h, line 1374 (as a member)
- drivers/net/ethernet/qlogic/qed/qed_mfw_hsi.h, line 517 (as a member)
- drivers/net/fddi/defza.c, line 439 (as a member)
- drivers/net/wireless/ath/ath10k/wmi.h, line 5777 (as a member)
- drivers/scsi/bfa/bfa_svc.h, line 327 (as a member)
- drivers/scsi/mesh.c, line 157 (as a member)
- drivers/staging/media/atomisp/pci/ia_css_3a.h, line 49 (as a member)
- drivers/staging/media/atomisp/pci/ia_css_3a.h, line 86 (as a member)
- drivers/staging/media/atomisp/pci/ia_css_dvs.h, line 37 (as a member)
- drivers/staging/media/atomisp/pci/ia_css_dvs.h, line 61 (as a member)
- drivers/staging/media/ipu3/ipu3-abi.h, line 1949 (as a member)
- include/sound/sof/ipc4/header.h, line 42 (as a member)
- include/uapi/drm/i915_drm.h, line 944 (as a member)
- include/uapi/drm/i915_drm.h, line 960 (as a member)
- include/uapi/drm/i915_drm.h, line 3117 (as a member)
- include/uapi/drm/radeon_drm.h, line 902 (as a member)
- include/uapi/drm/radeon_drm.h, line 915 (as a member)
- include/uapi/linux/mmc/ioctl.h, line 49 (as a member)
- include/uapi/sound/asound.h, line 1205 (as a member)
- tools/perf/trace/beauty/include/uapi/sound/asound.h, line 1186 (as a member)
Defined in 1 files as a function:
Referenced in 94 files:
- arch/s390/hypfs/hypfs_sprp.c
- drivers/accel/habanalabs/common/firmware_if.c
- drivers/android/binder.c
- drivers/base/test/property-entry-test.c
- drivers/firmware/google/gsmi.c
- drivers/gpu/drm/i915/gem/i915_gem_phys.c
- drivers/gpu/drm/i915/gem/i915_gem_shmem.c, line 411
- drivers/gpu/drm/i915/i915_gem.c
- drivers/gpu/drm/i915/i915_query.c
- drivers/i3c/master/mipi-i3c-hci/pio.c
- drivers/iio/accel/bma220_core.c
- drivers/iio/accel/bma400_core.c
- drivers/iio/imu/bmi323/bmi323_core.c
- drivers/iio/imu/smi240.c
- drivers/iio/light/bh1745.c
- drivers/infiniband/core/uverbs_cmd.c
- drivers/md/dm-vdo/data-vio.c
- drivers/md/dm-vdo/indexer/volume.c
- drivers/md/dm-vdo/indexer/volume.h, line 166
- drivers/media/dvb-frontends/mxl5xx.c
- drivers/media/dvb-frontends/mxl5xx_defs.h
- drivers/media/platform/qcom/iris/iris_hfi_gen1_response.c
- drivers/media/platform/qcom/venus/hfi_msgs.c
- drivers/mmc/core/block.c
- drivers/mtd/nand/raw/mtk_nand.c
- drivers/net/ethernet/broadcom/bnge/bnge_netdev.c
- drivers/net/ethernet/broadcom/bnge/bnge_txrx.c
-
drivers/net/ethernet/broadcom/bnxt/bnxt.c
- line 1013
- line 1022
- line 1042
- line 1042
- line 1173
- line 1200
- line 1208
- line 1230
- line 1239
- line 1241
- line 1255
- line 1612
- line 1612
- line 1622
- line 1622
- line 1890
- line 1937
- line 1937
- line 1938
- line 1951
- line 1970
- line 2137
- line 2211
- line 2211
- line 2212
- line 2257
- line 2272
- line 2287
- line 2306
- line 2306
- line 2310
- line 4558
- drivers/net/ethernet/broadcom/bnxt/bnxt_ethtool.c, line 5111
- drivers/net/ethernet/broadcom/bnxt/bnxt_xdp.c
- drivers/net/ethernet/broadcom/bnxt/bnxt_xdp.h
- drivers/net/ethernet/emulex/benet/be_cmds.c
- drivers/net/ethernet/ibm/emac/core.c
- drivers/net/ethernet/intel/i40e/i40e_nvm.c
- drivers/net/ethernet/intel/i40e/i40e_prototype.h, line 333
- drivers/net/ethernet/mediatek/mtk_star_emac.c
- drivers/net/ethernet/mellanox/mlx5/core/steering/sws/dr_ste_v1.c
- drivers/net/ethernet/mellanox/mlx5/core/steering/sws/dr_ste_v3.c
- drivers/net/ethernet/qlogic/qed/qed_mng_tlv.c, line 1255
- drivers/net/ethernet/qlogic/qed/qed_spq.c
- drivers/net/ethernet/qlogic/qede/qede_ethtool.c
- drivers/net/fddi/defza.c
- drivers/net/wireless/ath/ath10k/wmi-tlv.c, line 2941
- drivers/net/wireless/ath/ath10k/wmi.c, line 7899
- drivers/net/wwan/iosm/iosm_ipc_coredump.c
- drivers/net/wwan/t7xx/t7xx_hif_cldma.c
- drivers/scsi/bfa/bfa_svc.c, line 5455
- drivers/scsi/bfa/bfa_svc.h, line 693
- drivers/scsi/hpsa.c
- drivers/scsi/mesh.c
- drivers/scsi/nsp32_io.h
- drivers/scsi/pcmcia/nsp_io.h
-
drivers/scsi/qla2xxx/qla_nx.c
- line 3745
- line 3754
- line 3757
- line 3767
- line 3779
- line 3780
- line 3783
- line 3793
- line 3802
- line 3803
- line 3806
- line 3820
- line 3859
- line 3864
- line 3877
- line 3895
- line 3900
- line 3912
- line 3925
- line 3930
- line 3941
- line 3953
- line 3956
- line 3969
- line 4019
- line 4024
- line 4062
- line 4067
- line 4162
- line 4178
- line 4186
- line 4190
- line 4199
- line 4206
- line 4215
- line 4219
- line 4223
- line 4227
- line 4236
- line 4238
-
drivers/scsi/qla2xxx/qla_nx2.c
- line 2321
- line 2331
- line 2332
- line 2335
- line 2346
- line 2401
- line 2412
- line 2423
- line 2433
- line 2440
- line 2441
- line 2469
- line 2507
- line 2512
- line 2524
- line 2542
- line 2547
- line 2556
- line 2572
- line 2578
- line 2588
- line 2602
- line 2603
- line 2606
- line 2618
- line 2632
- line 2637
- line 2649
- line 2677
- line 2678
- line 2682
- line 2696
- line 2709
- line 2714
- line 2718
- line 2723
- line 2729
- line 2740
- line 2788
- line 2789
- line 2791
- line 2903
- line 2973
- line 2974
- line 2978
- line 2998
- line 3070
- line 3071
- line 3076
- line 3094
- line 3149
- line 3150
- line 3153
- line 3219
- line 3270
- line 3288
- line 3345
- line 3349
- line 3352
- line 3363
- line 3374
- line 3385
- line 3389
- line 3393
- line 3397
- line 3401
- line 3407
- line 3411
- line 3417
- line 3423
- line 3429
- line 3439
-
drivers/scsi/qla4xxx/ql4_nx.c
- line 1831
- line 1849
- line 1908
- line 1918
- line 1919
- line 1922
- line 2017
- line 2110
- line 2111
- line 2117
- line 2137
- line 2176
- line 2182
- line 2309
- line 2323
- line 2328
- line 2337
- line 2350
- line 2351
- line 2354
- line 2365
- line 2383
- line 2388
- line 2399
- line 2413
- line 2418
- line 2431
- line 2448
- line 2451
- line 2466
- line 2526
- line 2536
- line 2544
- line 2547
- line 2550
- line 2551
- line 2578
- line 2610
- line 2611
- line 2615
- line 2631
- line 2706
- line 2707
- line 2711
- line 2726
- line 2780
- line 2781
- line 2784
- line 2846
- line 2859
- line 2864
- line 2868
- line 2873
- line 2879
- line 2888
- line 2940
- line 2941
- line 2942
- line 2954
- line 2964
- line 2972
- line 2973
- line 2988
- line 3003
- line 3009
- line 3069
- line 3073
- line 3083
- line 3087
- line 3099
- line 3110
- line 3114
- line 3118
- line 3122
- line 3130
- line 3140
- line 3148
- line 3154
- line 3160
- line 3166
- line 3176
- drivers/staging/media/atomisp/pci/atomisp_compat_css20.c
- drivers/staging/media/atomisp/pci/atomisp_fops.c
- drivers/staging/media/atomisp/pci/ia_css_3a.h, line 173
- drivers/staging/media/atomisp/pci/ia_css_dvs.h, line 275
- drivers/staging/media/atomisp/pci/isp/kernels/sdis/sdis_1.0/ia_css_sdis.host.c
- drivers/staging/media/atomisp/pci/isp/kernels/sdis/sdis_2/ia_css_sdis2.host.c
- drivers/staging/media/atomisp/pci/sh_css_params.c
- drivers/staging/media/ipu3/ipu3-css.c, line 115
- drivers/usb/storage/ene_ub6250.c
- drivers/usb/storage/usb.c
- fs/btrfs/delayed-inode.c
- fs/btrfs/dir-item.c
- fs/btrfs/props.c
- fs/btrfs/send.c
- fs/btrfs/tree-log.c
- fs/btrfs/xattr.c
- include/uapi/linux/mmc/ioctl.h, line 51
- kernel/bpf/helpers.c
- kernel/bpf/verifier.c
- net/batman-adv/translation-table.c
- sound/firewire/motu/motu.c
- sound/isa/sb/sb16_csp.c
- sound/pci/cs46xx/cs46xx_dsp_scb_types.h, line 1091
- sound/soc/sof/intel/cnl.c, line 271
- sound/soc/sof/intel/hda-ipc.c, line 118
- sound/soc/sof/intel/mtl.c, line 113
- sound/soc/sof/ipc4-control.c
- sound/soc/sof/ipc4-loader.c
- sound/soc/sof/ipc4-mtrace.c
- sound/soc/sof/ipc4-pcm.c, line 119
- sound/soc/sof/ipc4-topology.c
- sound/soc/sof/ipc4.c
- sound/soc/sof/sof-client-ipc-msg-injector.c
- sound/soc/sof/sof-client-probes-ipc4.c
- tools/bpf/bpftool/prog.c
- tools/perf/util/expr.c
- tools/testing/selftests/bpf/bpf_kfuncs.h, line 78
- tools/testing/selftests/bpf/prog_tests/user_ringbuf.c
- tools/testing/selftests/bpf/progs/test_verify_pkcs7_sig.c
Smatch caller information:
drivers/mtd/nand/raw/mtk_nand.c mtk_nfc_format_page() -> data_ptr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | chip | 4096-ptr_max |
| PARAM_VALUE | 1 | p | 1-u64max |
| PARAM_VALUE | 2 | i | 0-2147483646 |
| BUF_SIZE | 1 | p | (-1),1-s32max |
| BUF_SIZE | 1 | p | (-1),1-s32max |
| CAPPED_DATA | 2 | i | 1 |
| DATA_SOURCE | 0 | chip | r mtd_to_nand |
| DATA_SOURCE | 1 | p | $1 |
| PARAM_COMPARE | 0 | chip->ecc.steps | > $2 |
| PARAM_COMPARE | 2 | i | < $0->ecc.steps |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/mtd/nand/raw/mtk_nand.c mtk_nfc_format_page() -> data_ptr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | chip | 4096-ptr_max |
| PARAM_VALUE | 1 | p | 1-u64max |
| PARAM_VALUE | 2 | i | 0-2147483646 |
| BUF_SIZE | 1 | p | (-1),1-s32max |
| BUF_SIZE | 1 | p | (-1),1-s32max |
| CAPPED_DATA | 2 | i | 1 |
| DATA_SOURCE | 0 | chip | r mtd_to_nand |
| DATA_SOURCE | 1 | p | $1 |
| PARAM_COMPARE | 0 | chip->ecc.steps | > $2 |
| PARAM_COMPARE | 2 | i | < $0->ecc.steps |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/mtd/nand/raw/mtk_nand.c mtk_nfc_format_page() -> data_ptr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | chip | 4096-ptr_max |
| PARAM_VALUE | 1 | p | 1-u64max |
| PARAM_VALUE | 2 | i | 0-2147483646 |
| BUF_SIZE | 1 | p | (-1),1-s32max |
| BUF_SIZE | 1 | p | (-1),1-s32max |
| CAPPED_DATA | 2 | i | 1 |
| DATA_SOURCE | 0 | chip | r mtd_to_nand |
| DATA_SOURCE | 1 | p | $1 |
| PARAM_COMPARE | 0 | chip->ecc.steps | > $2 |
| PARAM_COMPARE | 2 | i | < $0->ecc.steps |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/mtd/nand/raw/mtk_nand.c mtk_nfc_format_subpage() -> data_ptr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | chip | 4096-ptr_max |
| PARAM_VALUE | 2 | i | 0-s32max |
| BUF_SIZE | 1 | p | (-1),1-s32max |
| BUF_SIZE | 1 | p | (-1),1-s32max |
| CAPPED_DATA | 2 | i | 1 |
| DATA_SOURCE | 0 | chip | r mtd_to_nand |
| DATA_SOURCE | 1 | p | $3 |
| PARAM_COMPARE | 0 | chip->ecc.steps | > $2 |
| PARAM_COMPARE | 2 | i | < $0->ecc.steps |
| HALF_LOCKED2 | &chip->controller->lock | ||
| HALF_LOCKED2 | &chip->lock |
drivers/mtd/nand/raw/mtk_nand.c mtk_nfc_format_subpage() -> data_ptr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | chip | 4096-ptr_max |
| PARAM_VALUE | 2 | i | 0-s32max |
| BUF_SIZE | 1 | p | (-1),1-s32max |
| BUF_SIZE | 1 | p | (-1),1-s32max |
| CAPPED_DATA | 2 | i | 1 |
| DATA_SOURCE | 0 | chip | r mtd_to_nand |
| DATA_SOURCE | 1 | p | $3 |
| PARAM_COMPARE | 0 | chip->ecc.steps | > $2 |
| PARAM_COMPARE | 2 | i | < $0->ecc.steps |
| HALF_LOCKED2 | &chip->controller->lock | ||
| HALF_LOCKED2 | &chip->lock |
drivers/mtd/nand/raw/mtk_nand.c mtk_nfc_format_subpage() -> data_ptr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | chip | 4096-ptr_max |
| PARAM_VALUE | 2 | i | 0-s32max |
| BUF_SIZE | 1 | p | (-1),1-s32max |
| BUF_SIZE | 1 | p | (-1),1-s32max |
| CAPPED_DATA | 2 | i | 1 |
| DATA_SOURCE | 0 | chip | r mtd_to_nand |
| DATA_SOURCE | 1 | p | $3 |
| PARAM_COMPARE | 0 | chip->ecc.steps | > $2 |
| PARAM_COMPARE | 2 | i | < $0->ecc.steps |
| HALF_LOCKED2 | &chip->controller->lock | ||
| HALF_LOCKED2 | &chip->lock |
drivers/mtd/nand/raw/mtk_nand.c mtk_nfc_read_page_raw() -> data_ptr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | chip | 4096-ptr_max |
| PARAM_VALUE | 1 | p | 1-u64max |
| PARAM_VALUE | 2 | i | 0-s32max |
| BUF_SIZE | 0 | chip->badblock_pattern | (-1),72 |
| BUF_SIZE | 0 | chip->bbt_md | (-1)-0,72 |
| BUF_SIZE | 0 | chip->bbt_md->pattern | (-1),9 |
| BUF_SIZE | 0 | chip->bbt_td | (-1)-0,72 |
| BUF_SIZE | 0 | chip->bbt_td->pattern | (-1),9 |
| BUF_SIZE | 0 | chip->controller | (-1),168 |
| BUF_SIZE | 0 | chip->data_buf | (-1)-s32max |
| BUF_SIZE | 1 | p | s32min,(-1)-s32max |
| BUF_SIZE | 1 | p | s32min,(-1)-s32max |
| CAPPED_DATA | 0 | chip | 1 |
| CAPPED_DATA | 2 | i | 1 |
| DATA_SOURCE | 0 | chip | $0 |
| DATA_SOURCE | 1 | p | $1 |
| STR_LEN | 0 | chip->bbt_md->pattern | (-1),8 |
| STR_LEN | 0 | chip->bbt_td->pattern | (-1),8 |
| PARAM_COMPARE | 0 | chip->ecc.steps | > $2 |
| PARAM_COMPARE | 2 | i | < $0->ecc.steps |
| NOSPEC | 0 | chip->cur_cs | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | chip->cont_read.first_page | 1-s32max[c] |
| HOST_DATA | 0 | chip->cont_read.pause_page | 2-4147480570[c] |
| HOST_DATA | 0 | chip->cur_cs | 1-s32max[c] |
| HOST_DATA | 0 | chip->pagecache.page | s32min-s32max[c] |
| HOST_DATA | 0 | chip->priv->curr_column | s32min-s32max[c] |
| HOST_DATA | 0 | chip->priv->curr_page_addr | 1-s32max[c] |
| HOST_DATA | 0 | chip->priv->offset | 0-s32max[c] |
| HOST_DATA | 0 | *chip->data_buf | 0-255 |
| HOST_DATA | 0 | *chip->oob_poi | 0-255 |
| USER_DATA | 0 | chip->cont_read.first_page | 1-s32max[c] |
| USER_DATA | 0 | chip->cur_cs | 1-s32max[c] |
| USER_DATA | 0 | chip->pagecache.page | s32min-s32max |
| USER_DATA | 0 | chip->priv->curr_column | s32min-s32max[c] |
| USER_DATA | 0 | chip->priv->curr_page_addr | 1-s32max[c] |
| USER_DATA | 0 | chip->priv->offset | 0-s32max[c] |
| USER_DATA | 0 | *chip->oob_poi | 0-255 |
| USER_DATA | 1 | *p | 0-255 |
| NO_OVERFLOW_SIMPLE | 0 | chip->ecc.postpad | |
| NO_OVERFLOW_SIMPLE | 0 | chip->ecc.prepad | |
| NO_OVERFLOW_SIMPLE | 0 | chip->nr_secure_regions | |
| USER_PTR | 1 | p | |
| HALF_LOCKED2 | 0 | &chip->controller->lock | |
| HALF_LOCKED2 | 0 | &chip->lock |
drivers/mtd/nand/raw/mtk_nand.c mtk_nfc_read_page_raw() -> data_ptr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | chip | 4096-ptr_max |
| PARAM_VALUE | 1 | p | 1-u64max |
| PARAM_VALUE | 2 | i | 0-s32max |
| BUF_SIZE | 0 | chip->badblock_pattern | (-1),72 |
| BUF_SIZE | 0 | chip->bbt_md | (-1)-0,72 |
| BUF_SIZE | 0 | chip->bbt_md->pattern | (-1),9 |
| BUF_SIZE | 0 | chip->bbt_td | (-1)-0,72 |
| BUF_SIZE | 0 | chip->bbt_td->pattern | (-1),9 |
| BUF_SIZE | 0 | chip->controller | (-1),168 |
| BUF_SIZE | 0 | chip->data_buf | (-1)-s32max |
| BUF_SIZE | 1 | p | s32min,(-1)-s32max |
| BUF_SIZE | 1 | p | s32min,(-1)-s32max |
| CAPPED_DATA | 0 | chip | 1 |
| CAPPED_DATA | 2 | i | 1 |
| DATA_SOURCE | 0 | chip | $0 |
| DATA_SOURCE | 1 | p | $1 |
| STR_LEN | 0 | chip->bbt_md->pattern | (-1),8 |
| STR_LEN | 0 | chip->bbt_td->pattern | (-1),8 |
| PARAM_COMPARE | 0 | chip->ecc.steps | > $2 |
| PARAM_COMPARE | 2 | i | < $0->ecc.steps |
| NOSPEC | 0 | chip->cur_cs | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | chip->cont_read.first_page | 1-s32max[c] |
| HOST_DATA | 0 | chip->cont_read.pause_page | 2-4147480570[c] |
| HOST_DATA | 0 | chip->cur_cs | 1-s32max[c] |
| HOST_DATA | 0 | chip->pagecache.page | s32min-s32max[c] |
| HOST_DATA | 0 | chip->priv->curr_column | s32min-s32max[c] |
| HOST_DATA | 0 | chip->priv->curr_page_addr | 1-s32max[c] |
| HOST_DATA | 0 | chip->priv->offset | 0-s32max[c] |
| HOST_DATA | 0 | *chip->data_buf | 0-255 |
| HOST_DATA | 0 | *chip->oob_poi | 0-255 |
| USER_DATA | 0 | chip->cont_read.first_page | 1-s32max[c] |
| USER_DATA | 0 | chip->cur_cs | 1-s32max[c] |
| USER_DATA | 0 | chip->pagecache.page | s32min-s32max |
| USER_DATA | 0 | chip->priv->curr_column | s32min-s32max[c] |
| USER_DATA | 0 | chip->priv->curr_page_addr | 1-s32max[c] |
| USER_DATA | 0 | chip->priv->offset | 0-s32max[c] |
| USER_DATA | 0 | *chip->oob_poi | 0-255 |
| USER_DATA | 1 | *p | 0-255 |
| NO_OVERFLOW_SIMPLE | 0 | chip->ecc.postpad | |
| NO_OVERFLOW_SIMPLE | 0 | chip->ecc.prepad | |
| NO_OVERFLOW_SIMPLE | 0 | chip->nr_secure_regions | |
| USER_PTR | 1 | p | |
| HALF_LOCKED2 | 0 | &chip->controller->lock | |
| HALF_LOCKED2 | 0 | &chip->lock |
drivers/mtd/nand/raw/mtk_nand.c mtk_nfc_read_page_raw() -> data_ptr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | chip | 4096-ptr_max |
| PARAM_VALUE | 1 | p | 1-u64max |
| PARAM_VALUE | 2 | i | 0-s32max |
| BUF_SIZE | 0 | chip->badblock_pattern | (-1),72 |
| BUF_SIZE | 0 | chip->bbt_md | (-1)-0,72 |
| BUF_SIZE | 0 | chip->bbt_md->pattern | (-1),9 |
| BUF_SIZE | 0 | chip->bbt_td | (-1)-0,72 |
| BUF_SIZE | 0 | chip->bbt_td->pattern | (-1),9 |
| BUF_SIZE | 0 | chip->controller | (-1),168 |
| BUF_SIZE | 0 | chip->data_buf | (-1)-s32max |
| BUF_SIZE | 1 | p | s32min,(-1)-s32max |
| BUF_SIZE | 1 | p | s32min,(-1)-s32max |
| CAPPED_DATA | 0 | chip | 1 |
| CAPPED_DATA | 2 | i | 1 |
| DATA_SOURCE | 0 | chip | $0 |
| DATA_SOURCE | 1 | p | $1 |
| STR_LEN | 0 | chip->bbt_md->pattern | (-1),8 |
| STR_LEN | 0 | chip->bbt_td->pattern | (-1),8 |
| PARAM_COMPARE | 0 | chip->ecc.steps | > $2 |
| PARAM_COMPARE | 2 | i | < $0->ecc.steps |
| NOSPEC | 0 | chip->cur_cs | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | chip->cont_read.first_page | 1-s32max[c] |
| HOST_DATA | 0 | chip->cont_read.pause_page | 2-4147480570[c] |
| HOST_DATA | 0 | chip->cur_cs | 1-s32max[c] |
| HOST_DATA | 0 | chip->pagecache.page | s32min-s32max[c] |
| HOST_DATA | 0 | chip->priv->curr_column | s32min-s32max[c] |
| HOST_DATA | 0 | chip->priv->curr_page_addr | 1-s32max[c] |
| HOST_DATA | 0 | chip->priv->offset | 0-s32max[c] |
| HOST_DATA | 0 | *chip->data_buf | 0-255 |
| HOST_DATA | 0 | *chip->oob_poi | 0-255 |
| USER_DATA | 0 | chip->cont_read.first_page | 1-s32max[c] |
| USER_DATA | 0 | chip->cur_cs | 1-s32max[c] |
| USER_DATA | 0 | chip->pagecache.page | s32min-s32max |
| USER_DATA | 0 | chip->priv->curr_column | s32min-s32max[c] |
| USER_DATA | 0 | chip->priv->curr_page_addr | 1-s32max[c] |
| USER_DATA | 0 | chip->priv->offset | 0-s32max[c] |
| USER_DATA | 0 | *chip->oob_poi | 0-255 |
| USER_DATA | 1 | *p | 0-255 |
| NO_OVERFLOW_SIMPLE | 0 | chip->ecc.postpad | |
| NO_OVERFLOW_SIMPLE | 0 | chip->ecc.prepad | |
| NO_OVERFLOW_SIMPLE | 0 | chip->nr_secure_regions | |
| USER_PTR | 1 | p | |
| HALF_LOCKED2 | 0 | &chip->controller->lock | |
| HALF_LOCKED2 | 0 | &chip->lock |