diff options
Diffstat (limited to 'include/sbi/sbi_hart.h')
| -rw-r--r-- | include/sbi/sbi_hart.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/include/sbi/sbi_hart.h b/include/sbi/sbi_hart.h index 4aa4a5c..0762f95 100644 --- a/include/sbi/sbi_hart.h +++ b/include/sbi/sbi_hart.h @@ -26,7 +26,8 @@ void __attribute__((noreturn)) sbi_hart_hang(void); void __attribute__((noreturn)) sbi_hart_switch_mode(unsigned long arg0, unsigned long arg1, - unsigned long next_addr, unsigned long next_mode); + unsigned long next_addr, unsigned long next_mode, + bool next_virt); void sbi_hart_mark_available(u32 hartid); |