secc
/
seL4
mirror of https://github.com/seL4/seL4.git
2
0
Fork 0
Code Issues Projects Releases Wiki Activity

am335x,omap3,bcm2836: SGI unsupported 

SGI is currently only supported on GIC platforms.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
This commit is contained in:
Gerwin Klein 2025-02-19 10:25:19 +11:00
parent ae75fc3566
commit 606a1ea1c3
3 changed files with 24 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
include/drivers/irq/am335x.h
View File

@ -11,6 +11,9 @@
#include <machine/interrupt.h>
#include <armv/machine.h>
/* No SGIs on this platform. */
#define NUM_SGIS 0
enum irqNumbers {
irqInvalid = 255
};
@ -118,3 +121,8 @@ static inline void handleSpuriousIRQ(void)
dsb();
}
static inline void plat_sendSGI(word_t irq, word_t target)
{
/* Unreachable; not supported on this platform. */
halt();
}

9
include/drivers/irq/bcm2836-armctrl-ic.h
View File

@ -10,6 +10,9 @@
#include <machine/io.h>
#include <machine/interrupt.h>
/* SGI not supported on this platform. */
#define NUM_SGIS 0
#define BASIC_IRQ_OFFSET 32
#define NORMAL_IRQ_OFFSET (BASIC_IRQ_OFFSET + 32)
@ -143,4 +146,8 @@ static inline void handleSpuriousIRQ(void)
/* Nothing to do here */
}
static inline void plat_sendSGI(word_t irq, word_t target)
{
/* Unreachable; not supported on this platform. */
halt();
}

8
include/drivers/irq/omap3.h
View File

@ -15,6 +15,9 @@
#include <armv/machine.h>
#include <machine/interrupt.h>
/* No SGIs on this platform. */
#define NUM_SGIS 0
#define INTCPS_SIR_IRQ_SPURIOUSIRQFLAG 0xFF0000
enum irqNumbers {
@ -104,3 +107,8 @@ static inline void handleSpuriousIRQ(void)
dsb();
}
static inline void plat_sendSGI(word_t irq, word_t target)
{
/* Unreachable; not supported on this platform. */
halt();
}