Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/tegra/firewall.c fw_check_regs_mask() -> fw_check_reg()

Type Parameter Key Value
PARAM_VALUE 0 fw 8162020522406686720
PARAM_VALUE 0 fw->client 4096-ptr_max
PARAM_VALUE 0 fw->client->ops->is_addr_reg 0,3592932841650114560,4788617678266613760
PARAM_VALUE 0 fw->submit 4096-ptr_max
PARAM_VALUE 1 offset 0-4110
DATA_SOURCE 0 fw $0
NO_OVERFLOW_SIMPLE 0 fw->pos
LOCK2 &fpriv->lock
TYPE_LOCK (struct tegra_drm_file)->lock

drivers/gpu/drm/tegra/firewall.c fw_check_regs_seq() -> fw_check_reg()

Type Parameter Key Value
PARAM_VALUE 0 fw 8162020522406686720
PARAM_VALUE 0 fw->client 4096-ptr_max
PARAM_VALUE 0 fw->client->ops->is_addr_reg 0,3592932841650114560,4788617678266613760
PARAM_VALUE 0 fw->submit 4096-ptr_max
DATA_SOURCE 0 fw $0
DATA_SOURCE 1 offset $1 [m]
NO_OVERFLOW_SIMPLE 0 fw->pos
LOCK2 &fpriv->lock
TYPE_LOCK (struct tegra_drm_file)->lock