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

am335/ompa3/bcm2837: compare irq & maxIRQ with <=

Browse source 
Signed-off-by: Julia Vassiliki <julia.vassiliki@unsw.edu.au>
This commit is contained in:
Julia Vassiliki 2025-10-30 14:58:25 +11:00 committed by Gerwin Klein
parent 3977e12b8b
commit 3db39fd7bc
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

@ -90,7 +90,7 @@ static inline bool_t isIRQPending(void)
/* Enable or disable irq according to the 'disable' flag. */
static inline void maskInterrupt(bool_t disable, irq_t irq)
{
if (likely(irq < maxIRQ)) {
if (likely(irq <= maxIRQ)) {
if (disable) {
intc->intcps_n[irq / 32].intcps_mir_set = 1 << (irq & 31);
} else {

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

@ -81,7 +81,7 @@ static inline bool_t isIRQPending(void)
/* Enable or disable irq according to the 'disable' flag. */
static inline void maskInterrupt(bool_t disable, irq_t irq)
{
if (likely(irq < maxIRQ)) {
if (likely(irq <= maxIRQ)) {
if (disable) {
intc->intcps_n[irq / 32].intcps_mir_set = 1 << (irq & 31);
} else {

2
src/plat/bcm2837/machine/intc.c
View file

@ -118,7 +118,7 @@ static inline void maskInterrupt(bool_t disable, irq_t irq)
} else {
intc_regs->bfEnableBasicIRQs = BIT(irq - BASIC_IRQ_OFFSET);
}
} else if (irq < maxIRQ) {
} else if (irq <= maxIRQ) {
int normal_irq = irq - NORMAL_IRQ_OFFSET;
int index = normal_irq / 32;
if (disable) {