Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/gpu/drm/tegra/firewall.c fw_check_reg() -> fw_check_addr_valid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fw | 8162020522406686720 |
| PARAM_VALUE | 0 | fw->submit | 4096-ptr_max |
| DATA_SOURCE | 0 | fw | $0 |
| NO_OVERFLOW_SIMPLE | 0 | fw->pos | |
| LOCK2 | &fpriv->lock | ||
| TYPE_LOCK | (struct tegra_drm_file)->lock |