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

arm,irq: use UNREACHBLE in unimplemented functions

Browse source 
UNREACHABLE instead of halt means the compiler can elide the function
from the binary.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
This commit is contained in:
Gerwin Klein 2025-10-03 08:54:00 +10:00
parent 6c7a376200
commit ec918cf123
3 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
include/drivers/irq/am335x.h
View file

@ -128,7 +128,7 @@ void setIRQTrigger(irq_t irq, bool_t trigger)
static inline void plat_sendSGI(word_t irq, word_t target)
{
/* Unreachable; not supported on this platform. */
halt();
UNREACHABLE();
}
static inline bool_t plat_SGITargetValid(word_t target)

2
include/drivers/irq/bcm2836-armctrl-ic.h
View file

@ -153,7 +153,7 @@ void setIRQTrigger(irq_t irq, bool_t trigger)
static inline void plat_sendSGI(word_t irq, word_t target)
{
/* Unreachable; not supported on this platform. */
halt();
UNREACHABLE();
}
static inline bool_t plat_SGITargetValid(word_t target)

2
include/drivers/irq/omap3.h
View file

@ -114,7 +114,7 @@ void setIRQTrigger(irq_t irq, bool_t trigger)
static inline void plat_sendSGI(word_t irq, word_t target)
{
/* Unreachable; not supported on this platform. */
halt();
UNREACHABLE();
}
static inline bool_t plat_SGITargetValid(word_t target)