Firmware/opensbi
8
0
Fork 0
forked from Mirrors/opensbi
Code Pull Requests Activity

Fix interrupt and exception delegation

Browse Source 
When S mode is not supported, simply clear mideleg and medeleg.
Otherwise, set delegation from M-mode to S-mode, removing the page
fault exceptions as those would not happen in M-mode.

Signed-off-by: Damien Le Moal <damien.lemoal@wdc.com>
This commit is contained in:
Damien Le Moal
2018-12-21 15:05:33 +09:00
parent 9c183df632
commit d403c70fb1
1 changed files with 12 additions and 10 deletions
Download Patch File Download Diff File Expand all files Collapse all files

22
lib/sbi_hart.c
View File

@@ -77,17 +77,19 @@ static int fp_init(u32 hartid)
static int delegate_traps(u32 hartid)
{
/* send S-mode interrupts and most exceptions straight to S-mode */
unsigned long interrupts = MIP_SSIP | MIP_STIP | MIP_SEIP;
unsigned long exceptions = (1U << CAUSE_MISALIGNED_FETCH) |
(1U << CAUSE_FETCH_PAGE_FAULT) |
(1U << CAUSE_BREAKPOINT) |
(1U << CAUSE_LOAD_PAGE_FAULT) |
(1U << CAUSE_STORE_PAGE_FAULT) |
(1U << CAUSE_USER_ECALL);
unsigned long interrupts, exceptions;
if (!misa_extension('S'))
return 0;
if (!misa_extension('S')) {
/* No delegation possible */
interrupts = 0;
exceptions = 0;
} else {
/* Send M-mode interrupts and most exceptions to S-mode */
interrupts = MIP_SSIP | MIP_STIP | MIP_SEIP;
exceptions = (1U << CAUSE_MISALIGNED_FETCH) |
(1U << CAUSE_BREAKPOINT) |
(1U << CAUSE_USER_ECALL);
}
csr_write(mideleg, interrupts);
csr_write(medeleg, exceptions);