This series fixes two MISRA findings in the arm/tee mediators.
1. Rename a local variable in FF-A partition-info handling to avoid
shadowing the global `ffa_vm_count` (Rule 5.3 report).
2. Add/document `default` switch labels in OP-TEE paths to satisfy
Rule 16.4 checks.
This serie is based on "xen/arm: ffa: Add PARTITION_INFO_GET_REGS support"
which is pending for merge in the tree so it must not be merged before
it !!
The following pipeline executed on top of this serie shows that there
are no findings anymore in xen/arch/arm/tee:
https://gitlab.com/xen-project/people/bmarquis/xen-ffa-research/-/pipelines/2395186683
Bertrand Marquis (2):
xen/arm: ffa: Fix local ffa_vm_count shadowing
xen/arm: optee: Add MISRA-compliant switch default labels
xen/arch/arm/tee/ffa_partinfo.c | 14 +++++++-------
xen/arch/arm/tee/optee.c | 11 +++++++++++
2 files changed, 18 insertions(+), 7 deletions(-)
--
2.52.0