RTOS/seL4
1
0
Fork 0
forked from Imagelibrary/seL4
Code Pull Requests Activity

Fix printing when IRQ is out of range

Browse Source 
Signed-off-by: Ivan-Velickovic <i.velickovic@unsw.edu.au>
This commit is contained in:
Ivan-Velickovic
2024-12-02 21:05:34 +11:00
committed by Gerwin Klein
parent 58674cdaec
commit e45d229601
2 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
include/arch/arm/arch/object/interrupt.h
View File

@@ -57,7 +57,7 @@ static inline exception_t Arch_checkIRQ(word_t irq_w)
current_syscall_error.type = seL4_RangeError;
current_syscall_error.rangeErrorMin = 0;
current_syscall_error.rangeErrorMax = maxIRQ;
userError("Rejecting request for IRQ %u. IRQ is greater than maxIRQ.", (int)irq_w);
userError("Rejecting request for IRQ %u. IRQ is out of range [0..%u].", (int)irq_w, maxIRQ);
return EXCEPTION_SYSCALL_ERROR;
}
return EXCEPTION_NONE;

2
src/arch/riscv/object/interrupt.c
View File

@@ -16,7 +16,7 @@ exception_t Arch_checkIRQ(word_t irq)
current_syscall_error.type = seL4_RangeError;
current_syscall_error.rangeErrorMin = 1;
current_syscall_error.rangeErrorMax = maxIRQ;
userError("Rejecting request for IRQ %u. IRQ is out of range [1..maxIRQ].", (int)irq);
userError("Rejecting request for IRQ %u. IRQ is out of range [1..%u].", (int)irq, maxIRQ);
return EXCEPTION_SYSCALL_ERROR;
}
return EXCEPTION_NONE;