Andrew Walbran | dfb7337 | 2022-04-21 10:52:27 +0000 | [diff] [blame] | 1 | // Copyright 2022, The Android Open Source Project |
| 2 | // |
| 3 | // Licensed under the Apache License, Version 2.0 (the "License"); |
| 4 | // you may not use this file except in compliance with the License. |
| 5 | // You may obtain a copy of the License at |
| 6 | // |
| 7 | // http://www.apache.org/licenses/LICENSE-2.0 |
| 8 | // |
| 9 | // Unless required by applicable law or agreed to in writing, software |
| 10 | // distributed under the License is distributed on an "AS IS" BASIS, |
| 11 | // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| 12 | // See the License for the specific language governing permissions and |
| 13 | // limitations under the License. |
| 14 | |
| 15 | //! Exception handlers. |
| 16 | |
Alice Wang | 110476e | 2023-06-07 13:12:21 +0000 | [diff] [blame] | 17 | use crate::memory::MEMORY; |
Jakob Vukalovic | d3fe9ed | 2023-04-20 15:43:09 +0100 | [diff] [blame] | 18 | use core::fmt; |
Pierre-Clément Tosi | da4440a | 2022-08-22 18:06:32 +0100 | [diff] [blame] | 19 | use vmbase::console; |
Jakob Vukalovic | d3fe9ed | 2023-04-20 15:43:09 +0100 | [diff] [blame] | 20 | use vmbase::logger; |
Alice Wang | 110476e | 2023-06-07 13:12:21 +0000 | [diff] [blame] | 21 | use vmbase::memory::{page_4kb_of, MemoryTrackerError}; |
Alice Wang | 81399f5 | 2023-05-26 14:23:43 +0000 | [diff] [blame] | 22 | use vmbase::read_sysreg; |
Jakob Vukalovic | bff22e1 | 2023-04-18 14:50:47 +0100 | [diff] [blame] | 23 | use vmbase::{eprintln, power::reboot}; |
Andrew Walbran | dfb7337 | 2022-04-21 10:52:27 +0000 | [diff] [blame] | 24 | |
Pierre-Clément Tosi | 446136e | 2022-10-19 10:10:42 +0100 | [diff] [blame] | 25 | const UART_PAGE: usize = page_4kb_of(console::BASE_ADDRESS); |
Pierre-Clément Tosi | da4440a | 2022-08-22 18:06:32 +0100 | [diff] [blame] | 26 | |
Jakob Vukalovic | d3fe9ed | 2023-04-20 15:43:09 +0100 | [diff] [blame] | 27 | #[derive(Debug)] |
| 28 | enum HandleExceptionError { |
Jakob Vukalovic | b99905d | 2023-04-20 15:46:02 +0100 | [diff] [blame] | 29 | PageTableUnavailable, |
| 30 | PageTableNotInitialized, |
| 31 | InternalError(MemoryTrackerError), |
Jakob Vukalovic | d3fe9ed | 2023-04-20 15:43:09 +0100 | [diff] [blame] | 32 | UnknownException, |
| 33 | } |
| 34 | |
Jakob Vukalovic | b99905d | 2023-04-20 15:46:02 +0100 | [diff] [blame] | 35 | impl From<MemoryTrackerError> for HandleExceptionError { |
| 36 | fn from(other: MemoryTrackerError) -> Self { |
| 37 | Self::InternalError(other) |
| 38 | } |
| 39 | } |
| 40 | |
Jakob Vukalovic | d3fe9ed | 2023-04-20 15:43:09 +0100 | [diff] [blame] | 41 | impl fmt::Display for HandleExceptionError { |
| 42 | fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result { |
| 43 | match self { |
Jakob Vukalovic | b99905d | 2023-04-20 15:46:02 +0100 | [diff] [blame] | 44 | Self::PageTableUnavailable => write!(f, "Page table is not available."), |
| 45 | Self::PageTableNotInitialized => write!(f, "Page table is not initialized."), |
| 46 | Self::InternalError(e) => write!(f, "Error while updating page table: {e}"), |
Jakob Vukalovic | d3fe9ed | 2023-04-20 15:43:09 +0100 | [diff] [blame] | 47 | Self::UnknownException => write!(f, "An unknown exception occurred, not handled."), |
| 48 | } |
| 49 | } |
| 50 | } |
| 51 | |
| 52 | #[derive(Debug, PartialEq, Copy, Clone)] |
| 53 | enum Esr { |
| 54 | DataAbortTranslationFault, |
| 55 | DataAbortPermissionFault, |
| 56 | DataAbortSyncExternalAbort, |
| 57 | Unknown(usize), |
| 58 | } |
| 59 | |
| 60 | impl Esr { |
| 61 | const EXT_DABT_32BIT: usize = 0x96000010; |
| 62 | const TRANSL_FAULT_BASE_32BIT: usize = 0x96000004; |
| 63 | const TRANSL_FAULT_ISS_MASK_32BIT: usize = !0x143; |
| 64 | const PERM_FAULT_BASE_32BIT: usize = 0x9600004C; |
| 65 | const PERM_FAULT_ISS_MASK_32BIT: usize = !0x103; |
| 66 | } |
| 67 | |
| 68 | impl From<usize> for Esr { |
| 69 | fn from(esr: usize) -> Self { |
| 70 | if esr == Self::EXT_DABT_32BIT { |
| 71 | Self::DataAbortSyncExternalAbort |
| 72 | } else if esr & Self::TRANSL_FAULT_ISS_MASK_32BIT == Self::TRANSL_FAULT_BASE_32BIT { |
| 73 | Self::DataAbortTranslationFault |
| 74 | } else if esr & Self::PERM_FAULT_ISS_MASK_32BIT == Self::PERM_FAULT_BASE_32BIT { |
| 75 | Self::DataAbortPermissionFault |
| 76 | } else { |
| 77 | Self::Unknown(esr) |
| 78 | } |
| 79 | } |
| 80 | } |
| 81 | |
| 82 | impl fmt::Display for Esr { |
| 83 | fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result { |
| 84 | match self { |
| 85 | Self::DataAbortSyncExternalAbort => write!(f, "Synchronous external abort"), |
| 86 | Self::DataAbortTranslationFault => write!(f, "Translation fault"), |
| 87 | Self::DataAbortPermissionFault => write!(f, "Permission fault"), |
| 88 | Self::Unknown(v) => write!(f, "Unknown exception esr={v:#08x}"), |
| 89 | } |
| 90 | } |
| 91 | } |
| 92 | |
Jakob Vukalovic | 44b1ce3 | 2023-04-17 19:10:10 +0100 | [diff] [blame] | 93 | #[inline] |
| 94 | fn handle_translation_fault(far: usize) -> Result<(), HandleExceptionError> { |
| 95 | let mut guard = MEMORY.try_lock().ok_or(HandleExceptionError::PageTableUnavailable)?; |
| 96 | let memory = guard.as_mut().ok_or(HandleExceptionError::PageTableNotInitialized)?; |
| 97 | Ok(memory.handle_mmio_fault(far)?) |
| 98 | } |
| 99 | |
| 100 | #[inline] |
| 101 | fn handle_permission_fault(far: usize) -> Result<(), HandleExceptionError> { |
| 102 | let mut guard = MEMORY.try_lock().ok_or(HandleExceptionError::PageTableUnavailable)?; |
| 103 | let memory = guard.as_mut().ok_or(HandleExceptionError::PageTableNotInitialized)?; |
| 104 | Ok(memory.handle_permission_fault(far)?) |
| 105 | } |
| 106 | |
Jakob Vukalovic | b99905d | 2023-04-20 15:46:02 +0100 | [diff] [blame] | 107 | fn handle_exception(esr: Esr, far: usize) -> Result<(), HandleExceptionError> { |
| 108 | // Handle all translation faults on both read and write, and MMIO guard map |
| 109 | // flagged invalid pages or blocks that caused the exception. |
Jakob Vukalovic | 44b1ce3 | 2023-04-17 19:10:10 +0100 | [diff] [blame] | 110 | // Handle permission faults for DBM flagged entries, and flag them as dirty on write. |
Jakob Vukalovic | b99905d | 2023-04-20 15:46:02 +0100 | [diff] [blame] | 111 | match esr { |
Jakob Vukalovic | 44b1ce3 | 2023-04-17 19:10:10 +0100 | [diff] [blame] | 112 | Esr::DataAbortTranslationFault => handle_translation_fault(far), |
| 113 | Esr::DataAbortPermissionFault => handle_permission_fault(far), |
Jakob Vukalovic | b99905d | 2023-04-20 15:46:02 +0100 | [diff] [blame] | 114 | _ => Err(HandleExceptionError::UnknownException), |
| 115 | } |
Jakob Vukalovic | d3fe9ed | 2023-04-20 15:43:09 +0100 | [diff] [blame] | 116 | } |
| 117 | |
| 118 | #[inline] |
| 119 | fn handling_uart_exception(esr: Esr, far: usize) -> bool { |
| 120 | esr == Esr::DataAbortSyncExternalAbort && page_4kb_of(far) == UART_PAGE |
| 121 | } |
| 122 | |
Andrew Walbran | dfb7337 | 2022-04-21 10:52:27 +0000 | [diff] [blame] | 123 | #[no_mangle] |
Pierre-Clément Tosi | eeb1ace | 2023-05-15 17:23:51 +0000 | [diff] [blame] | 124 | extern "C" fn sync_exception_current(elr: u64, _spsr: u64) { |
Jakob Vukalovic | d3fe9ed | 2023-04-20 15:43:09 +0100 | [diff] [blame] | 125 | // Disable logging in exception handler to prevent unsafe writes to UART. |
| 126 | let _guard = logger::suppress(); |
| 127 | let esr: Esr = read_sysreg!("esr_el1").into(); |
Jakob Vukalovic | c9afb51 | 2023-03-30 16:04:32 +0000 | [diff] [blame] | 128 | let far = read_sysreg!("far_el1"); |
Jakob Vukalovic | d3fe9ed | 2023-04-20 15:43:09 +0100 | [diff] [blame] | 129 | |
| 130 | if let Err(e) = handle_exception(esr, far) { |
| 131 | // Don't print to the UART if we are handling an exception it could raise. |
| 132 | if !handling_uart_exception(esr, far) { |
| 133 | eprintln!("sync_exception_current"); |
| 134 | eprintln!("{e}"); |
Pierre-Clément Tosi | eeb1ace | 2023-05-15 17:23:51 +0000 | [diff] [blame] | 135 | eprintln!("{esr}, far={far:#08x}, elr={elr:#08x}"); |
Jakob Vukalovic | d3fe9ed | 2023-04-20 15:43:09 +0100 | [diff] [blame] | 136 | } |
| 137 | reboot() |
Pierre-Clément Tosi | da4440a | 2022-08-22 18:06:32 +0100 | [diff] [blame] | 138 | } |
Andrew Walbran | dfb7337 | 2022-04-21 10:52:27 +0000 | [diff] [blame] | 139 | } |
| 140 | |
| 141 | #[no_mangle] |
Pierre-Clément Tosi | 8cbd4b7 | 2022-08-11 13:59:31 +0100 | [diff] [blame] | 142 | extern "C" fn irq_current(_elr: u64, _spsr: u64) { |
Jakob Vukalovic | bff22e1 | 2023-04-18 14:50:47 +0100 | [diff] [blame] | 143 | eprintln!("irq_current"); |
Andrew Walbran | dd74b90 | 2022-04-14 16:12:50 +0000 | [diff] [blame] | 144 | reboot(); |
Andrew Walbran | dfb7337 | 2022-04-21 10:52:27 +0000 | [diff] [blame] | 145 | } |
| 146 | |
| 147 | #[no_mangle] |
Pierre-Clément Tosi | 8cbd4b7 | 2022-08-11 13:59:31 +0100 | [diff] [blame] | 148 | extern "C" fn fiq_current(_elr: u64, _spsr: u64) { |
Jakob Vukalovic | bff22e1 | 2023-04-18 14:50:47 +0100 | [diff] [blame] | 149 | eprintln!("fiq_current"); |
Andrew Walbran | dd74b90 | 2022-04-14 16:12:50 +0000 | [diff] [blame] | 150 | reboot(); |
Andrew Walbran | dfb7337 | 2022-04-21 10:52:27 +0000 | [diff] [blame] | 151 | } |
| 152 | |
| 153 | #[no_mangle] |
Pierre-Clément Tosi | 8cbd4b7 | 2022-08-11 13:59:31 +0100 | [diff] [blame] | 154 | extern "C" fn serr_current(_elr: u64, _spsr: u64) { |
Jakob Vukalovic | c9afb51 | 2023-03-30 16:04:32 +0000 | [diff] [blame] | 155 | let esr = read_sysreg!("esr_el1"); |
Jakob Vukalovic | bff22e1 | 2023-04-18 14:50:47 +0100 | [diff] [blame] | 156 | eprintln!("serr_current"); |
Jakob Vukalovic | c9afb51 | 2023-03-30 16:04:32 +0000 | [diff] [blame] | 157 | eprintln!("esr={esr:#08x}"); |
Andrew Walbran | dd74b90 | 2022-04-14 16:12:50 +0000 | [diff] [blame] | 158 | reboot(); |
Andrew Walbran | dfb7337 | 2022-04-21 10:52:27 +0000 | [diff] [blame] | 159 | } |
| 160 | |
| 161 | #[no_mangle] |
Pierre-Clément Tosi | 8cbd4b7 | 2022-08-11 13:59:31 +0100 | [diff] [blame] | 162 | extern "C" fn sync_lower(_elr: u64, _spsr: u64) { |
Jakob Vukalovic | c9afb51 | 2023-03-30 16:04:32 +0000 | [diff] [blame] | 163 | let esr = read_sysreg!("esr_el1"); |
Jakob Vukalovic | bff22e1 | 2023-04-18 14:50:47 +0100 | [diff] [blame] | 164 | eprintln!("sync_lower"); |
Jakob Vukalovic | c9afb51 | 2023-03-30 16:04:32 +0000 | [diff] [blame] | 165 | eprintln!("esr={esr:#08x}"); |
Andrew Walbran | dd74b90 | 2022-04-14 16:12:50 +0000 | [diff] [blame] | 166 | reboot(); |
Andrew Walbran | dfb7337 | 2022-04-21 10:52:27 +0000 | [diff] [blame] | 167 | } |
| 168 | |
| 169 | #[no_mangle] |
Pierre-Clément Tosi | 8cbd4b7 | 2022-08-11 13:59:31 +0100 | [diff] [blame] | 170 | extern "C" fn irq_lower(_elr: u64, _spsr: u64) { |
Jakob Vukalovic | bff22e1 | 2023-04-18 14:50:47 +0100 | [diff] [blame] | 171 | eprintln!("irq_lower"); |
Andrew Walbran | dd74b90 | 2022-04-14 16:12:50 +0000 | [diff] [blame] | 172 | reboot(); |
Andrew Walbran | dfb7337 | 2022-04-21 10:52:27 +0000 | [diff] [blame] | 173 | } |
| 174 | |
| 175 | #[no_mangle] |
Pierre-Clément Tosi | 8cbd4b7 | 2022-08-11 13:59:31 +0100 | [diff] [blame] | 176 | extern "C" fn fiq_lower(_elr: u64, _spsr: u64) { |
Jakob Vukalovic | bff22e1 | 2023-04-18 14:50:47 +0100 | [diff] [blame] | 177 | eprintln!("fiq_lower"); |
Andrew Walbran | dd74b90 | 2022-04-14 16:12:50 +0000 | [diff] [blame] | 178 | reboot(); |
Andrew Walbran | dfb7337 | 2022-04-21 10:52:27 +0000 | [diff] [blame] | 179 | } |
| 180 | |
| 181 | #[no_mangle] |
Pierre-Clément Tosi | 8cbd4b7 | 2022-08-11 13:59:31 +0100 | [diff] [blame] | 182 | extern "C" fn serr_lower(_elr: u64, _spsr: u64) { |
Jakob Vukalovic | c9afb51 | 2023-03-30 16:04:32 +0000 | [diff] [blame] | 183 | let esr = read_sysreg!("esr_el1"); |
Jakob Vukalovic | bff22e1 | 2023-04-18 14:50:47 +0100 | [diff] [blame] | 184 | eprintln!("serr_lower"); |
Jakob Vukalovic | c9afb51 | 2023-03-30 16:04:32 +0000 | [diff] [blame] | 185 | eprintln!("esr={esr:#08x}"); |
Andrew Walbran | dd74b90 | 2022-04-14 16:12:50 +0000 | [diff] [blame] | 186 | reboot(); |
Andrew Walbran | dfb7337 | 2022-04-21 10:52:27 +0000 | [diff] [blame] | 187 | } |