Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 fw 8162020522406686720
PARAM_VALUE 0 fw->client 4096-ptr_max
PARAM_VALUE 0 fw->submit 4096-ptr_max
PARAM_VALUE 1 offset 0-4095
PARAM_VALUE 2 count 0-u16max
PARAM_VALUE 3 incr 1
NO_OVERFLOW_SIMPLE 0 fw->pos
LOCK2 &fpriv->lock
TYPE_LOCK (struct tegra_drm_file)->lock

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

Type Parameter Key Value
PARAM_VALUE 0 fw 8162020522406686720
PARAM_VALUE 0 fw->client 4096-ptr_max
PARAM_VALUE 0 fw->submit 4096-ptr_max
PARAM_VALUE 1 offset 0-4095
PARAM_VALUE 2 count 0-u16max
PARAM_VALUE 3 incr 0
NO_OVERFLOW_SIMPLE 0 fw->pos
LOCK2 &fpriv->lock
TYPE_LOCK (struct tegra_drm_file)->lock

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

Type Parameter Key Value
PARAM_VALUE 0 fw 8162020522406686720
PARAM_VALUE 0 fw->client 4096-ptr_max
PARAM_VALUE 0 fw->submit 4096-ptr_max
PARAM_VALUE 1 offset 0-4194303
PARAM_VALUE 3 incr 1
CAPPED_DATA 2 count 1
NO_OVERFLOW_SIMPLE 0 fw->pos
LOCK2 &fpriv->lock
TYPE_LOCK (struct tegra_drm_file)->lock

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

Type Parameter Key Value
PARAM_VALUE 0 fw 8162020522406686720
PARAM_VALUE 0 fw->client 4096-ptr_max
PARAM_VALUE 0 fw->submit 4096-ptr_max
PARAM_VALUE 1 offset 0-4194303
PARAM_VALUE 3 incr 0
CAPPED_DATA 2 count 1
NO_OVERFLOW_SIMPLE 0 fw->pos
LOCK2 &fpriv->lock
TYPE_LOCK (struct tegra_drm_file)->lock