tree 0555c94da167c6737cb41a295408b53e5df64b3b
parent 694bdafdfa3889367def01633127a2986f868fb2
author J-Alves <joao.alves@arm.com> 1701959688 +0000
committer Paul Sokolovsky <paul.sokolovsky@linaro.org> 1725058058 +0200

fix: spm coverity scripts

All SPM coverity related scripts were missing the model options:
		gicd_are_fixed_one="1" \
		gicv3_ext_interrupt_range="1" \
		gicd_ext_ppi_count="64" \
		gicd_ext_spi_count="1024" \

Signed-off-by: J-Alves <joao.alves@arm.com>
Change-Id: I6f37697afae250fadb2c2085025376a67cc38f6d
(cherry picked from commit e87b0a04f7bc8c67b126968de0652dcfa8420cb0)