tree 19462e653dd1dfcbbabdc0c9d506ece620be03a5
parent a3978d6e4762ac4c82c7370d2d48446cb55f0867
author J-Alves <joao.alves@arm.com> 1701959688 +0000
committer Madhukar Pappireddy <madhukar.pappireddy@arm.com> 1701966884 +0100

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