Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [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 | //! Support for the pvmfw configuration data format. |
| 16 | |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 17 | use core::fmt; |
| 18 | use core::mem; |
Jaewan Kim | 3dfc0ab | 2023-09-27 14:00:59 +0900 | [diff] [blame] | 19 | use core::num::NonZeroUsize; |
Pierre-Clément Tosi | 71d7d5b | 2022-12-12 13:15:45 +0000 | [diff] [blame] | 20 | use core::ops::Range; |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 21 | use core::result; |
Pierre-Clément Tosi | ce3e313 | 2023-08-17 10:24:22 +0100 | [diff] [blame] | 22 | use log::{info, warn}; |
Pierre-Clément Tosi | fd694c7 | 2023-08-14 14:24:07 +0100 | [diff] [blame] | 23 | use static_assertions::const_assert_eq; |
Pierre-Clément Tosi | 3300149 | 2023-08-14 17:57:30 +0100 | [diff] [blame] | 24 | use vmbase::util::RangeExt; |
Andrew Walbran | 47d316e | 2024-11-28 18:41:09 +0000 | [diff] [blame^] | 25 | use zerocopy::FromBytes; |
| 26 | use zerocopy::Immutable; |
| 27 | use zerocopy::KnownLayout; |
| 28 | use zerocopy::Ref; |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 29 | |
Pierre-Clément Tosi | 43592a4 | 2022-12-19 14:17:38 +0000 | [diff] [blame] | 30 | /// Configuration data header. |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 31 | #[repr(C, packed)] |
Andrew Walbran | 47d316e | 2024-11-28 18:41:09 +0000 | [diff] [blame^] | 32 | #[derive(Clone, Copy, Debug, FromBytes, Immutable, KnownLayout)] |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 33 | struct Header { |
Pierre-Clément Tosi | 43592a4 | 2022-12-19 14:17:38 +0000 | [diff] [blame] | 34 | /// Magic number; must be `Header::MAGIC`. |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 35 | magic: u32, |
Pierre-Clément Tosi | 43592a4 | 2022-12-19 14:17:38 +0000 | [diff] [blame] | 36 | /// Version of the header format. |
Jaewan Kim | 6b7fb3c | 2023-08-08 18:00:43 +0900 | [diff] [blame] | 37 | version: Version, |
Pierre-Clément Tosi | 43592a4 | 2022-12-19 14:17:38 +0000 | [diff] [blame] | 38 | /// Total size of the configuration data. |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 39 | total_size: u32, |
Pierre-Clément Tosi | 43592a4 | 2022-12-19 14:17:38 +0000 | [diff] [blame] | 40 | /// Feature flags; currently reserved and must be zero. |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 41 | flags: u32, |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 42 | } |
| 43 | |
| 44 | #[derive(Debug)] |
| 45 | pub enum Error { |
| 46 | /// Reserved region can't fit configuration header. |
| 47 | BufferTooSmall, |
Alan Stokes | a0e4296 | 2023-04-14 17:59:50 +0100 | [diff] [blame] | 48 | /// Header has the wrong alignment |
| 49 | HeaderMisaligned, |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 50 | /// Header doesn't contain the expect magic value. |
| 51 | InvalidMagic, |
| 52 | /// Version of the header isn't supported. |
Jaewan Kim | 6b7fb3c | 2023-08-08 18:00:43 +0900 | [diff] [blame] | 53 | UnsupportedVersion(Version), |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 54 | /// Header describes configuration data that doesn't fit in the expected buffer. |
| 55 | InvalidSize(usize), |
Pierre-Clément Tosi | 292e099 | 2022-12-12 13:01:27 +0000 | [diff] [blame] | 56 | /// Header entry is missing. |
| 57 | MissingEntry(Entry), |
Pierre-Clément Tosi | fd694c7 | 2023-08-14 14:24:07 +0100 | [diff] [blame] | 58 | /// Range described by entry does not fit within config data. |
| 59 | EntryOutOfBounds(Entry, Range<usize>, Range<usize>), |
Jaewan Kim | b266e0e | 2023-09-27 15:44:53 +0900 | [diff] [blame] | 60 | /// Entries are in out of order |
| 61 | EntryOutOfOrder, |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 62 | } |
| 63 | |
| 64 | impl fmt::Display for Error { |
| 65 | fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result { |
| 66 | match self { |
| 67 | Self::BufferTooSmall => write!(f, "Reserved region is smaller than config header"), |
Alan Stokes | a0e4296 | 2023-04-14 17:59:50 +0100 | [diff] [blame] | 68 | Self::HeaderMisaligned => write!(f, "Reserved region is misaligned"), |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 69 | Self::InvalidMagic => write!(f, "Wrong magic number"), |
Jaewan Kim | 6b7fb3c | 2023-08-08 18:00:43 +0900 | [diff] [blame] | 70 | Self::UnsupportedVersion(v) => write!(f, "Version {v} not supported"), |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 71 | Self::InvalidSize(sz) => write!(f, "Total size ({sz:#x}) overflows reserved region"), |
Pierre-Clément Tosi | 292e099 | 2022-12-12 13:01:27 +0000 | [diff] [blame] | 72 | Self::MissingEntry(entry) => write!(f, "Mandatory {entry:?} entry is missing"), |
Pierre-Clément Tosi | fd694c7 | 2023-08-14 14:24:07 +0100 | [diff] [blame] | 73 | Self::EntryOutOfBounds(entry, range, limits) => { |
| 74 | write!( |
| 75 | f, |
| 76 | "Entry {entry:?} out of bounds: {range:#x?} must be within range {limits:#x?}" |
| 77 | ) |
| 78 | } |
Jaewan Kim | b266e0e | 2023-09-27 15:44:53 +0900 | [diff] [blame] | 79 | Self::EntryOutOfOrder => write!(f, "Entries are out of order"), |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 80 | } |
| 81 | } |
| 82 | } |
| 83 | |
| 84 | pub type Result<T> = result::Result<T, Error>; |
| 85 | |
| 86 | impl Header { |
| 87 | const MAGIC: u32 = u32::from_ne_bytes(*b"pvmf"); |
Jaewan Kim | 6b7fb3c | 2023-08-08 18:00:43 +0900 | [diff] [blame] | 88 | const VERSION_1_0: Version = Version { major: 1, minor: 0 }; |
Jaewan Kim | bf5978c | 2023-07-28 11:30:54 +0000 | [diff] [blame] | 89 | const VERSION_1_1: Version = Version { major: 1, minor: 1 }; |
Seungjae Yoo | 013f4c4 | 2024-01-02 13:04:19 +0900 | [diff] [blame] | 90 | const VERSION_1_2: Version = Version { major: 1, minor: 2 }; |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 91 | |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 92 | pub fn total_size(&self) -> usize { |
| 93 | self.total_size as usize |
| 94 | } |
| 95 | |
Pierre-Clément Tosi | ce3e313 | 2023-08-17 10:24:22 +0100 | [diff] [blame] | 96 | pub fn body_lowest_bound(&self) -> Result<usize> { |
Pierre-Clément Tosi | 3300149 | 2023-08-14 17:57:30 +0100 | [diff] [blame] | 97 | let entries_offset = mem::size_of::<Self>(); |
| 98 | |
| 99 | // Ensure that the entries are properly aligned and do not require padding. |
| 100 | const_assert_eq!(mem::align_of::<Header>() % mem::align_of::<HeaderEntry>(), 0); |
| 101 | const_assert_eq!(mem::size_of::<Header>() % mem::align_of::<HeaderEntry>(), 0); |
| 102 | |
| 103 | let entries_size = self.entry_count()?.checked_mul(mem::size_of::<HeaderEntry>()).unwrap(); |
| 104 | |
| 105 | Ok(entries_offset.checked_add(entries_size).unwrap()) |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 106 | } |
| 107 | |
Pierre-Clément Tosi | 3300149 | 2023-08-14 17:57:30 +0100 | [diff] [blame] | 108 | pub fn entry_count(&self) -> Result<usize> { |
| 109 | let last_entry = match self.version { |
| 110 | Self::VERSION_1_0 => Entry::DebugPolicy, |
Jaewan Kim | bf5978c | 2023-07-28 11:30:54 +0000 | [diff] [blame] | 111 | Self::VERSION_1_1 => Entry::VmDtbo, |
Seungjae Yoo | 013f4c4 | 2024-01-02 13:04:19 +0900 | [diff] [blame] | 112 | Self::VERSION_1_2 => Entry::VmBaseDtbo, |
Pierre-Clément Tosi | ce3e313 | 2023-08-17 10:24:22 +0100 | [diff] [blame] | 113 | v @ Version { major: 1, .. } => { |
Seungjae Yoo | 013f4c4 | 2024-01-02 13:04:19 +0900 | [diff] [blame] | 114 | const LATEST: Version = Header::VERSION_1_2; |
Pierre-Clément Tosi | ce3e313 | 2023-08-17 10:24:22 +0100 | [diff] [blame] | 115 | warn!("Parsing unknown config data version {v} as version {LATEST}"); |
| 116 | return Ok(Entry::COUNT); |
| 117 | } |
Pierre-Clément Tosi | 3300149 | 2023-08-14 17:57:30 +0100 | [diff] [blame] | 118 | v => return Err(Error::UnsupportedVersion(v)), |
Pierre-Clément Tosi | fd694c7 | 2023-08-14 14:24:07 +0100 | [diff] [blame] | 119 | }; |
Pierre-Clément Tosi | 71d7d5b | 2022-12-12 13:15:45 +0000 | [diff] [blame] | 120 | |
Pierre-Clément Tosi | 3300149 | 2023-08-14 17:57:30 +0100 | [diff] [blame] | 121 | Ok(last_entry as usize + 1) |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 122 | } |
| 123 | } |
| 124 | |
| 125 | #[derive(Clone, Copy, Debug)] |
| 126 | pub enum Entry { |
Pierre-Clément Tosi | 3300149 | 2023-08-14 17:57:30 +0100 | [diff] [blame] | 127 | Bcc, |
| 128 | DebugPolicy, |
Jaewan Kim | bf5978c | 2023-07-28 11:30:54 +0000 | [diff] [blame] | 129 | VmDtbo, |
Seungjae Yoo | 013f4c4 | 2024-01-02 13:04:19 +0900 | [diff] [blame] | 130 | VmBaseDtbo, |
Pierre-Clément Tosi | 3300149 | 2023-08-14 17:57:30 +0100 | [diff] [blame] | 131 | #[allow(non_camel_case_types)] // TODO: Use mem::variant_count once stable. |
| 132 | _VARIANT_COUNT, |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 133 | } |
| 134 | |
| 135 | impl Entry { |
Pierre-Clément Tosi | 3300149 | 2023-08-14 17:57:30 +0100 | [diff] [blame] | 136 | const COUNT: usize = Self::_VARIANT_COUNT as usize; |
Alan Stokes | 6561833 | 2023-12-15 14:09:25 +0000 | [diff] [blame] | 137 | |
Seungjae Yoo | 013f4c4 | 2024-01-02 13:04:19 +0900 | [diff] [blame] | 138 | const ALL_ENTRIES: [Entry; Self::COUNT] = |
| 139 | [Self::Bcc, Self::DebugPolicy, Self::VmDtbo, Self::VmBaseDtbo]; |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 140 | } |
| 141 | |
Alan Stokes | d0cf3cd | 2023-12-12 14:36:37 +0000 | [diff] [blame] | 142 | #[derive(Default)] |
| 143 | pub struct Entries<'a> { |
| 144 | pub bcc: &'a mut [u8], |
Alan Stokes | 6561833 | 2023-12-15 14:09:25 +0000 | [diff] [blame] | 145 | pub debug_policy: Option<&'a [u8]>, |
Alan Stokes | d0cf3cd | 2023-12-12 14:36:37 +0000 | [diff] [blame] | 146 | pub vm_dtbo: Option<&'a mut [u8]>, |
Seungjae Yoo | f0af81d | 2024-01-17 13:48:36 +0900 | [diff] [blame] | 147 | pub vm_ref_dt: Option<&'a [u8]>, |
Alan Stokes | d0cf3cd | 2023-12-12 14:36:37 +0000 | [diff] [blame] | 148 | } |
| 149 | |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 150 | #[repr(packed)] |
Andrew Walbran | 47d316e | 2024-11-28 18:41:09 +0000 | [diff] [blame^] | 151 | #[derive(Clone, Copy, Debug, FromBytes, Immutable, KnownLayout)] |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 152 | struct HeaderEntry { |
| 153 | offset: u32, |
| 154 | size: u32, |
| 155 | } |
| 156 | |
Jaewan Kim | 6b7fb3c | 2023-08-08 18:00:43 +0900 | [diff] [blame] | 157 | #[repr(C, packed)] |
Andrew Walbran | 47d316e | 2024-11-28 18:41:09 +0000 | [diff] [blame^] | 158 | #[derive(Clone, Copy, Debug, Eq, FromBytes, Immutable, KnownLayout, PartialEq)] |
Jaewan Kim | 6b7fb3c | 2023-08-08 18:00:43 +0900 | [diff] [blame] | 159 | pub struct Version { |
| 160 | minor: u16, |
| 161 | major: u16, |
| 162 | } |
| 163 | |
| 164 | impl fmt::Display for Version { |
| 165 | fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result { |
| 166 | // Copy the fields to local variables to prevent unaligned access. |
| 167 | let (major, minor) = (self.major, self.minor); |
| 168 | write!(f, "{}.{}", major, minor) |
| 169 | } |
| 170 | } |
| 171 | |
Jaewan Kim | 3dfc0ab | 2023-09-27 14:00:59 +0900 | [diff] [blame] | 172 | /// Range with non-empty length. |
| 173 | #[derive(Debug, Copy, Clone)] |
| 174 | struct NonEmptyRange { |
| 175 | start: usize, |
| 176 | size: NonZeroUsize, |
| 177 | } |
| 178 | |
| 179 | impl NonEmptyRange { |
| 180 | pub fn new(start: usize, size: usize) -> Option<Self> { |
| 181 | // Ensure end() is safe. |
| 182 | start.checked_add(size).unwrap(); |
| 183 | |
| 184 | Some(Self { start, size: NonZeroUsize::new(size)? }) |
| 185 | } |
| 186 | |
| 187 | fn end(&self) -> usize { |
| 188 | self.start + self.len() |
| 189 | } |
| 190 | |
| 191 | fn len(&self) -> usize { |
| 192 | self.size.into() |
| 193 | } |
| 194 | |
| 195 | fn as_range(&self) -> Range<usize> { |
| 196 | self.start..self.end() |
| 197 | } |
| 198 | } |
| 199 | |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 200 | #[derive(Debug)] |
| 201 | pub struct Config<'a> { |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 202 | body: &'a mut [u8], |
Jaewan Kim | 3dfc0ab | 2023-09-27 14:00:59 +0900 | [diff] [blame] | 203 | ranges: [Option<NonEmptyRange>; Entry::COUNT], |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 204 | } |
| 205 | |
| 206 | impl<'a> Config<'a> { |
| 207 | /// Take ownership of a pvmfw configuration consisting of its header and following entries. |
Pierre-Clément Tosi | fd694c7 | 2023-08-14 14:24:07 +0100 | [diff] [blame] | 208 | pub fn new(bytes: &'a mut [u8]) -> Result<Self> { |
| 209 | const HEADER_SIZE: usize = mem::size_of::<Header>(); |
| 210 | if bytes.len() < HEADER_SIZE { |
| 211 | return Err(Error::BufferTooSmall); |
| 212 | } |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 213 | |
Pierre-Clément Tosi | fd694c7 | 2023-08-14 14:24:07 +0100 | [diff] [blame] | 214 | let (header, rest) = |
Andrew Walbran | 47d316e | 2024-11-28 18:41:09 +0000 | [diff] [blame^] | 215 | Ref::<_, Header>::new_from_prefix(bytes).ok_or(Error::HeaderMisaligned)?; |
| 216 | let header = Ref::into_ref(header); |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 217 | |
| 218 | if header.magic != Header::MAGIC { |
| 219 | return Err(Error::InvalidMagic); |
| 220 | } |
| 221 | |
Pierre-Clément Tosi | ce3e313 | 2023-08-17 10:24:22 +0100 | [diff] [blame] | 222 | let header_flags = header.flags; |
| 223 | if header_flags != 0 { |
| 224 | warn!("Ignoring unknown config flags: {header_flags:#x}"); |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 225 | } |
| 226 | |
Jaewan Kim | bf5978c | 2023-07-28 11:30:54 +0000 | [diff] [blame] | 227 | info!("pvmfw config version: {}", header.version); |
| 228 | |
Pierre-Clément Tosi | fd694c7 | 2023-08-14 14:24:07 +0100 | [diff] [blame] | 229 | // Validate that we won't get an invalid alignment in the following due to padding to u64. |
| 230 | const_assert_eq!(HEADER_SIZE % mem::size_of::<u64>(), 0); |
| 231 | |
| 232 | // Ensure that Header::total_size isn't larger than anticipated by the caller and resize |
| 233 | // the &[u8] to catch OOB accesses to entries/blobs. |
| 234 | let total_size = header.total_size(); |
| 235 | let rest = if let Some(rest_size) = total_size.checked_sub(HEADER_SIZE) { |
| 236 | rest.get_mut(..rest_size).ok_or(Error::InvalidSize(total_size))? |
| 237 | } else { |
| 238 | return Err(Error::InvalidSize(total_size)); |
| 239 | }; |
| 240 | |
Pierre-Clément Tosi | 3300149 | 2023-08-14 17:57:30 +0100 | [diff] [blame] | 241 | let (header_entries, body) = |
Alan Stokes | 6561833 | 2023-12-15 14:09:25 +0000 | [diff] [blame] | 242 | zerocopy::Ref::<_, [HeaderEntry]>::new_slice_from_prefix(rest, header.entry_count()?) |
Pierre-Clément Tosi | 3300149 | 2023-08-14 17:57:30 +0100 | [diff] [blame] | 243 | .ok_or(Error::BufferTooSmall)?; |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 244 | |
Pierre-Clément Tosi | 3300149 | 2023-08-14 17:57:30 +0100 | [diff] [blame] | 245 | // Validate that we won't get an invalid alignment in the following due to padding to u64. |
| 246 | const_assert_eq!(mem::size_of::<HeaderEntry>() % mem::size_of::<u64>(), 0); |
| 247 | |
Jaewan Kim | 3dfc0ab | 2023-09-27 14:00:59 +0900 | [diff] [blame] | 248 | // Ensure entries are in the body. |
Pierre-Clément Tosi | ce3e313 | 2023-08-17 10:24:22 +0100 | [diff] [blame] | 249 | let limits = header.body_lowest_bound()?..total_size; |
Jaewan Kim | 3dfc0ab | 2023-09-27 14:00:59 +0900 | [diff] [blame] | 250 | let mut ranges: [Option<NonEmptyRange>; Entry::COUNT] = [None; Entry::COUNT]; |
Jaewan Kim | b266e0e | 2023-09-27 15:44:53 +0900 | [diff] [blame] | 251 | let mut last_end = 0; |
Alan Stokes | 6561833 | 2023-12-15 14:09:25 +0000 | [diff] [blame] | 252 | for entry in Entry::ALL_ENTRIES { |
Jaewan Kim | 3dfc0ab | 2023-09-27 14:00:59 +0900 | [diff] [blame] | 253 | let Some(header_entry) = header_entries.get(entry as usize) else { continue }; |
| 254 | let entry_offset = header_entry.offset.try_into().unwrap(); |
| 255 | let entry_size = header_entry.size.try_into().unwrap(); |
| 256 | let Some(range) = NonEmptyRange::new(entry_offset, entry_size) else { continue }; |
| 257 | let range = range.as_range(); |
| 258 | if !range.is_within(&limits) { |
| 259 | return Err(Error::EntryOutOfBounds(entry, range, limits)); |
| 260 | } |
| 261 | |
Jaewan Kim | b266e0e | 2023-09-27 15:44:53 +0900 | [diff] [blame] | 262 | if last_end > range.start { |
| 263 | return Err(Error::EntryOutOfOrder); |
| 264 | } |
| 265 | last_end = range.end; |
| 266 | |
Jaewan Kim | 3dfc0ab | 2023-09-27 14:00:59 +0900 | [diff] [blame] | 267 | ranges[entry as usize] = NonEmptyRange::new( |
| 268 | entry_offset - limits.start, // is_within() validates safety of this. |
| 269 | entry_size, |
| 270 | ); |
| 271 | } |
Jaewan Kim | b266e0e | 2023-09-27 15:44:53 +0900 | [diff] [blame] | 272 | // Ensures that BCC exists. |
| 273 | ranges[Entry::Bcc as usize].ok_or(Error::MissingEntry(Entry::Bcc))?; |
Pierre-Clément Tosi | 3300149 | 2023-08-14 17:57:30 +0100 | [diff] [blame] | 274 | |
| 275 | Ok(Self { body, ranges }) |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 276 | } |
| 277 | |
Alan Stokes | 6561833 | 2023-12-15 14:09:25 +0000 | [diff] [blame] | 278 | /// Locate the various config entries. |
| 279 | pub fn get_entries(self) -> Entries<'a> { |
| 280 | // We require the blobs to be in the same order as the `Entry` enum (and this is checked |
| 281 | // in `new` above) |
| 282 | // So we can just work through the body range and split off the parts we are interested in. |
| 283 | let mut offset = 0; |
| 284 | let mut body = self.body; |
| 285 | |
| 286 | let mut entries: [Option<&mut [u8]>; Entry::COUNT] = Default::default(); |
| 287 | for (i, range) in self.ranges.iter().enumerate() { |
| 288 | if let Some(range) = range { |
| 289 | body = &mut body[range.start - offset..]; |
| 290 | let (chunk, rest) = body.split_at_mut(range.len()); |
| 291 | offset = range.end(); |
| 292 | body = rest; |
| 293 | entries[i] = Some(chunk); |
| 294 | } |
Jaewan Kim | bf5978c | 2023-07-28 11:30:54 +0000 | [diff] [blame] | 295 | } |
Seungjae Yoo | f0af81d | 2024-01-17 13:48:36 +0900 | [diff] [blame] | 296 | let [bcc, debug_policy, vm_dtbo, vm_ref_dt] = entries; |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 297 | |
Alan Stokes | 6561833 | 2023-12-15 14:09:25 +0000 | [diff] [blame] | 298 | // The platform BCC has always been required. |
| 299 | let bcc = bcc.unwrap(); |
| 300 | |
| 301 | // We have no reason to mutate so drop the `mut`. |
| 302 | let debug_policy = debug_policy.map(|x| &*x); |
Seungjae Yoo | f0af81d | 2024-01-17 13:48:36 +0900 | [diff] [blame] | 303 | let vm_ref_dt = vm_ref_dt.map(|x| &*x); |
Alan Stokes | 82cefb3 | 2024-01-08 12:10:08 +0000 | [diff] [blame] | 304 | |
Seungjae Yoo | f0af81d | 2024-01-17 13:48:36 +0900 | [diff] [blame] | 305 | Entries { bcc, debug_policy, vm_dtbo, vm_ref_dt } |
Pierre-Clément Tosi | 3300149 | 2023-08-14 17:57:30 +0100 | [diff] [blame] | 306 | } |
Pierre-Clément Tosi | 20b6096 | 2022-10-17 13:35:27 +0100 | [diff] [blame] | 307 | } |