portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

arm,smc: switch statement cleanup

Browse source 
No change to behaviour, the commit just makes sure all cases are
explicitly listed instead of falling through to default.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
This commit is contained in:
Gerwin Klein 2025-11-28 12:26:45 +11:00
parent d2341c88d9
commit 100f76565f
1 changed files with 8 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
include/arch/arm/arch/64/mode/object/structures.h
View file

@ -148,6 +148,10 @@ static inline bool_t CONST cap_get_archCapIsPhysical(cap_t cap)
case cap_sgi_signal_cap:
return false;
#endif
#ifdef CONFIG_ALLOW_SMC_CALLS
case cap_smc_cap:
return false;
#endif
default:
/* Unreachable, but GCC can't figure that out */
@ -185,6 +189,10 @@ static inline void *CONST cap_get_archCapPtr(cap_t cap)
case cap_sgi_signal_cap:
return NULL;
#endif
#ifdef CONFIG_ALLOW_SMC_CALLS
case cap_smc_cap:
return NULL;
#endif
default:
/* Unreachable, but GCC can't figure that out */