blob: efdf4c438e6a1929f9ea7246223619d72519708d [file] [log] [blame]
Jaewan Kimc6e023b2023-10-12 15:11:05 +09001// Copyright 2023, 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//! Validate device assignment written in crosvm DT with VM DTBO, and apply it
16//! to platform DT.
17//! Declared in separated libs for adding unit tests, which requires libstd.
18
19#[cfg(test)]
20extern crate alloc;
21
Jaewan Kim51ccfed2023-11-08 13:51:58 +090022use alloc::collections::{BTreeMap, BTreeSet};
Jaewan Kimc6e023b2023-10-12 15:11:05 +090023use alloc::ffi::CString;
24use alloc::fmt;
25use alloc::vec;
26use alloc::vec::Vec;
27use core::ffi::CStr;
28use core::iter::Iterator;
29use core::mem;
Pierre-Clément Tosi49e26ce2024-03-12 16:31:50 +000030use core::ops::Range;
Per Larsen7ec45d32024-11-02 00:56:46 +000031// TODO(b/308694211): Use hypervisor_backends::{DeviceAssigningHypervisor, Error} proper for tests.
32#[cfg(not(test))]
33use hypervisor_backends::DeviceAssigningHypervisor;
Jaewan Kim8f6f4662023-12-12 17:38:47 +090034use libfdt::{Fdt, FdtError, FdtNode, FdtNodeMut, Phandle, Reg};
Jaewan Kim52477ae2023-11-21 21:20:52 +090035use log::error;
Pierre-Clément Tosieacdd0f2024-10-22 16:31:01 +010036use log::warn;
Jaewan Kim8f6f4662023-12-12 17:38:47 +090037use zerocopy::byteorder::big_endian::U32;
38use zerocopy::FromBytes as _;
Jaewan Kimc6e023b2023-10-12 15:11:05 +090039
Jaewan Kimc6e023b2023-10-12 15:11:05 +090040// TODO(b/277993056): Keep constants derived from platform.dts in one place.
41const CELLS_PER_INTERRUPT: usize = 3; // from /intc node in platform.dts
42
43/// Errors in device assignment.
44#[derive(Clone, Copy, Debug, Eq, PartialEq)]
45pub enum DeviceAssignmentError {
Jaewan Kim52477ae2023-11-21 21:20:52 +090046 /// Invalid VM DTBO
Jaewan Kimc6e023b2023-10-12 15:11:05 +090047 InvalidDtbo,
48 /// Invalid __symbols__
49 InvalidSymbols,
Jaewan Kim19b984f2023-12-04 15:16:50 +090050 /// Malformed <reg>. Can't parse.
51 MalformedReg,
Pierre-Clément Tosif4d8a0d2024-10-25 17:14:15 +010052 /// Missing physical <reg> of assigned device.
53 MissingReg(u64, u64),
54 /// Extra <reg> of assigned device.
55 ExtraReg(u64, u64),
Pierre-Clément Tosi8b78bc32024-03-13 17:37:07 +000056 /// Invalid virtual <reg> of assigned device.
Pierre-Clément Tosif4d8a0d2024-10-25 17:14:15 +010057 InvalidReg(u64),
58 /// Token for <reg> of assigned device does not match expected value.
59 InvalidRegToken(u64, u64),
Pierre-Clément Tosi7fb437f2024-10-29 09:54:42 +000060 /// Invalid virtual <reg> size of assigned device.
61 InvalidRegSize(u64, u64),
Jaewan Kimc6e023b2023-10-12 15:11:05 +090062 /// Invalid <interrupts>
63 InvalidInterrupts,
Jaewan Kim19b984f2023-12-04 15:16:50 +090064 /// Malformed <iommus>
65 MalformedIommus,
Jaewan Kim51ccfed2023-11-08 13:51:58 +090066 /// Invalid <iommus>
67 InvalidIommus,
Jaewan Kim19b984f2023-12-04 15:16:50 +090068 /// Invalid phys IOMMU node
69 InvalidPhysIommu,
Jaewan Kima9200492023-11-21 20:45:31 +090070 /// Invalid pvIOMMU node
71 InvalidPvIommu,
Jaewan Kim51ccfed2023-11-08 13:51:58 +090072 /// Too many pvIOMMU
73 TooManyPvIommu,
Jaewan Kim19b984f2023-12-04 15:16:50 +090074 /// Duplicated phys IOMMU IDs exist
75 DuplicatedIommuIds,
Jaewan Kim51ccfed2023-11-08 13:51:58 +090076 /// Duplicated pvIOMMU IDs exist
77 DuplicatedPvIommuIds,
Jaewan Kimf8abbb52023-12-12 22:11:39 +090078 /// Unsupported path format. Only supports full path.
79 UnsupportedPathFormat,
Jaewan Kimc6e023b2023-10-12 15:11:05 +090080 /// Unsupported overlay target syntax. Only supports <target-path> with full path.
81 UnsupportedOverlayTarget,
Jaewan Kim19b984f2023-12-04 15:16:50 +090082 /// Unsupported PhysIommu,
83 UnsupportedPhysIommu,
84 /// Unsupported (pvIOMMU id, vSID) duplication. Currently the pair should be unique.
85 UnsupportedPvIommusDuplication,
86 /// Unsupported (IOMMU token, SID) duplication. Currently the pair should be unique.
87 UnsupportedIommusDuplication,
Jaewan Kim51ccfed2023-11-08 13:51:58 +090088 /// Internal error
89 Internal,
Jaewan Kimc6e023b2023-10-12 15:11:05 +090090 /// Unexpected error from libfdt
91 UnexpectedFdtError(FdtError),
92}
93
94impl From<FdtError> for DeviceAssignmentError {
95 fn from(e: FdtError) -> Self {
96 DeviceAssignmentError::UnexpectedFdtError(e)
97 }
98}
99
100impl fmt::Display for DeviceAssignmentError {
101 fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
102 match self {
103 Self::InvalidDtbo => write!(f, "Invalid DTBO"),
104 Self::InvalidSymbols => write!(
105 f,
106 "Invalid property in /__symbols__. Must point to valid assignable device node."
107 ),
Jaewan Kim19b984f2023-12-04 15:16:50 +0900108 Self::MalformedReg => write!(f, "Malformed <reg>. Can't parse"),
Pierre-Clément Tosif4d8a0d2024-10-25 17:14:15 +0100109 Self::MissingReg(addr, size) => {
110 write!(f, "Missing physical MMIO region: addr:{addr:#x}), size:{size:#x}")
Pierre-Clément Tosi8b78bc32024-03-13 17:37:07 +0000111 }
Pierre-Clément Tosif4d8a0d2024-10-25 17:14:15 +0100112 Self::ExtraReg(addr, size) => {
113 write!(f, "Unexpected extra MMIO region: addr:{addr:#x}), size:{size:#x}")
114 }
115 Self::InvalidReg(addr) => {
116 write!(f, "Invalid guest MMIO granule (addr: {addr:#x})")
117 }
Pierre-Clément Tosi7fb437f2024-10-29 09:54:42 +0000118 Self::InvalidRegSize(size, expected) => {
119 write!(f, "Unexpected MMIO size ({size:#x}), should be {expected:#x}")
120 }
Pierre-Clément Tosif4d8a0d2024-10-25 17:14:15 +0100121 Self::InvalidRegToken(token, expected) => {
122 write!(f, "Unexpected MMIO token ({token:#x}), should be {expected:#x}")
Pierre-Clément Tosi8b78bc32024-03-13 17:37:07 +0000123 }
Jaewan Kimc6e023b2023-10-12 15:11:05 +0900124 Self::InvalidInterrupts => write!(f, "Invalid <interrupts>"),
Jaewan Kim19b984f2023-12-04 15:16:50 +0900125 Self::MalformedIommus => write!(f, "Malformed <iommus>. Can't parse."),
126 Self::InvalidIommus => {
127 write!(f, "Invalid <iommus>. Failed to validate with hypervisor")
128 }
129 Self::InvalidPhysIommu => write!(f, "Invalid phys IOMMU node"),
Jaewan Kima9200492023-11-21 20:45:31 +0900130 Self::InvalidPvIommu => write!(f, "Invalid pvIOMMU node"),
Jaewan Kim51ccfed2023-11-08 13:51:58 +0900131 Self::TooManyPvIommu => write!(
132 f,
133 "Too many pvIOMMU node. Insufficient pre-populated pvIOMMUs in platform DT"
134 ),
Jaewan Kim19b984f2023-12-04 15:16:50 +0900135 Self::DuplicatedIommuIds => {
136 write!(f, "Duplicated IOMMU IDs exist. IDs must unique among iommu node")
137 }
Jaewan Kim51ccfed2023-11-08 13:51:58 +0900138 Self::DuplicatedPvIommuIds => {
Jaewan Kim19b984f2023-12-04 15:16:50 +0900139 write!(f, "Duplicated pvIOMMU IDs exist. IDs must unique among iommu node")
Jaewan Kim51ccfed2023-11-08 13:51:58 +0900140 }
Jaewan Kimf8abbb52023-12-12 22:11:39 +0900141 Self::UnsupportedPathFormat => {
142 write!(f, "Unsupported UnsupportedPathFormat. Only supports full path")
143 }
Jaewan Kimc6e023b2023-10-12 15:11:05 +0900144 Self::UnsupportedOverlayTarget => {
145 write!(f, "Unsupported overlay target. Only supports 'target-path = \"/\"'")
146 }
Jaewan Kim19b984f2023-12-04 15:16:50 +0900147 Self::UnsupportedPhysIommu => {
148 write!(f, "Unsupported Phys IOMMU. Currently only supports #iommu-cells = <1>")
149 }
150 Self::UnsupportedPvIommusDuplication => {
151 write!(f, "Unsupported (pvIOMMU id, vSID) duplication. Currently the pair should be unique.")
152 }
153 Self::UnsupportedIommusDuplication => {
154 write!(f, "Unsupported (IOMMU token, SID) duplication. Currently the pair should be unique.")
155 }
Jaewan Kim51ccfed2023-11-08 13:51:58 +0900156 Self::Internal => write!(f, "Internal error"),
Jaewan Kimc6e023b2023-10-12 15:11:05 +0900157 Self::UnexpectedFdtError(e) => write!(f, "Unexpected Error from libfdt: {e}"),
158 }
159 }
160}
161
162pub type Result<T> = core::result::Result<T, DeviceAssignmentError>;
163
Jaewan Kimf8abbb52023-12-12 22:11:39 +0900164#[derive(Clone, Default, Ord, PartialOrd, Eq, PartialEq)]
165pub struct DtPathTokens<'a> {
166 tokens: Vec<&'a [u8]>,
167}
168
Chris Wailes52358e92025-01-27 17:04:40 -0800169impl fmt::Debug for DtPathTokens<'_> {
Jaewan Kimf8abbb52023-12-12 22:11:39 +0900170 fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
171 let mut list = f.debug_list();
172 for token in &self.tokens {
173 let mut bytes = token.to_vec();
174 bytes.push(b'\0');
175 match CString::from_vec_with_nul(bytes) {
176 Ok(string) => list.entry(&string),
177 Err(_) => list.entry(token),
178 };
179 }
180 list.finish()
181 }
182}
183
184impl<'a> DtPathTokens<'a> {
185 fn new(path: &'a CStr) -> Result<Self> {
186 if path.to_bytes().first() != Some(&b'/') {
187 return Err(DeviceAssignmentError::UnsupportedPathFormat);
188 }
189 let tokens: Vec<_> = path
190 .to_bytes()
191 .split(|char| *char == b'/')
192 .filter(|&component| !component.is_empty())
193 .collect();
194 Ok(Self { tokens })
195 }
196
197 fn to_overlay_target_path(&self) -> Result<Self> {
198 if !self.is_overlayable_node() {
199 return Err(DeviceAssignmentError::InvalidDtbo);
200 }
201 Ok(Self { tokens: self.tokens.as_slice()[2..].to_vec() })
202 }
203
204 fn to_cstring(&self) -> CString {
205 if self.tokens.is_empty() {
206 return CString::new(*b"/\0").unwrap();
207 }
208
209 let size = self.tokens.iter().fold(0, |sum, token| sum + token.len() + 1);
210 let mut path = Vec::with_capacity(size + 1);
211 for token in &self.tokens {
212 path.push(b'/');
213 path.extend_from_slice(token);
214 }
215 path.push(b'\0');
216
217 CString::from_vec_with_nul(path).unwrap()
218 }
219
220 fn is_overlayable_node(&self) -> bool {
221 self.tokens.get(1) == Some(&&b"__overlay__"[..])
222 }
223}
224
Jaewan Kim8f6f4662023-12-12 17:38:47 +0900225#[derive(Debug, Eq, PartialEq)]
226enum DeviceTreeChildrenMask {
227 Partial(Vec<DeviceTreeMask>),
228 All,
229}
230
231#[derive(Eq, PartialEq)]
232struct DeviceTreeMask {
233 name_bytes: Vec<u8>,
234 children: DeviceTreeChildrenMask,
235}
236
237impl fmt::Debug for DeviceTreeMask {
238 fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
239 let name_bytes = [self.name_bytes.as_slice(), b"\0"].concat();
240
241 f.debug_struct("DeviceTreeMask")
242 .field("name", &CStr::from_bytes_with_nul(&name_bytes).unwrap())
243 .field("children", &self.children)
244 .finish()
245 }
246}
247
248impl DeviceTreeMask {
249 fn new() -> Self {
250 Self { name_bytes: b"/".to_vec(), children: DeviceTreeChildrenMask::Partial(Vec::new()) }
251 }
252
253 fn mask_internal(&mut self, path: &DtPathTokens, leaf_mask: DeviceTreeChildrenMask) -> bool {
254 let mut iter = self;
255 let mut newly_masked = false;
256 'next_token: for path_token in &path.tokens {
257 let DeviceTreeChildrenMask::Partial(ref mut children) = &mut iter.children else {
258 return false;
259 };
260
261 // Note: Can't use iterator for 'get or insert'. (a.k.a. polonius Rust)
262 #[allow(clippy::needless_range_loop)]
263 for i in 0..children.len() {
264 if children[i].name_bytes.as_slice() == *path_token {
265 iter = &mut children[i];
266 newly_masked = false;
267 continue 'next_token;
268 }
269 }
270 let child = Self {
271 name_bytes: path_token.to_vec(),
272 children: DeviceTreeChildrenMask::Partial(Vec::new()),
273 };
274 children.push(child);
275 newly_masked = true;
276 iter = children.last_mut().unwrap()
277 }
278 iter.children = leaf_mask;
279 newly_masked
280 }
281
282 fn mask(&mut self, path: &DtPathTokens) -> bool {
283 self.mask_internal(path, DeviceTreeChildrenMask::Partial(Vec::new()))
284 }
285
286 fn mask_all(&mut self, path: &DtPathTokens) {
287 self.mask_internal(path, DeviceTreeChildrenMask::All);
288 }
289}
290
Jaewan Kimc6e023b2023-10-12 15:11:05 +0900291/// Represents VM DTBO
292#[repr(transparent)]
293pub struct VmDtbo(Fdt);
294
295impl VmDtbo {
Jaewan Kimc6e023b2023-10-12 15:11:05 +0900296 /// Wraps a mutable slice containing a VM DTBO.
297 ///
298 /// Fails if the VM DTBO does not pass validation.
299 pub fn from_mut_slice(dtbo: &mut [u8]) -> Result<&mut Self> {
300 // This validates DTBO
301 let fdt = Fdt::from_mut_slice(dtbo)?;
302 // SAFETY: VmDtbo is a transparent wrapper around Fdt, so representation is the same.
303 Ok(unsafe { mem::transmute::<&mut Fdt, &mut Self>(fdt) })
304 }
305
306 // Locates device node path as if the given dtbo node path is assigned and VM DTBO is overlaid.
307 // For given dtbo node path, this concatenates <target-path> of the enclosing fragment and
308 // relative path from __overlay__ node.
309 //
310 // Here's an example with sample VM DTBO:
311 // / {
312 // fragment@rng {
313 // target-path = "/"; // Always 'target-path = "/"'. Disallows <target> or other path.
314 // __overlay__ {
315 // rng { ... }; // Actual device node is here. If overlaid, path would be "/rng"
316 // };
317 // };
Jaewan Kim80ef9fa2024-02-25 16:08:14 +0000318 // __symbols__ { // Contains list of assignable devices
Jaewan Kimc6e023b2023-10-12 15:11:05 +0900319 // rng = "/fragment@rng/__overlay__/rng";
320 // };
321 // };
322 //
Alan Stokesf46a17c2025-01-05 15:50:18 +0000323 // Then locate_overlay_target_path(c"/fragment@rng/__overlay__/rng") is Ok("/rng")
Jaewan Kimc6e023b2023-10-12 15:11:05 +0900324 //
325 // Contrary to fdt_overlay_target_offset(), this API enforces overlay target property
326 // 'target-path = "/"', so the overlay doesn't modify and/or append platform DT's existing
327 // node and/or properties. The enforcement is for compatibility reason.
Jaewan Kim19b984f2023-12-04 15:16:50 +0900328 fn locate_overlay_target_path(
329 &self,
Jaewan Kimf8abbb52023-12-12 22:11:39 +0900330 dtbo_node_path: &DtPathTokens,
Jaewan Kim19b984f2023-12-04 15:16:50 +0900331 dtbo_node: &FdtNode,
332 ) -> Result<CString> {
Jaewan Kim19b984f2023-12-04 15:16:50 +0900333 let fragment_node = dtbo_node.supernode_at_depth(1)?;
Alan Stokesf46a17c2025-01-05 15:50:18 +0000334 let target_path =
335 fragment_node.getprop_str(c"target-path")?.ok_or(DeviceAssignmentError::InvalidDtbo)?;
336 if target_path != c"/" {
Jaewan Kimc6e023b2023-10-12 15:11:05 +0900337 return Err(DeviceAssignmentError::UnsupportedOverlayTarget);
338 }
339
Jaewan Kimf8abbb52023-12-12 22:11:39 +0900340 let overlaid_path = dtbo_node_path.to_overlay_target_path()?;
341 Ok(overlaid_path.to_cstring())
Jaewan Kimc6e023b2023-10-12 15:11:05 +0900342 }
Jaewan Kim19b984f2023-12-04 15:16:50 +0900343
344 fn parse_physical_iommus(physical_node: &FdtNode) -> Result<BTreeMap<Phandle, PhysIommu>> {
345 let mut phys_iommus = BTreeMap::new();
346 for (node, _) in physical_node.descendants() {
347 let Some(phandle) = node.get_phandle()? else {
348 continue; // Skips unreachable IOMMU node
349 };
350 let Some(iommu) = PhysIommu::parse(&node)? else {
351 continue; // Skip if not a PhysIommu.
352 };
353 if phys_iommus.insert(phandle, iommu).is_some() {
354 return Err(FdtError::BadPhandle.into());
355 }
356 }
357 Self::validate_physical_iommus(&phys_iommus)?;
358 Ok(phys_iommus)
359 }
360
361 fn validate_physical_iommus(phys_iommus: &BTreeMap<Phandle, PhysIommu>) -> Result<()> {
362 let unique_iommus: BTreeSet<_> = phys_iommus.values().cloned().collect();
363 if phys_iommus.len() != unique_iommus.len() {
364 return Err(DeviceAssignmentError::DuplicatedIommuIds);
365 }
366 Ok(())
367 }
368
369 fn validate_physical_devices(
370 physical_devices: &BTreeMap<Phandle, PhysicalDeviceInfo>,
371 ) -> Result<()> {
372 // Only need to validate iommus because <reg> will be validated together with PV <reg>
373 // see: DeviceAssignmentInfo::validate_all_regs().
374 let mut all_iommus = BTreeSet::new();
375 for physical_device in physical_devices.values() {
Sreenad Menon84599282025-01-27 20:47:52 -0800376 if let Some(iommus) = &physical_device.iommus {
377 for iommu in iommus {
378 if !all_iommus.insert(iommu) {
379 error!("Unsupported phys IOMMU duplication found, <iommus> = {iommu:?}");
380 return Err(DeviceAssignmentError::UnsupportedIommusDuplication);
381 }
Jaewan Kim19b984f2023-12-04 15:16:50 +0900382 }
383 }
384 }
385 Ok(())
386 }
387
388 fn parse_physical_devices_with_iommus(
389 physical_node: &FdtNode,
390 phys_iommus: &BTreeMap<Phandle, PhysIommu>,
391 ) -> Result<BTreeMap<Phandle, PhysicalDeviceInfo>> {
392 let mut physical_devices = BTreeMap::new();
393 for (node, _) in physical_node.descendants() {
394 let Some(info) = PhysicalDeviceInfo::parse(&node, phys_iommus)? else {
395 continue;
396 };
397 if physical_devices.insert(info.target, info).is_some() {
398 return Err(DeviceAssignmentError::InvalidDtbo);
399 }
400 }
401 Self::validate_physical_devices(&physical_devices)?;
402 Ok(physical_devices)
403 }
404
405 /// Parses Physical devices in VM DTBO
406 fn parse_physical_devices(&self) -> Result<BTreeMap<Phandle, PhysicalDeviceInfo>> {
Alan Stokesf46a17c2025-01-05 15:50:18 +0000407 let Some(physical_node) = self.as_ref().node(c"/host")? else {
Jaewan Kim19b984f2023-12-04 15:16:50 +0900408 return Ok(BTreeMap::new());
409 };
410
411 let phys_iommus = Self::parse_physical_iommus(&physical_node)?;
412 Self::parse_physical_devices_with_iommus(&physical_node, &phys_iommus)
413 }
Jaewan Kimc6e023b2023-10-12 15:11:05 +0900414
Jaewan Kimf8abbb52023-12-12 22:11:39 +0900415 fn node(&self, path: &DtPathTokens) -> Result<Option<FdtNode>> {
416 let mut node = self.as_ref().root();
417 for token in &path.tokens {
418 let Some(subnode) = node.subnode_with_name_bytes(token)? else {
419 return Ok(None);
420 };
421 node = subnode;
422 }
423 Ok(Some(node))
424 }
Jaewan Kim8f6f4662023-12-12 17:38:47 +0900425
426 fn collect_overlayable_nodes_with_phandle(&self) -> Result<BTreeMap<Phandle, DtPathTokens>> {
427 let mut paths = BTreeMap::new();
428 let mut path: DtPathTokens = Default::default();
429 let root = self.as_ref().root();
430 for (node, depth) in root.descendants() {
431 path.tokens.truncate(depth - 1);
432 path.tokens.push(node.name()?.to_bytes());
433 if !path.is_overlayable_node() {
434 continue;
435 }
436 if let Some(phandle) = node.get_phandle()? {
437 paths.insert(phandle, path.clone());
438 }
439 }
440 Ok(paths)
441 }
442
443 fn collect_phandle_references_from_overlayable_nodes(
444 &self,
445 ) -> Result<BTreeMap<DtPathTokens, Vec<Phandle>>> {
446 const CELL_SIZE: usize = core::mem::size_of::<u32>();
447
448 let vm_dtbo = self.as_ref();
449
450 let mut phandle_map = BTreeMap::new();
Alan Stokesf46a17c2025-01-05 15:50:18 +0000451 let Some(local_fixups) = vm_dtbo.node(c"/__local_fixups__")? else {
Jaewan Kim8f6f4662023-12-12 17:38:47 +0900452 return Ok(phandle_map);
453 };
454
455 let mut path: DtPathTokens = Default::default();
456 for (fixup_node, depth) in local_fixups.descendants() {
457 let node_name = fixup_node.name()?;
458 path.tokens.truncate(depth - 1);
459 path.tokens.push(node_name.to_bytes());
460 if path.tokens.len() != depth {
461 return Err(DeviceAssignmentError::Internal);
462 }
463 if !path.is_overlayable_node() {
464 continue;
465 }
466 let target_node = self.node(&path)?.ok_or(DeviceAssignmentError::InvalidDtbo)?;
467
468 let mut phandles = vec![];
469 for fixup_prop in fixup_node.properties()? {
470 let target_prop = target_node
471 .getprop(fixup_prop.name()?)
472 .or(Err(DeviceAssignmentError::InvalidDtbo))?
473 .ok_or(DeviceAssignmentError::InvalidDtbo)?;
474 let fixup_prop_values = fixup_prop.value()?;
475 if fixup_prop_values.is_empty() || fixup_prop_values.len() % CELL_SIZE != 0 {
476 return Err(DeviceAssignmentError::InvalidDtbo);
477 }
478
479 for fixup_prop_cell in fixup_prop_values.chunks(CELL_SIZE) {
480 let phandle_offset: usize = u32::from_be_bytes(
481 fixup_prop_cell.try_into().or(Err(DeviceAssignmentError::InvalidDtbo))?,
482 )
483 .try_into()
484 .or(Err(DeviceAssignmentError::InvalidDtbo))?;
485 if phandle_offset % CELL_SIZE != 0 {
486 return Err(DeviceAssignmentError::InvalidDtbo);
487 }
488 let phandle_value = target_prop
489 .get(phandle_offset..phandle_offset + CELL_SIZE)
490 .ok_or(DeviceAssignmentError::InvalidDtbo)?;
491 let phandle: Phandle = U32::ref_from(phandle_value)
492 .unwrap()
493 .get()
494 .try_into()
495 .or(Err(DeviceAssignmentError::InvalidDtbo))?;
496
497 phandles.push(phandle);
498 }
499 }
500 if !phandles.is_empty() {
501 phandle_map.insert(path.clone(), phandles);
502 }
503 }
504
505 Ok(phandle_map)
506 }
507
508 fn build_mask(&self, assigned_devices: Vec<DtPathTokens>) -> Result<DeviceTreeMask> {
509 if assigned_devices.is_empty() {
510 return Err(DeviceAssignmentError::Internal);
511 }
512
513 let dependencies = self.collect_phandle_references_from_overlayable_nodes()?;
514 let paths = self.collect_overlayable_nodes_with_phandle()?;
515
516 let mut mask = DeviceTreeMask::new();
517 let mut stack = assigned_devices;
518 while let Some(path) = stack.pop() {
519 if !mask.mask(&path) {
520 continue;
521 }
522 let Some(dst_phandles) = dependencies.get(&path) else {
523 continue;
524 };
525 for dst_phandle in dst_phandles {
526 let dst_path = paths.get(dst_phandle).ok_or(DeviceAssignmentError::Internal)?;
527 stack.push(dst_path.clone());
528 }
529 }
530
531 Ok(mask)
532 }
Jaewan Kimc39974e2023-12-02 01:13:30 +0900533}
534
Jaewan Kimc730ebf2024-02-22 10:34:55 +0900535fn filter_dangling_symbols(fdt: &mut Fdt) -> Result<()> {
536 if let Some(symbols) = fdt.symbols()? {
537 let mut removed = vec![];
538 for prop in symbols.properties()? {
539 let path = CStr::from_bytes_with_nul(prop.value()?)
540 .map_err(|_| DeviceAssignmentError::Internal)?;
541 if fdt.node(path)?.is_none() {
542 let name = prop.name()?;
543 removed.push(CString::from(name));
544 }
545 }
546
547 let mut symbols = fdt.symbols_mut()?.unwrap();
548 for name in removed {
549 symbols.nop_property(&name)?;
550 }
551 }
552 Ok(())
553}
554
Jaewan Kimc6e023b2023-10-12 15:11:05 +0900555impl AsRef<Fdt> for VmDtbo {
556 fn as_ref(&self) -> &Fdt {
557 &self.0
558 }
559}
560
561impl AsMut<Fdt> for VmDtbo {
562 fn as_mut(&mut self) -> &mut Fdt {
563 &mut self.0
564 }
565}
566
Jaewan Kim8f6f4662023-12-12 17:38:47 +0900567// Filter any node that isn't masked by DeviceTreeMask.
568fn filter_with_mask(anchor: FdtNodeMut, mask: &DeviceTreeMask) -> Result<()> {
569 let mut stack = vec![mask];
570 let mut iter = anchor.next_node(0)?;
571 while let Some((node, depth)) = iter {
572 stack.truncate(depth);
573 let parent_mask = stack.last().unwrap();
574 let DeviceTreeChildrenMask::Partial(parent_mask_children) = &parent_mask.children else {
575 // Shouldn't happen. We only step-in if parent has DeviceTreeChildrenMask::Partial.
576 return Err(DeviceAssignmentError::Internal);
577 };
578
579 let name = node.as_node().name()?.to_bytes();
580 let mask = parent_mask_children.iter().find(|child_mask| child_mask.name_bytes == name);
581 if let Some(masked) = mask {
582 if let DeviceTreeChildrenMask::Partial(_) = &masked.children {
583 // This node is partially masked. Stepping-in.
584 stack.push(masked);
585 iter = node.next_node(depth)?;
586 } else {
587 // This node is fully masked. Stepping-out.
588 iter = node.next_node_skip_subnodes(depth)?;
589 }
590 } else {
591 // This node isn't masked.
592 iter = node.delete_and_next_node(depth)?;
593 }
594 }
595
596 Ok(())
597}
598
Jaewan Kim51ccfed2023-11-08 13:51:58 +0900599#[derive(Debug, Copy, Clone, Eq, PartialEq, Ord, PartialOrd)]
600struct PvIommu {
601 // ID from pvIOMMU node
602 id: u32,
603}
604
605impl PvIommu {
606 fn parse(node: &FdtNode) -> Result<Self> {
Alan Stokesf46a17c2025-01-05 15:50:18 +0000607 let iommu_cells =
608 node.getprop_u32(c"#iommu-cells")?.ok_or(DeviceAssignmentError::InvalidPvIommu)?;
Jaewan Kim19b984f2023-12-04 15:16:50 +0900609 // Ensures #iommu-cells = <1>. It means that `<iommus>` entry contains pair of
Jaewan Kima9200492023-11-21 20:45:31 +0900610 // (pvIOMMU ID, vSID)
611 if iommu_cells != 1 {
612 return Err(DeviceAssignmentError::InvalidPvIommu);
613 }
Alan Stokesf46a17c2025-01-05 15:50:18 +0000614 let id = node.getprop_u32(c"id")?.ok_or(DeviceAssignmentError::InvalidPvIommu)?;
Jaewan Kim51ccfed2023-11-08 13:51:58 +0900615 Ok(Self { id })
616 }
617}
618
Jaewan Kima9200492023-11-21 20:45:31 +0900619#[derive(Debug, Copy, Clone, Eq, PartialEq, Ord, PartialOrd)]
620struct Vsid(u32);
621
Jaewan Kim19b984f2023-12-04 15:16:50 +0900622#[derive(Debug, Copy, Clone, Eq, PartialEq, Ord, PartialOrd)]
623struct Sid(u64);
624
625impl From<u32> for Sid {
626 fn from(sid: u32) -> Self {
627 Self(sid.into())
628 }
629}
630
631#[derive(Debug, Copy, Clone, Eq, PartialEq, Ord, PartialOrd)]
Jaewan Kim52477ae2023-11-21 21:20:52 +0900632struct DeviceReg {
633 addr: u64,
634 size: u64,
635}
636
Pierre-Clément Tosi49e26ce2024-03-12 16:31:50 +0000637impl DeviceReg {
638 pub fn overlaps(&self, range: &Range<u64>) -> bool {
639 self.addr < range.end && range.start < self.addr.checked_add(self.size).unwrap()
640 }
Pierre-Clément Tosieacdd0f2024-10-22 16:31:01 +0100641
642 pub fn is_aligned(&self, granule: u64) -> bool {
643 self.addr % granule == 0 && self.size % granule == 0
644 }
Pierre-Clément Tosi49e26ce2024-03-12 16:31:50 +0000645}
646
Jaewan Kim52477ae2023-11-21 21:20:52 +0900647impl TryFrom<Reg<u64>> for DeviceReg {
648 type Error = DeviceAssignmentError;
649
650 fn try_from(reg: Reg<u64>) -> Result<Self> {
Jaewan Kim19b984f2023-12-04 15:16:50 +0900651 Ok(Self { addr: reg.addr, size: reg.size.ok_or(DeviceAssignmentError::MalformedReg)? })
Jaewan Kim52477ae2023-11-21 21:20:52 +0900652 }
653}
654
655fn parse_node_reg(node: &FdtNode) -> Result<Vec<DeviceReg>> {
656 node.reg()?
Jaewan Kim19b984f2023-12-04 15:16:50 +0900657 .ok_or(DeviceAssignmentError::MalformedReg)?
Jaewan Kim52477ae2023-11-21 21:20:52 +0900658 .map(DeviceReg::try_from)
659 .collect::<Result<Vec<_>>>()
660}
661
662fn to_be_bytes(reg: &[DeviceReg]) -> Vec<u8> {
663 let mut reg_cells = vec![];
664 for x in reg {
665 reg_cells.extend_from_slice(&x.addr.to_be_bytes());
666 reg_cells.extend_from_slice(&x.size.to_be_bytes());
667 }
668 reg_cells
669}
670
Jaewan Kim19b984f2023-12-04 15:16:50 +0900671#[derive(Debug, Copy, Clone, Eq, PartialEq, Ord, PartialOrd)]
672struct PhysIommu {
673 token: u64,
674}
675
676impl PhysIommu {
677 fn parse(node: &FdtNode) -> Result<Option<Self>> {
Alan Stokesf46a17c2025-01-05 15:50:18 +0000678 let Some(token) = node.getprop_u64(c"android,pvmfw,token")? else {
Jaewan Kim19b984f2023-12-04 15:16:50 +0900679 return Ok(None);
680 };
Alan Stokesf46a17c2025-01-05 15:50:18 +0000681 let Some(iommu_cells) = node.getprop_u32(c"#iommu-cells")? else {
Jaewan Kim19b984f2023-12-04 15:16:50 +0900682 return Err(DeviceAssignmentError::InvalidPhysIommu);
683 };
684 // Currently only supports #iommu-cells = <1>.
685 // In that case `<iommus>` entry contains pair of (pIOMMU phandle, Sid token)
686 if iommu_cells != 1 {
687 return Err(DeviceAssignmentError::UnsupportedPhysIommu);
688 }
689 Ok(Some(Self { token }))
690 }
691}
692
693#[derive(Debug)]
694struct PhysicalDeviceInfo {
695 target: Phandle,
696 reg: Vec<DeviceReg>,
Sreenad Menon84599282025-01-27 20:47:52 -0800697 iommus: Option<Vec<(PhysIommu, Sid)>>,
Jaewan Kim19b984f2023-12-04 15:16:50 +0900698}
699
700impl PhysicalDeviceInfo {
701 fn parse_iommus(
702 node: &FdtNode,
703 phys_iommus: &BTreeMap<Phandle, PhysIommu>,
Sreenad Menon84599282025-01-27 20:47:52 -0800704 ) -> Result<Option<Vec<(PhysIommu, Sid)>>> {
Jaewan Kim19b984f2023-12-04 15:16:50 +0900705 let mut iommus = vec![];
Alan Stokesf46a17c2025-01-05 15:50:18 +0000706 let Some(mut cells) = node.getprop_cells(c"iommus")? else {
Sreenad Menon84599282025-01-27 20:47:52 -0800707 return Ok(None);
Jaewan Kim19b984f2023-12-04 15:16:50 +0900708 };
709 while let Some(cell) = cells.next() {
710 // Parse pIOMMU ID
711 let phandle =
712 Phandle::try_from(cell).or(Err(DeviceAssignmentError::MalformedIommus))?;
713 let iommu = phys_iommus.get(&phandle).ok_or(DeviceAssignmentError::MalformedIommus)?;
714
715 // Parse Sid
716 let Some(cell) = cells.next() else {
717 return Err(DeviceAssignmentError::MalformedIommus);
718 };
719
720 iommus.push((*iommu, Sid::from(cell)));
721 }
Sreenad Menon84599282025-01-27 20:47:52 -0800722 Ok(Some(iommus))
Jaewan Kim19b984f2023-12-04 15:16:50 +0900723 }
724
725 fn parse(node: &FdtNode, phys_iommus: &BTreeMap<Phandle, PhysIommu>) -> Result<Option<Self>> {
Alan Stokesf46a17c2025-01-05 15:50:18 +0000726 let Some(phandle) = node.getprop_u32(c"android,pvmfw,target")? else {
Jaewan Kim19b984f2023-12-04 15:16:50 +0900727 return Ok(None);
728 };
729 let target = Phandle::try_from(phandle)?;
730 let reg = parse_node_reg(node)?;
731 let iommus = Self::parse_iommus(node, phys_iommus)?;
732 Ok(Some(Self { target, reg, iommus }))
733 }
734}
735
Jaewan Kimc6e023b2023-10-12 15:11:05 +0900736/// Assigned device information parsed from crosvm DT.
737/// Keeps everything in the owned data because underlying FDT will be reused for platform DT.
738#[derive(Debug, Eq, PartialEq)]
739struct AssignedDeviceInfo {
740 // Node path of assigned device (e.g. "/rng")
741 node_path: CString,
Jaewan Kimc6e023b2023-10-12 15:11:05 +0900742 // <reg> property from the crosvm DT
Jaewan Kim52477ae2023-11-21 21:20:52 +0900743 reg: Vec<DeviceReg>,
Jaewan Kimc6e023b2023-10-12 15:11:05 +0900744 // <interrupts> property from the crosvm DT
745 interrupts: Vec<u8>,
Jaewan Kima9200492023-11-21 20:45:31 +0900746 // Parsed <iommus> property from the crosvm DT. Tuple of PvIommu and vSID.
Sreenad Menon84599282025-01-27 20:47:52 -0800747 iommus: Option<Vec<(PvIommu, Vsid)>>,
Jaewan Kimc6e023b2023-10-12 15:11:05 +0900748}
749
750impl AssignedDeviceInfo {
Jaewan Kim19b984f2023-12-04 15:16:50 +0900751 fn validate_reg(
752 device_reg: &[DeviceReg],
753 physical_device_reg: &[DeviceReg],
Jaewan Kim52477ae2023-11-21 21:20:52 +0900754 hypervisor: &dyn DeviceAssigningHypervisor,
Pierre-Clément Tosieacdd0f2024-10-22 16:31:01 +0100755 granule: usize,
Jaewan Kim19b984f2023-12-04 15:16:50 +0900756 ) -> Result<()> {
Pierre-Clément Tosi8b78bc32024-03-13 17:37:07 +0000757 let mut virt_regs = device_reg.iter();
758 let mut phys_regs = physical_device_reg.iter();
Pierre-Clément Tosi49e26ce2024-03-12 16:31:50 +0000759 // TODO(b/308694211): Move this constant to vmbase::layout once vmbase is std-compatible.
760 const PVMFW_RANGE: Range<u64> = 0x7fc0_0000..0x8000_0000;
Pierre-Clément Tosieacdd0f2024-10-22 16:31:01 +0100761
Jaewan Kim19b984f2023-12-04 15:16:50 +0900762 // PV reg and physical reg should have 1:1 match in order.
Pierre-Clément Tosi8b78bc32024-03-13 17:37:07 +0000763 for (reg, phys_reg) in virt_regs.by_ref().zip(phys_regs.by_ref()) {
Pierre-Clément Tosieacdd0f2024-10-22 16:31:01 +0100764 if !reg.is_aligned(granule.try_into().unwrap()) {
765 let DeviceReg { addr, size } = reg;
766 warn!("Assigned region ({addr:#x}, {size:#x}) not aligned to {granule:#x}");
767 // TODO(ptosi): Fix our test data so that we can return Err(...);
768 }
Pierre-Clément Tosi49e26ce2024-03-12 16:31:50 +0000769 if reg.overlaps(&PVMFW_RANGE) {
Pierre-Clément Tosif4d8a0d2024-10-25 17:14:15 +0100770 return Err(DeviceAssignmentError::InvalidReg(reg.addr));
Pierre-Clément Tosi49e26ce2024-03-12 16:31:50 +0000771 }
Pierre-Clément Tosi7fb437f2024-10-29 09:54:42 +0000772 if reg.size != phys_reg.size {
773 return Err(DeviceAssignmentError::InvalidRegSize(reg.size, phys_reg.size));
774 }
Mostafa Saleh646a31b2024-10-22 12:55:59 +0000775 for offset in (0..reg.size).step_by(granule) {
776 let expected_token = phys_reg.addr + offset;
777 // If this call returns successfully, hyp has mapped the MMIO granule.
778 let token = hypervisor.get_phys_mmio_token(reg.addr + offset).map_err(|e| {
779 error!("Hypervisor error while requesting MMIO token: {e}");
780 DeviceAssignmentError::InvalidReg(reg.addr)
781 })?;
782 if token != expected_token {
783 return Err(DeviceAssignmentError::InvalidRegToken(token, expected_token));
784 }
Jaewan Kim19b984f2023-12-04 15:16:50 +0900785 }
Jaewan Kim52477ae2023-11-21 21:20:52 +0900786 }
Pierre-Clément Tosi8b78bc32024-03-13 17:37:07 +0000787
788 if let Some(DeviceReg { addr, size }) = virt_regs.next() {
Pierre-Clément Tosif4d8a0d2024-10-25 17:14:15 +0100789 return Err(DeviceAssignmentError::ExtraReg(*addr, *size));
Pierre-Clément Tosi8b78bc32024-03-13 17:37:07 +0000790 }
791
792 if let Some(DeviceReg { addr, size }) = phys_regs.next() {
Pierre-Clément Tosif4d8a0d2024-10-25 17:14:15 +0100793 return Err(DeviceAssignmentError::MissingReg(*addr, *size));
Pierre-Clément Tosi8b78bc32024-03-13 17:37:07 +0000794 }
795
Jaewan Kim19b984f2023-12-04 15:16:50 +0900796 Ok(())
Jaewan Kim52477ae2023-11-21 21:20:52 +0900797 }
798
Jaewan Kimc6e023b2023-10-12 15:11:05 +0900799 fn parse_interrupts(node: &FdtNode) -> Result<Vec<u8>> {
800 // Validation: Validate if interrupts cell numbers are multiple of #interrupt-cells.
801 // We can't know how many interrupts would exist.
802 let interrupts_cells = node
Alan Stokesf46a17c2025-01-05 15:50:18 +0000803 .getprop_cells(c"interrupts")?
Jaewan Kimc6e023b2023-10-12 15:11:05 +0900804 .ok_or(DeviceAssignmentError::InvalidInterrupts)?
805 .count();
806 if interrupts_cells % CELLS_PER_INTERRUPT != 0 {
807 return Err(DeviceAssignmentError::InvalidInterrupts);
808 }
809
810 // Once validated, keep the raw bytes so patch can be done with setprop()
Alan Stokesf46a17c2025-01-05 15:50:18 +0000811 Ok(node.getprop(c"interrupts").unwrap().unwrap().into())
Jaewan Kimc6e023b2023-10-12 15:11:05 +0900812 }
813
Jaewan Kim51ccfed2023-11-08 13:51:58 +0900814 // TODO(b/277993056): Also validate /__local_fixups__ to ensure that <iommus> has phandle.
Jaewan Kima9200492023-11-21 20:45:31 +0900815 fn parse_iommus(
816 node: &FdtNode,
817 pviommus: &BTreeMap<Phandle, PvIommu>,
818 ) -> Result<Vec<(PvIommu, Vsid)>> {
Jaewan Kim51ccfed2023-11-08 13:51:58 +0900819 let mut iommus = vec![];
Alan Stokesf46a17c2025-01-05 15:50:18 +0000820 let Some(mut cells) = node.getprop_cells(c"iommus")? else {
Jaewan Kim51ccfed2023-11-08 13:51:58 +0900821 return Ok(iommus);
822 };
Jaewan Kima9200492023-11-21 20:45:31 +0900823 while let Some(cell) = cells.next() {
824 // Parse pvIOMMU ID
Jaewan Kim19b984f2023-12-04 15:16:50 +0900825 let phandle =
826 Phandle::try_from(cell).or(Err(DeviceAssignmentError::MalformedIommus))?;
827 let pviommu = pviommus.get(&phandle).ok_or(DeviceAssignmentError::MalformedIommus)?;
Jaewan Kima9200492023-11-21 20:45:31 +0900828
829 // Parse vSID
830 let Some(cell) = cells.next() else {
Jaewan Kim19b984f2023-12-04 15:16:50 +0900831 return Err(DeviceAssignmentError::MalformedIommus);
Jaewan Kima9200492023-11-21 20:45:31 +0900832 };
833 let vsid = Vsid(cell);
834
835 iommus.push((*pviommu, vsid));
Jaewan Kim51ccfed2023-11-08 13:51:58 +0900836 }
837 Ok(iommus)
838 }
839
Jaewan Kim19b984f2023-12-04 15:16:50 +0900840 fn validate_iommus(
841 iommus: &[(PvIommu, Vsid)],
842 physical_device_iommu: &[(PhysIommu, Sid)],
843 hypervisor: &dyn DeviceAssigningHypervisor,
844 ) -> Result<()> {
845 if iommus.len() != physical_device_iommu.len() {
846 return Err(DeviceAssignmentError::InvalidIommus);
847 }
848 // pvIOMMU can be reordered, and hypervisor may not guarantee 1:1 mapping.
849 // So we need to mark what's matched or not.
850 let mut physical_device_iommu = physical_device_iommu.to_vec();
851 for (pviommu, vsid) in iommus {
Pierre-Clément Tosi08d6e3f2024-03-13 18:22:16 +0000852 let (id, sid) =
853 hypervisor.get_phys_iommu_token(pviommu.id.into(), vsid.0.into()).map_err(|e| {
854 error!("Hypervisor error while requesting IOMMU token ({pviommu:?}, {vsid:?}): {e}");
855 DeviceAssignmentError::InvalidIommus
856 })?;
Jaewan Kim19b984f2023-12-04 15:16:50 +0900857
858 let pos = physical_device_iommu
859 .iter()
860 .position(|(phys_iommu, phys_sid)| (phys_iommu.token, phys_sid.0) == (id, sid));
861 match pos {
862 Some(pos) => physical_device_iommu.remove(pos),
863 None => {
864 error!("Failed to validate device <iommus>. No matching phys iommu or duplicated mapping for pviommu={pviommu:?}, vsid={vsid:?}");
865 return Err(DeviceAssignmentError::InvalidIommus);
866 }
867 };
868 }
869 Ok(())
870 }
871
Jaewan Kim51ccfed2023-11-08 13:51:58 +0900872 fn parse(
873 fdt: &Fdt,
874 vm_dtbo: &VmDtbo,
Jaewan Kimf8abbb52023-12-12 22:11:39 +0900875 dtbo_node_path: &DtPathTokens,
Jaewan Kim19b984f2023-12-04 15:16:50 +0900876 physical_devices: &BTreeMap<Phandle, PhysicalDeviceInfo>,
Jaewan Kim51ccfed2023-11-08 13:51:58 +0900877 pviommus: &BTreeMap<Phandle, PvIommu>,
Jaewan Kim52477ae2023-11-21 21:20:52 +0900878 hypervisor: &dyn DeviceAssigningHypervisor,
Pierre-Clément Tosieacdd0f2024-10-22 16:31:01 +0100879 granule: usize,
Jaewan Kim51ccfed2023-11-08 13:51:58 +0900880 ) -> Result<Option<Self>> {
Jaewan Kim19b984f2023-12-04 15:16:50 +0900881 let dtbo_node =
Jaewan Kimf8abbb52023-12-12 22:11:39 +0900882 vm_dtbo.node(dtbo_node_path)?.ok_or(DeviceAssignmentError::InvalidSymbols)?;
Jaewan Kim19b984f2023-12-04 15:16:50 +0900883 let node_path = vm_dtbo.locate_overlay_target_path(dtbo_node_path, &dtbo_node)?;
Jaewan Kimc6e023b2023-10-12 15:11:05 +0900884
885 let Some(node) = fdt.node(&node_path)? else { return Ok(None) };
886
Jaewan Kim80ef9fa2024-02-25 16:08:14 +0000887 // Currently can only assign devices backed by physical devices.
Jaewan Kim19b984f2023-12-04 15:16:50 +0900888 let phandle = dtbo_node.get_phandle()?.ok_or(DeviceAssignmentError::InvalidDtbo)?;
Jaewan Kim80ef9fa2024-02-25 16:08:14 +0000889 let Some(physical_device) = physical_devices.get(&phandle) else {
890 // If labeled DT node isn't backed by physical device node, then just return None.
891 // It's not an error because such node can be a dependency of assignable device nodes.
892 return Ok(None);
893 };
Jaewan Kim19b984f2023-12-04 15:16:50 +0900894
895 let reg = parse_node_reg(&node)?;
Pierre-Clément Tosieacdd0f2024-10-22 16:31:01 +0100896 Self::validate_reg(&reg, &physical_device.reg, hypervisor, granule)?;
Jaewan Kim19b984f2023-12-04 15:16:50 +0900897
Jaewan Kimc6e023b2023-10-12 15:11:05 +0900898 let interrupts = Self::parse_interrupts(&node)?;
Jaewan Kim19b984f2023-12-04 15:16:50 +0900899
Sreenad Menon84599282025-01-27 20:47:52 -0800900 // Ignore <iommus> if no pvIOMMUs are expected based on the VM DTBO, possibly
901 // because physical IOMMUs are being assigned directly.
902 let iommus = if let Some(iommus) = &physical_device.iommus {
903 let parsed_iommus = Self::parse_iommus(&node, pviommus)?;
904 Self::validate_iommus(&parsed_iommus, iommus, hypervisor)?;
905 Some(parsed_iommus)
906 } else {
907 // TODO: Detect misconfigured iommus in input DT.
908 None
909 };
Jaewan Kim19b984f2023-12-04 15:16:50 +0900910
Jaewan Kimf8abbb52023-12-12 22:11:39 +0900911 Ok(Some(Self { node_path, reg, interrupts, iommus }))
Jaewan Kimc6e023b2023-10-12 15:11:05 +0900912 }
913
Jaewan Kim51ccfed2023-11-08 13:51:58 +0900914 fn patch(&self, fdt: &mut Fdt, pviommu_phandles: &BTreeMap<PvIommu, Phandle>) -> Result<()> {
Jaewan Kimc6e023b2023-10-12 15:11:05 +0900915 let mut dst = fdt.node_mut(&self.node_path)?.unwrap();
Alan Stokesf46a17c2025-01-05 15:50:18 +0000916 dst.setprop(c"reg", &to_be_bytes(&self.reg))?;
917 dst.setprop(c"interrupts", &self.interrupts)?;
Sreenad Menon84599282025-01-27 20:47:52 -0800918
919 if let Some(iommus) = &self.iommus {
920 let mut iommus_vec = Vec::with_capacity(8 * iommus.len());
921 for (pviommu, vsid) in iommus {
922 let phandle = pviommu_phandles.get(pviommu).unwrap();
923 iommus_vec.extend_from_slice(&u32::from(*phandle).to_be_bytes());
924 iommus_vec.extend_from_slice(&vsid.0.to_be_bytes());
925 }
926 dst.setprop(c"iommus", &iommus_vec)?;
Jaewan Kima9200492023-11-21 20:45:31 +0900927 }
Jaewan Kim51ccfed2023-11-08 13:51:58 +0900928
Jaewan Kimc6e023b2023-10-12 15:11:05 +0900929 Ok(())
930 }
931}
932
Jaewan Kim8f6f4662023-12-12 17:38:47 +0900933#[derive(Debug, Eq, PartialEq)]
Jaewan Kimc6e023b2023-10-12 15:11:05 +0900934pub struct DeviceAssignmentInfo {
Jaewan Kim51ccfed2023-11-08 13:51:58 +0900935 pviommus: BTreeSet<PvIommu>,
Jaewan Kimc6e023b2023-10-12 15:11:05 +0900936 assigned_devices: Vec<AssignedDeviceInfo>,
Jaewan Kim8f6f4662023-12-12 17:38:47 +0900937 vm_dtbo_mask: DeviceTreeMask,
Jaewan Kimc6e023b2023-10-12 15:11:05 +0900938}
939
940impl DeviceAssignmentInfo {
Alan Stokesf46a17c2025-01-05 15:50:18 +0000941 const PVIOMMU_COMPATIBLE: &'static CStr = c"pkvm,pviommu";
Jaewan Kim51ccfed2023-11-08 13:51:58 +0900942
943 /// Parses pvIOMMUs in fdt
944 // Note: This will validate pvIOMMU ids' uniqueness, even when unassigned.
945 fn parse_pviommus(fdt: &Fdt) -> Result<BTreeMap<Phandle, PvIommu>> {
Jaewan Kim51ccfed2023-11-08 13:51:58 +0900946 let mut pviommus = BTreeMap::new();
947 for compatible in fdt.compatible_nodes(Self::PVIOMMU_COMPATIBLE)? {
948 let Some(phandle) = compatible.get_phandle()? else {
949 continue; // Skips unreachable pvIOMMU node
950 };
951 let pviommu = PvIommu::parse(&compatible)?;
952 if pviommus.insert(phandle, pviommu).is_some() {
953 return Err(FdtError::BadPhandle.into());
954 }
955 }
956 Ok(pviommus)
957 }
958
Jaewan Kim19b984f2023-12-04 15:16:50 +0900959 fn validate_pviommu_topology(assigned_devices: &[AssignedDeviceInfo]) -> Result<()> {
960 let mut all_iommus = BTreeSet::new();
961 for assigned_device in assigned_devices {
Sreenad Menon84599282025-01-27 20:47:52 -0800962 if let Some(iommus) = &assigned_device.iommus {
963 for iommu in iommus {
964 if !all_iommus.insert(iommu) {
965 error!("Unsupported pvIOMMU duplication found, <iommus> = {iommu:?}");
966 return Err(DeviceAssignmentError::UnsupportedPvIommusDuplication);
967 }
Jaewan Kim19b984f2023-12-04 15:16:50 +0900968 }
969 }
970 }
971 Ok(())
972 }
973
Pierre-Clément Tosie5cca922024-04-30 17:54:08 +0100974 // TODO(b/308694211): Remove this workaround for visibility once using
975 // vmbase::hyp::DeviceAssigningHypervisor for tests.
976 #[cfg(test)]
977 fn parse(
978 fdt: &Fdt,
979 vm_dtbo: &VmDtbo,
980 hypervisor: &dyn DeviceAssigningHypervisor,
Pierre-Clément Tosieacdd0f2024-10-22 16:31:01 +0100981 granule: usize,
Pierre-Clément Tosie5cca922024-04-30 17:54:08 +0100982 ) -> Result<Option<Self>> {
Pierre-Clément Tosieacdd0f2024-10-22 16:31:01 +0100983 Self::internal_parse(fdt, vm_dtbo, hypervisor, granule)
Pierre-Clément Tosie5cca922024-04-30 17:54:08 +0100984 }
985
986 #[cfg(not(test))]
Jaewan Kimc6e023b2023-10-12 15:11:05 +0900987 /// Parses fdt and vm_dtbo, and creates new DeviceAssignmentInfo
988 // TODO(b/277993056): Parse __local_fixups__
989 // TODO(b/277993056): Parse __fixups__
Jaewan Kim52477ae2023-11-21 21:20:52 +0900990 pub fn parse(
991 fdt: &Fdt,
992 vm_dtbo: &VmDtbo,
993 hypervisor: &dyn DeviceAssigningHypervisor,
Pierre-Clément Tosieacdd0f2024-10-22 16:31:01 +0100994 granule: usize,
Jaewan Kim52477ae2023-11-21 21:20:52 +0900995 ) -> Result<Option<Self>> {
Pierre-Clément Tosieacdd0f2024-10-22 16:31:01 +0100996 Self::internal_parse(fdt, vm_dtbo, hypervisor, granule)
Pierre-Clément Tosie5cca922024-04-30 17:54:08 +0100997 }
998
999 fn internal_parse(
1000 fdt: &Fdt,
1001 vm_dtbo: &VmDtbo,
1002 hypervisor: &dyn DeviceAssigningHypervisor,
Pierre-Clément Tosieacdd0f2024-10-22 16:31:01 +01001003 granule: usize,
Pierre-Clément Tosie5cca922024-04-30 17:54:08 +01001004 ) -> Result<Option<Self>> {
Jaewan Kimc6e023b2023-10-12 15:11:05 +09001005 let Some(symbols_node) = vm_dtbo.as_ref().symbols()? else {
1006 // /__symbols__ should contain all assignable devices.
1007 // If empty, then nothing can be assigned.
1008 return Ok(None);
1009 };
1010
Jaewan Kim51ccfed2023-11-08 13:51:58 +09001011 let pviommus = Self::parse_pviommus(fdt)?;
1012 let unique_pviommus: BTreeSet<_> = pviommus.values().cloned().collect();
1013 if pviommus.len() != unique_pviommus.len() {
1014 return Err(DeviceAssignmentError::DuplicatedPvIommuIds);
1015 }
1016
Jaewan Kim19b984f2023-12-04 15:16:50 +09001017 let physical_devices = vm_dtbo.parse_physical_devices()?;
1018
Jaewan Kimc6e023b2023-10-12 15:11:05 +09001019 let mut assigned_devices = vec![];
Jaewan Kim8f6f4662023-12-12 17:38:47 +09001020 let mut assigned_device_paths = vec![];
Jaewan Kimc6e023b2023-10-12 15:11:05 +09001021 for symbol_prop in symbols_node.properties()? {
1022 let symbol_prop_value = symbol_prop.value()?;
1023 let dtbo_node_path = CStr::from_bytes_with_nul(symbol_prop_value)
1024 .or(Err(DeviceAssignmentError::InvalidSymbols))?;
Jaewan Kimf8abbb52023-12-12 22:11:39 +09001025 let dtbo_node_path = DtPathTokens::new(dtbo_node_path)?;
1026 if !dtbo_node_path.is_overlayable_node() {
Jaewan Kimc39974e2023-12-02 01:13:30 +09001027 continue;
1028 }
Jaewan Kim19b984f2023-12-04 15:16:50 +09001029 let assigned_device = AssignedDeviceInfo::parse(
1030 fdt,
1031 vm_dtbo,
Jaewan Kimf8abbb52023-12-12 22:11:39 +09001032 &dtbo_node_path,
Jaewan Kim19b984f2023-12-04 15:16:50 +09001033 &physical_devices,
1034 &pviommus,
1035 hypervisor,
Pierre-Clément Tosieacdd0f2024-10-22 16:31:01 +01001036 granule,
Jaewan Kim19b984f2023-12-04 15:16:50 +09001037 )?;
Jaewan Kimc6e023b2023-10-12 15:11:05 +09001038 if let Some(assigned_device) = assigned_device {
1039 assigned_devices.push(assigned_device);
Jaewan Kim8f6f4662023-12-12 17:38:47 +09001040 assigned_device_paths.push(dtbo_node_path);
Jaewan Kimc6e023b2023-10-12 15:11:05 +09001041 }
1042 }
Jaewan Kimc6e023b2023-10-12 15:11:05 +09001043 if assigned_devices.is_empty() {
1044 return Ok(None);
1045 }
Jaewan Kimc39974e2023-12-02 01:13:30 +09001046
Jaewan Kim19b984f2023-12-04 15:16:50 +09001047 Self::validate_pviommu_topology(&assigned_devices)?;
1048
Jaewan Kim8f6f4662023-12-12 17:38:47 +09001049 let mut vm_dtbo_mask = vm_dtbo.build_mask(assigned_device_paths)?;
Alan Stokesf46a17c2025-01-05 15:50:18 +00001050 vm_dtbo_mask.mask_all(&DtPathTokens::new(c"/__local_fixups__")?);
1051 vm_dtbo_mask.mask_all(&DtPathTokens::new(c"/__symbols__")?);
Jaewan Kimc39974e2023-12-02 01:13:30 +09001052
1053 // Note: Any node without __overlay__ will be ignored by fdt_apply_overlay,
1054 // so doesn't need to be filtered.
Jaewan Kim51ccfed2023-11-08 13:51:58 +09001055
Jaewan Kim8f6f4662023-12-12 17:38:47 +09001056 Ok(Some(Self { pviommus: unique_pviommus, assigned_devices, vm_dtbo_mask }))
Jaewan Kimc6e023b2023-10-12 15:11:05 +09001057 }
1058
1059 /// Filters VM DTBO to only contain necessary information for booting pVM
Jaewan Kimc6e023b2023-10-12 15:11:05 +09001060 pub fn filter(&self, vm_dtbo: &mut VmDtbo) -> Result<()> {
1061 let vm_dtbo = vm_dtbo.as_mut();
1062
Jaewan Kim8f6f4662023-12-12 17:38:47 +09001063 // Filter unused references in /__local_fixups__
Alan Stokesf46a17c2025-01-05 15:50:18 +00001064 if let Some(local_fixups) = vm_dtbo.node_mut(c"/__local_fixups__")? {
Jaewan Kim8f6f4662023-12-12 17:38:47 +09001065 filter_with_mask(local_fixups, &self.vm_dtbo_mask)?;
Jaewan Kimc6e023b2023-10-12 15:11:05 +09001066 }
1067
Jaewan Kim8f6f4662023-12-12 17:38:47 +09001068 // Filter unused nodes in rest of tree
1069 let root = vm_dtbo.root_mut();
1070 filter_with_mask(root, &self.vm_dtbo_mask)?;
1071
Jaewan Kim371f6c82024-02-24 01:33:37 +09001072 filter_dangling_symbols(vm_dtbo)
Jaewan Kimc6e023b2023-10-12 15:11:05 +09001073 }
1074
Jaewan Kim51ccfed2023-11-08 13:51:58 +09001075 fn patch_pviommus(&self, fdt: &mut Fdt) -> Result<BTreeMap<PvIommu, Phandle>> {
Pierre-Clément Tosi244efea2024-02-16 14:48:14 +00001076 let mut compatible = fdt.root_mut().next_compatible(Self::PVIOMMU_COMPATIBLE)?;
Jaewan Kim51ccfed2023-11-08 13:51:58 +09001077 let mut pviommu_phandles = BTreeMap::new();
1078
1079 for pviommu in &self.pviommus {
1080 let mut node = compatible.ok_or(DeviceAssignmentError::TooManyPvIommu)?;
1081 let phandle = node.as_node().get_phandle()?.ok_or(DeviceAssignmentError::Internal)?;
Alan Stokesf46a17c2025-01-05 15:50:18 +00001082 node.setprop_inplace(c"id", &pviommu.id.to_be_bytes())?;
Jaewan Kim51ccfed2023-11-08 13:51:58 +09001083 if pviommu_phandles.insert(*pviommu, phandle).is_some() {
1084 return Err(DeviceAssignmentError::Internal);
1085 }
1086 compatible = node.next_compatible(Self::PVIOMMU_COMPATIBLE)?;
Jaewan Kimc6e023b2023-10-12 15:11:05 +09001087 }
Jaewan Kim51ccfed2023-11-08 13:51:58 +09001088
1089 // Filters pre-populated but unassigned pvIOMMUs.
1090 while let Some(filtered_pviommu) = compatible {
1091 compatible = filtered_pviommu.delete_and_next_compatible(Self::PVIOMMU_COMPATIBLE)?;
1092 }
1093
1094 Ok(pviommu_phandles)
1095 }
1096
1097 pub fn patch(&self, fdt: &mut Fdt) -> Result<()> {
1098 let pviommu_phandles = self.patch_pviommus(fdt)?;
1099
1100 // Patches assigned devices
1101 for device in &self.assigned_devices {
1102 device.patch(fdt, &pviommu_phandles)?;
1103 }
1104
Jaewan Kimc730ebf2024-02-22 10:34:55 +09001105 // Removes any dangling references in __symbols__ (e.g. removed pvIOMMUs)
1106 filter_dangling_symbols(fdt)
Jaewan Kimc6e023b2023-10-12 15:11:05 +09001107 }
1108}
1109
Jaewan Kim50246682024-03-11 23:18:54 +09001110/// Cleans device trees not to contain any pre-populated nodes/props for device assignment.
1111pub fn clean(fdt: &mut Fdt) -> Result<()> {
Alan Stokesf46a17c2025-01-05 15:50:18 +00001112 let mut compatible = fdt.root_mut().next_compatible(c"pkvm,pviommu")?;
Jaewan Kim50246682024-03-11 23:18:54 +09001113 // Filters pre-populated
1114 while let Some(filtered_pviommu) = compatible {
Alan Stokesf46a17c2025-01-05 15:50:18 +00001115 compatible = filtered_pviommu.delete_and_next_compatible(c"pkvm,pviommu")?;
Jaewan Kim50246682024-03-11 23:18:54 +09001116 }
1117
1118 // Removes any dangling references in __symbols__ (e.g. removed pvIOMMUs)
1119 filter_dangling_symbols(fdt)
1120}
1121
Jaewan Kimc6e023b2023-10-12 15:11:05 +09001122#[cfg(test)]
Pierre-Clément Tosie5cca922024-04-30 17:54:08 +01001123#[derive(Clone, Copy, Debug)]
1124enum MockHypervisorError {
1125 FailedGetPhysMmioToken,
1126 FailedGetPhysIommuToken,
1127}
1128
1129#[cfg(test)]
1130type MockHypervisorResult<T> = core::result::Result<T, MockHypervisorError>;
1131
1132#[cfg(test)]
1133impl fmt::Display for MockHypervisorError {
1134 fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
1135 match self {
1136 MockHypervisorError::FailedGetPhysMmioToken => {
1137 write!(f, "Failed to get physical MMIO token")
1138 }
1139 MockHypervisorError::FailedGetPhysIommuToken => {
1140 write!(f, "Failed to get physical IOMMU token")
1141 }
1142 }
1143 }
1144}
1145
1146#[cfg(test)]
1147trait DeviceAssigningHypervisor {
1148 /// Returns MMIO token.
Mostafa Saleh646a31b2024-10-22 12:55:59 +00001149 fn get_phys_mmio_token(&self, base_ipa: u64) -> MockHypervisorResult<u64>;
Pierre-Clément Tosie5cca922024-04-30 17:54:08 +01001150
1151 /// Returns DMA token as a tuple of (phys_iommu_id, phys_sid).
1152 fn get_phys_iommu_token(&self, pviommu_id: u64, vsid: u64) -> MockHypervisorResult<(u64, u64)>;
1153}
1154
1155#[cfg(test)]
Jaewan Kimc6e023b2023-10-12 15:11:05 +09001156mod tests {
1157 use super::*;
Jaewan Kim52477ae2023-11-21 21:20:52 +09001158 use alloc::collections::{BTreeMap, BTreeSet};
Jaewan Kim8f6f4662023-12-12 17:38:47 +09001159 use dts::Dts;
Jaewan Kimc6e023b2023-10-12 15:11:05 +09001160 use std::fs;
Jaewan Kim8f6f4662023-12-12 17:38:47 +09001161 use std::path::Path;
Jaewan Kimc6e023b2023-10-12 15:11:05 +09001162
1163 const VM_DTBO_FILE_PATH: &str = "test_pvmfw_devices_vm_dtbo.dtbo";
1164 const VM_DTBO_WITHOUT_SYMBOLS_FILE_PATH: &str =
1165 "test_pvmfw_devices_vm_dtbo_without_symbols.dtbo";
Jaewan Kim19b984f2023-12-04 15:16:50 +09001166 const VM_DTBO_WITH_DUPLICATED_IOMMUS_FILE_PATH: &str =
1167 "test_pvmfw_devices_vm_dtbo_with_duplicated_iommus.dtbo";
Jaewan Kim8f6f4662023-12-12 17:38:47 +09001168 const VM_DTBO_WITH_DEPENDENCIES_FILE_PATH: &str =
1169 "test_pvmfw_devices_vm_dtbo_with_dependencies.dtbo";
Jaewan Kima67e36a2023-11-29 16:50:23 +09001170 const FDT_WITHOUT_IOMMUS_FILE_PATH: &str = "test_pvmfw_devices_without_iommus.dtb";
Jaewan Kim52477ae2023-11-21 21:20:52 +09001171 const FDT_WITHOUT_DEVICE_FILE_PATH: &str = "test_pvmfw_devices_without_device.dtb";
Jaewan Kimc6e023b2023-10-12 15:11:05 +09001172 const FDT_FILE_PATH: &str = "test_pvmfw_devices_with_rng.dtb";
Pierre-Clément Tosi49e26ce2024-03-12 16:31:50 +00001173 const FDT_WITH_DEVICE_OVERLAPPING_PVMFW: &str = "test_pvmfw_devices_overlapping_pvmfw.dtb";
Jaewan Kim51ccfed2023-11-08 13:51:58 +09001174 const FDT_WITH_MULTIPLE_DEVICES_IOMMUS_FILE_PATH: &str =
1175 "test_pvmfw_devices_with_multiple_devices_iommus.dtb";
1176 const FDT_WITH_IOMMU_SHARING: &str = "test_pvmfw_devices_with_iommu_sharing.dtb";
1177 const FDT_WITH_IOMMU_ID_CONFLICT: &str = "test_pvmfw_devices_with_iommu_id_conflict.dtb";
Jaewan Kim19b984f2023-12-04 15:16:50 +09001178 const FDT_WITH_DUPLICATED_PVIOMMUS_FILE_PATH: &str =
1179 "test_pvmfw_devices_with_duplicated_pviommus.dtb";
1180 const FDT_WITH_MULTIPLE_REG_IOMMU_FILE_PATH: &str =
1181 "test_pvmfw_devices_with_multiple_reg_iommus.dtb";
Jaewan Kim8f6f4662023-12-12 17:38:47 +09001182 const FDT_WITH_DEPENDENCY_FILE_PATH: &str = "test_pvmfw_devices_with_dependency.dtb";
1183 const FDT_WITH_MULTIPLE_DEPENDENCIES_FILE_PATH: &str =
1184 "test_pvmfw_devices_with_multiple_dependencies.dtb";
1185 const FDT_WITH_DEPENDENCY_LOOP_FILE_PATH: &str = "test_pvmfw_devices_with_dependency_loop.dtb";
1186
1187 const EXPECTED_FDT_WITH_DEPENDENCY_FILE_PATH: &str = "expected_dt_with_dependency.dtb";
1188 const EXPECTED_FDT_WITH_MULTIPLE_DEPENDENCIES_FILE_PATH: &str =
1189 "expected_dt_with_multiple_dependencies.dtb";
1190 const EXPECTED_FDT_WITH_DEPENDENCY_LOOP_FILE_PATH: &str =
1191 "expected_dt_with_dependency_loop.dtb";
Jaewan Kim51ccfed2023-11-08 13:51:58 +09001192
Pierre-Clément Tosieacdd0f2024-10-22 16:31:01 +01001193 // TODO(b/308694211): Use vmbase::SIZE_4KB.
1194 const SIZE_4KB: usize = 4 << 10;
1195
Jaewan Kim52477ae2023-11-21 21:20:52 +09001196 #[derive(Debug, Default)]
1197 struct MockHypervisor {
1198 mmio_tokens: BTreeMap<(u64, u64), u64>,
1199 iommu_tokens: BTreeMap<(u64, u64), (u64, u64)>,
1200 }
1201
Pierre-Clément Tosi5ce6c6f2024-10-29 10:53:07 +00001202 impl MockHypervisor {
1203 // TODO(ptosi): Improve these tests to cover multi-page devices.
1204 fn get_mmio_token(&self, addr: u64) -> Option<&u64> {
1205 // We currently only have single (or sub-) page MMIO test data so can ignore sizes.
1206 let key = self.mmio_tokens.keys().find(|(virt, _)| *virt == addr)?;
1207 self.mmio_tokens.get(key)
1208 }
1209 }
1210
Jaewan Kim52477ae2023-11-21 21:20:52 +09001211 impl DeviceAssigningHypervisor for MockHypervisor {
Mostafa Saleh646a31b2024-10-22 12:55:59 +00001212 fn get_phys_mmio_token(&self, base_ipa: u64) -> MockHypervisorResult<u64> {
Pierre-Clément Tosi5ce6c6f2024-10-29 10:53:07 +00001213 let token = self.get_mmio_token(base_ipa);
Pierre-Clément Tosie5cca922024-04-30 17:54:08 +01001214
1215 Ok(*token.ok_or(MockHypervisorError::FailedGetPhysMmioToken)?)
Jaewan Kim52477ae2023-11-21 21:20:52 +09001216 }
1217
Pierre-Clément Tosie5cca922024-04-30 17:54:08 +01001218 fn get_phys_iommu_token(
1219 &self,
1220 pviommu_id: u64,
1221 vsid: u64,
1222 ) -> MockHypervisorResult<(u64, u64)> {
1223 let token = self.iommu_tokens.get(&(pviommu_id, vsid));
1224
1225 Ok(*token.ok_or(MockHypervisorError::FailedGetPhysIommuToken)?)
Jaewan Kim52477ae2023-11-21 21:20:52 +09001226 }
1227 }
1228
Jaewan Kim51ccfed2023-11-08 13:51:58 +09001229 #[derive(Debug, Eq, PartialEq)]
1230 struct AssignedDeviceNode {
1231 path: CString,
1232 reg: Vec<u8>,
1233 interrupts: Vec<u8>,
Jaewan Kima67e36a2023-11-29 16:50:23 +09001234 iommus: Vec<u32>, // pvIOMMU id and vSID
Jaewan Kim51ccfed2023-11-08 13:51:58 +09001235 }
1236
1237 impl AssignedDeviceNode {
1238 fn parse(fdt: &Fdt, path: &CStr) -> Result<Self> {
1239 let Some(node) = fdt.node(path)? else {
1240 return Err(FdtError::NotFound.into());
1241 };
1242
Alan Stokesf46a17c2025-01-05 15:50:18 +00001243 let reg = node.getprop(c"reg")?.ok_or(DeviceAssignmentError::MalformedReg)?;
1244 let interrupts =
1245 node.getprop(c"interrupts")?.ok_or(DeviceAssignmentError::InvalidInterrupts)?;
Jaewan Kim51ccfed2023-11-08 13:51:58 +09001246 let mut iommus = vec![];
Alan Stokesf46a17c2025-01-05 15:50:18 +00001247 if let Some(mut cells) = node.getprop_cells(c"iommus")? {
Jaewan Kima9200492023-11-21 20:45:31 +09001248 while let Some(pviommu_id) = cells.next() {
1249 // pvIOMMU id
1250 let phandle = Phandle::try_from(pviommu_id)?;
Jaewan Kim51ccfed2023-11-08 13:51:58 +09001251 let pviommu = fdt
1252 .node_with_phandle(phandle)?
Jaewan Kim19b984f2023-12-04 15:16:50 +09001253 .ok_or(DeviceAssignmentError::MalformedIommus)?;
Alan Stokesf46a17c2025-01-05 15:50:18 +00001254 let compatible = pviommu.getprop_str(c"compatible");
1255 if compatible != Ok(Some(c"pkvm,pviommu")) {
Jaewan Kim19b984f2023-12-04 15:16:50 +09001256 return Err(DeviceAssignmentError::MalformedIommus);
Jaewan Kim51ccfed2023-11-08 13:51:58 +09001257 }
1258 let id = pviommu
Alan Stokesf46a17c2025-01-05 15:50:18 +00001259 .getprop_u32(c"id")?
Jaewan Kim19b984f2023-12-04 15:16:50 +09001260 .ok_or(DeviceAssignmentError::MalformedIommus)?;
Jaewan Kim51ccfed2023-11-08 13:51:58 +09001261 iommus.push(id);
Jaewan Kima9200492023-11-21 20:45:31 +09001262
1263 // vSID
1264 let Some(vsid) = cells.next() else {
Jaewan Kim19b984f2023-12-04 15:16:50 +09001265 return Err(DeviceAssignmentError::MalformedIommus);
Jaewan Kima9200492023-11-21 20:45:31 +09001266 };
1267 iommus.push(vsid);
Jaewan Kim51ccfed2023-11-08 13:51:58 +09001268 }
1269 }
1270 Ok(Self { path: path.into(), reg: reg.into(), interrupts: interrupts.into(), iommus })
1271 }
1272 }
1273
1274 fn collect_pviommus(fdt: &Fdt) -> Result<Vec<u32>> {
1275 let mut pviommus = BTreeSet::new();
Alan Stokesf46a17c2025-01-05 15:50:18 +00001276 for pviommu in fdt.compatible_nodes(c"pkvm,pviommu")? {
1277 if let Ok(Some(id)) = pviommu.getprop_u32(c"id") {
Jaewan Kim51ccfed2023-11-08 13:51:58 +09001278 pviommus.insert(id);
1279 }
1280 }
1281 Ok(pviommus.iter().cloned().collect())
1282 }
Jaewan Kimc6e023b2023-10-12 15:11:05 +09001283
1284 fn into_fdt_prop(native_bytes: Vec<u32>) -> Vec<u8> {
1285 let mut v = Vec::with_capacity(native_bytes.len() * 4);
1286 for byte in native_bytes {
1287 v.extend_from_slice(&byte.to_be_bytes());
1288 }
1289 v
1290 }
1291
Jaewan Kim52477ae2023-11-21 21:20:52 +09001292 impl From<[u64; 2]> for DeviceReg {
1293 fn from(fdt_cells: [u64; 2]) -> Self {
1294 DeviceReg { addr: fdt_cells[0], size: fdt_cells[1] }
1295 }
1296 }
1297
Pierre-Clément Tosieacdd0f2024-10-22 16:31:01 +01001298 // TODO(ptosi): Add tests with varying HYP_GRANULE values.
1299
Sreenad Menon84599282025-01-27 20:47:52 -08001300 // TODO(ptosi): Add tests with iommus.is_none()
1301
Jaewan Kimc6e023b2023-10-12 15:11:05 +09001302 #[test]
1303 fn device_info_new_without_symbols() {
1304 let mut fdt_data = fs::read(FDT_FILE_PATH).unwrap();
1305 let mut vm_dtbo_data = fs::read(VM_DTBO_WITHOUT_SYMBOLS_FILE_PATH).unwrap();
1306 let fdt = Fdt::from_mut_slice(&mut fdt_data).unwrap();
1307 let vm_dtbo = VmDtbo::from_mut_slice(&mut vm_dtbo_data).unwrap();
1308
Jaewan Kim52477ae2023-11-21 21:20:52 +09001309 let hypervisor: MockHypervisor = Default::default();
Pierre-Clément Tosieacdd0f2024-10-22 16:31:01 +01001310 const HYP_GRANULE: usize = SIZE_4KB;
1311 let device_info =
1312 DeviceAssignmentInfo::parse(fdt, vm_dtbo, &hypervisor, HYP_GRANULE).unwrap();
Jaewan Kim52477ae2023-11-21 21:20:52 +09001313 assert_eq!(device_info, None);
1314 }
1315
1316 #[test]
1317 fn device_info_new_without_device() {
1318 let mut fdt_data = fs::read(FDT_WITHOUT_DEVICE_FILE_PATH).unwrap();
1319 let mut vm_dtbo_data = fs::read(VM_DTBO_FILE_PATH).unwrap();
1320 let fdt = Fdt::from_mut_slice(&mut fdt_data).unwrap();
1321 let vm_dtbo = VmDtbo::from_mut_slice(&mut vm_dtbo_data).unwrap();
1322
1323 let hypervisor: MockHypervisor = Default::default();
Pierre-Clément Tosieacdd0f2024-10-22 16:31:01 +01001324 const HYP_GRANULE: usize = SIZE_4KB;
1325 let device_info =
1326 DeviceAssignmentInfo::parse(fdt, vm_dtbo, &hypervisor, HYP_GRANULE).unwrap();
Jaewan Kimc6e023b2023-10-12 15:11:05 +09001327 assert_eq!(device_info, None);
1328 }
1329
1330 #[test]
Jaewan Kima67e36a2023-11-29 16:50:23 +09001331 fn device_info_assigned_info_without_iommus() {
1332 let mut fdt_data = fs::read(FDT_WITHOUT_IOMMUS_FILE_PATH).unwrap();
1333 let mut vm_dtbo_data = fs::read(VM_DTBO_FILE_PATH).unwrap();
1334 let fdt = Fdt::from_mut_slice(&mut fdt_data).unwrap();
1335 let vm_dtbo = VmDtbo::from_mut_slice(&mut vm_dtbo_data).unwrap();
1336
Jaewan Kim52477ae2023-11-21 21:20:52 +09001337 let hypervisor = MockHypervisor {
1338 mmio_tokens: [((0x9, 0xFF), 0x300)].into(),
1339 iommu_tokens: BTreeMap::new(),
1340 };
Pierre-Clément Tosieacdd0f2024-10-22 16:31:01 +01001341 const HYP_GRANULE: usize = SIZE_4KB;
1342 let device_info =
1343 DeviceAssignmentInfo::parse(fdt, vm_dtbo, &hypervisor, HYP_GRANULE).unwrap().unwrap();
Jaewan Kima67e36a2023-11-29 16:50:23 +09001344
1345 let expected = [AssignedDeviceInfo {
Jaewan Kimc39974e2023-12-02 01:13:30 +09001346 node_path: CString::new("/bus0/backlight").unwrap(),
Jaewan Kim52477ae2023-11-21 21:20:52 +09001347 reg: vec![[0x9, 0xFF].into()],
Jaewan Kima67e36a2023-11-29 16:50:23 +09001348 interrupts: into_fdt_prop(vec![0x0, 0xF, 0x4]),
Sreenad Menon84599282025-01-27 20:47:52 -08001349 iommus: Some(vec![]),
Jaewan Kima67e36a2023-11-29 16:50:23 +09001350 }];
1351
1352 assert_eq!(device_info.assigned_devices, expected);
1353 }
1354
1355 #[test]
Jaewan Kimc6e023b2023-10-12 15:11:05 +09001356 fn device_info_assigned_info() {
1357 let mut fdt_data = fs::read(FDT_FILE_PATH).unwrap();
1358 let mut vm_dtbo_data = fs::read(VM_DTBO_FILE_PATH).unwrap();
1359 let fdt = Fdt::from_mut_slice(&mut fdt_data).unwrap();
1360 let vm_dtbo = VmDtbo::from_mut_slice(&mut vm_dtbo_data).unwrap();
1361
Jaewan Kim52477ae2023-11-21 21:20:52 +09001362 let hypervisor = MockHypervisor {
1363 mmio_tokens: [((0x9, 0xFF), 0x12F00000)].into(),
1364 iommu_tokens: [((0x4, 0xFF0), (0x12E40000, 0x3))].into(),
1365 };
Pierre-Clément Tosieacdd0f2024-10-22 16:31:01 +01001366 const HYP_GRANULE: usize = SIZE_4KB;
1367 let device_info =
1368 DeviceAssignmentInfo::parse(fdt, vm_dtbo, &hypervisor, HYP_GRANULE).unwrap().unwrap();
Jaewan Kimc6e023b2023-10-12 15:11:05 +09001369
1370 let expected = [AssignedDeviceInfo {
1371 node_path: CString::new("/rng").unwrap(),
Jaewan Kim52477ae2023-11-21 21:20:52 +09001372 reg: vec![[0x9, 0xFF].into()],
Jaewan Kimc6e023b2023-10-12 15:11:05 +09001373 interrupts: into_fdt_prop(vec![0x0, 0xF, 0x4]),
Sreenad Menon84599282025-01-27 20:47:52 -08001374 iommus: Some(vec![(PvIommu { id: 0x4 }, Vsid(0xFF0))]),
Jaewan Kimc6e023b2023-10-12 15:11:05 +09001375 }];
1376
1377 assert_eq!(device_info.assigned_devices, expected);
1378 }
1379
Jaewan Kimc6e023b2023-10-12 15:11:05 +09001380 #[test]
1381 fn device_info_filter() {
1382 let mut fdt_data = fs::read(FDT_FILE_PATH).unwrap();
1383 let mut vm_dtbo_data = fs::read(VM_DTBO_FILE_PATH).unwrap();
1384 let fdt = Fdt::from_mut_slice(&mut fdt_data).unwrap();
1385 let vm_dtbo = VmDtbo::from_mut_slice(&mut vm_dtbo_data).unwrap();
1386
Jaewan Kim52477ae2023-11-21 21:20:52 +09001387 let hypervisor = MockHypervisor {
1388 mmio_tokens: [((0x9, 0xFF), 0x12F00000)].into(),
1389 iommu_tokens: [((0x4, 0xFF0), (0x12E40000, 0x3))].into(),
1390 };
Pierre-Clément Tosieacdd0f2024-10-22 16:31:01 +01001391 const HYP_GRANULE: usize = SIZE_4KB;
1392 let device_info =
1393 DeviceAssignmentInfo::parse(fdt, vm_dtbo, &hypervisor, HYP_GRANULE).unwrap().unwrap();
Jaewan Kimc6e023b2023-10-12 15:11:05 +09001394 device_info.filter(vm_dtbo).unwrap();
1395
1396 let vm_dtbo = vm_dtbo.as_mut();
1397
Jaewan Kim371f6c82024-02-24 01:33:37 +09001398 let symbols = vm_dtbo.symbols().unwrap().unwrap();
1399
Alan Stokesf46a17c2025-01-05 15:50:18 +00001400 let rng = vm_dtbo.node(c"/fragment@0/__overlay__/rng").unwrap();
Jaewan Kimc6e023b2023-10-12 15:11:05 +09001401 assert_ne!(rng, None);
Alan Stokesf46a17c2025-01-05 15:50:18 +00001402 let rng_symbol = symbols.getprop_str(c"rng").unwrap();
1403 assert_eq!(Some(c"/fragment@0/__overlay__/rng"), rng_symbol);
Jaewan Kimc6e023b2023-10-12 15:11:05 +09001404
Alan Stokesf46a17c2025-01-05 15:50:18 +00001405 let light = vm_dtbo.node(c"/fragment@0/__overlay__/light").unwrap();
Jaewan Kimc6e023b2023-10-12 15:11:05 +09001406 assert_eq!(light, None);
Alan Stokesf46a17c2025-01-05 15:50:18 +00001407 let light_symbol = symbols.getprop_str(c"light").unwrap();
Jaewan Kim371f6c82024-02-24 01:33:37 +09001408 assert_eq!(None, light_symbol);
Jaewan Kimc6e023b2023-10-12 15:11:05 +09001409
Alan Stokesf46a17c2025-01-05 15:50:18 +00001410 let led = vm_dtbo.node(c"/fragment@0/__overlay__/led").unwrap();
Jaewan Kima67e36a2023-11-29 16:50:23 +09001411 assert_eq!(led, None);
Alan Stokesf46a17c2025-01-05 15:50:18 +00001412 let led_symbol = symbols.getprop_str(c"led").unwrap();
Jaewan Kim371f6c82024-02-24 01:33:37 +09001413 assert_eq!(None, led_symbol);
Jaewan Kima67e36a2023-11-29 16:50:23 +09001414
Alan Stokesf46a17c2025-01-05 15:50:18 +00001415 let backlight = vm_dtbo.node(c"/fragment@0/__overlay__/bus0/backlight").unwrap();
Jaewan Kima67e36a2023-11-29 16:50:23 +09001416 assert_eq!(backlight, None);
Alan Stokesf46a17c2025-01-05 15:50:18 +00001417 let backlight_symbol = symbols.getprop_str(c"backlight").unwrap();
Jaewan Kim371f6c82024-02-24 01:33:37 +09001418 assert_eq!(None, backlight_symbol);
Jaewan Kimc6e023b2023-10-12 15:11:05 +09001419 }
1420
1421 #[test]
1422 fn device_info_patch() {
Jaewan Kima67e36a2023-11-29 16:50:23 +09001423 let mut fdt_data = fs::read(FDT_WITHOUT_IOMMUS_FILE_PATH).unwrap();
Jaewan Kimc6e023b2023-10-12 15:11:05 +09001424 let mut vm_dtbo_data = fs::read(VM_DTBO_FILE_PATH).unwrap();
1425 let mut data = vec![0_u8; fdt_data.len() + vm_dtbo_data.len()];
1426 let fdt = Fdt::from_mut_slice(&mut fdt_data).unwrap();
1427 let vm_dtbo = VmDtbo::from_mut_slice(&mut vm_dtbo_data).unwrap();
1428 let platform_dt = Fdt::create_empty_tree(data.as_mut_slice()).unwrap();
1429
Jaewan Kim52477ae2023-11-21 21:20:52 +09001430 let hypervisor = MockHypervisor {
1431 mmio_tokens: [((0x9, 0xFF), 0x300)].into(),
1432 iommu_tokens: BTreeMap::new(),
1433 };
Pierre-Clément Tosieacdd0f2024-10-22 16:31:01 +01001434 const HYP_GRANULE: usize = SIZE_4KB;
1435 let device_info =
1436 DeviceAssignmentInfo::parse(fdt, vm_dtbo, &hypervisor, HYP_GRANULE).unwrap().unwrap();
Jaewan Kimc6e023b2023-10-12 15:11:05 +09001437 device_info.filter(vm_dtbo).unwrap();
1438
1439 // SAFETY: Damaged VM DTBO wouldn't be used after this unsafe block.
1440 unsafe {
1441 platform_dt.apply_overlay(vm_dtbo.as_mut()).unwrap();
1442 }
Jaewan Kim0bd637d2023-11-10 13:09:41 +09001443 device_info.patch(platform_dt).unwrap();
Jaewan Kimc6e023b2023-10-12 15:11:05 +09001444
Alan Stokesf46a17c2025-01-05 15:50:18 +00001445 let rng_node = platform_dt.node(c"/bus0/backlight").unwrap().unwrap();
1446 let phandle = rng_node.getprop_u32(c"phandle").unwrap();
Jaewan Kimc39974e2023-12-02 01:13:30 +09001447 assert_ne!(None, phandle);
1448
Jaewan Kim51ccfed2023-11-08 13:51:58 +09001449 // Note: Intentionally not using AssignedDeviceNode for matching all props.
Jaewan Kim0bd637d2023-11-10 13:09:41 +09001450 type FdtResult<T> = libfdt::Result<T>;
1451 let expected: Vec<(FdtResult<&CStr>, FdtResult<Vec<u8>>)> = vec![
Alan Stokesf46a17c2025-01-05 15:50:18 +00001452 (Ok(c"android,backlight,ignore-gctrl-reset"), Ok(Vec::new())),
1453 (Ok(c"compatible"), Ok(Vec::from(*b"android,backlight\0"))),
1454 (Ok(c"interrupts"), Ok(into_fdt_prop(vec![0x0, 0xF, 0x4]))),
1455 (Ok(c"iommus"), Ok(Vec::new())),
1456 (Ok(c"phandle"), Ok(into_fdt_prop(vec![phandle.unwrap()]))),
1457 (Ok(c"reg"), Ok(into_fdt_prop(vec![0x0, 0x9, 0x0, 0xFF]))),
Jaewan Kimc6e023b2023-10-12 15:11:05 +09001458 ];
1459
Jaewan Kim0bd637d2023-11-10 13:09:41 +09001460 let mut properties: Vec<_> = rng_node
1461 .properties()
1462 .unwrap()
1463 .map(|prop| (prop.name(), prop.value().map(|x| x.into())))
1464 .collect();
1465 properties.sort_by(|a, b| {
1466 let lhs = a.0.unwrap_or_default();
1467 let rhs = b.0.unwrap_or_default();
1468 lhs.partial_cmp(rhs).unwrap()
1469 });
1470
1471 assert_eq!(properties, expected);
Jaewan Kimc6e023b2023-10-12 15:11:05 +09001472 }
Jaewan Kim51ccfed2023-11-08 13:51:58 +09001473
1474 #[test]
Jaewan Kimc730ebf2024-02-22 10:34:55 +09001475 fn device_info_patch_no_pviommus() {
1476 let mut fdt_data = fs::read(FDT_WITHOUT_IOMMUS_FILE_PATH).unwrap();
1477 let mut vm_dtbo_data = fs::read(VM_DTBO_FILE_PATH).unwrap();
1478 let mut data = vec![0_u8; fdt_data.len() + vm_dtbo_data.len()];
1479 let fdt = Fdt::from_mut_slice(&mut fdt_data).unwrap();
1480 let vm_dtbo = VmDtbo::from_mut_slice(&mut vm_dtbo_data).unwrap();
1481 let platform_dt = Fdt::create_empty_tree(data.as_mut_slice()).unwrap();
1482
1483 let hypervisor = MockHypervisor {
1484 mmio_tokens: [((0x9, 0xFF), 0x300)].into(),
1485 iommu_tokens: BTreeMap::new(),
1486 };
Pierre-Clément Tosieacdd0f2024-10-22 16:31:01 +01001487 const HYP_GRANULE: usize = SIZE_4KB;
1488 let device_info =
1489 DeviceAssignmentInfo::parse(fdt, vm_dtbo, &hypervisor, HYP_GRANULE).unwrap().unwrap();
Jaewan Kimc730ebf2024-02-22 10:34:55 +09001490 device_info.filter(vm_dtbo).unwrap();
1491
1492 // SAFETY: Damaged VM DTBO wouldn't be used after this unsafe block.
1493 unsafe {
1494 platform_dt.apply_overlay(vm_dtbo.as_mut()).unwrap();
1495 }
1496 device_info.patch(platform_dt).unwrap();
1497
Alan Stokesf46a17c2025-01-05 15:50:18 +00001498 let compatible = platform_dt.root().next_compatible(c"pkvm,pviommu").unwrap();
Jaewan Kimc730ebf2024-02-22 10:34:55 +09001499 assert_eq!(None, compatible);
1500
1501 if let Some(symbols) = platform_dt.symbols().unwrap() {
1502 for prop in symbols.properties().unwrap() {
1503 let path = CStr::from_bytes_with_nul(prop.value().unwrap()).unwrap();
1504 assert_ne!(None, platform_dt.node(path).unwrap());
1505 }
1506 }
1507 }
1508
1509 #[test]
Jaewan Kim51ccfed2023-11-08 13:51:58 +09001510 fn device_info_overlay_iommu() {
Jaewan Kima67e36a2023-11-29 16:50:23 +09001511 let mut fdt_data = fs::read(FDT_FILE_PATH).unwrap();
Jaewan Kim51ccfed2023-11-08 13:51:58 +09001512 let mut vm_dtbo_data = fs::read(VM_DTBO_FILE_PATH).unwrap();
1513 let fdt = Fdt::from_mut_slice(&mut fdt_data).unwrap();
1514 let vm_dtbo = VmDtbo::from_mut_slice(&mut vm_dtbo_data).unwrap();
1515 let mut platform_dt_data = pvmfw_fdt_template::RAW.to_vec();
1516 platform_dt_data.resize(pvmfw_fdt_template::RAW.len() * 2, 0);
1517 let platform_dt = Fdt::from_mut_slice(&mut platform_dt_data).unwrap();
1518 platform_dt.unpack().unwrap();
1519
Jaewan Kim52477ae2023-11-21 21:20:52 +09001520 let hypervisor = MockHypervisor {
1521 mmio_tokens: [((0x9, 0xFF), 0x12F00000)].into(),
1522 iommu_tokens: [((0x4, 0xFF0), (0x12E40000, 0x3))].into(),
1523 };
Pierre-Clément Tosieacdd0f2024-10-22 16:31:01 +01001524 const HYP_GRANULE: usize = SIZE_4KB;
1525 let device_info =
1526 DeviceAssignmentInfo::parse(fdt, vm_dtbo, &hypervisor, HYP_GRANULE).unwrap().unwrap();
Jaewan Kim51ccfed2023-11-08 13:51:58 +09001527 device_info.filter(vm_dtbo).unwrap();
1528
1529 // SAFETY: Damaged VM DTBO wouldn't be used after this unsafe block.
1530 unsafe {
1531 platform_dt.apply_overlay(vm_dtbo.as_mut()).unwrap();
1532 }
1533 device_info.patch(platform_dt).unwrap();
1534
1535 let expected = AssignedDeviceNode {
1536 path: CString::new("/rng").unwrap(),
1537 reg: into_fdt_prop(vec![0x0, 0x9, 0x0, 0xFF]),
1538 interrupts: into_fdt_prop(vec![0x0, 0xF, 0x4]),
Jaewan Kima9200492023-11-21 20:45:31 +09001539 iommus: vec![0x4, 0xFF0],
Jaewan Kim51ccfed2023-11-08 13:51:58 +09001540 };
1541
1542 let node = AssignedDeviceNode::parse(platform_dt, &expected.path);
1543 assert_eq!(node, Ok(expected));
1544
1545 let pviommus = collect_pviommus(platform_dt);
1546 assert_eq!(pviommus, Ok(vec![0x4]));
1547 }
1548
1549 #[test]
1550 fn device_info_multiple_devices_iommus() {
1551 let mut fdt_data = fs::read(FDT_WITH_MULTIPLE_DEVICES_IOMMUS_FILE_PATH).unwrap();
1552 let mut vm_dtbo_data = fs::read(VM_DTBO_FILE_PATH).unwrap();
1553 let fdt = Fdt::from_mut_slice(&mut fdt_data).unwrap();
1554 let vm_dtbo = VmDtbo::from_mut_slice(&mut vm_dtbo_data).unwrap();
1555 let mut platform_dt_data = pvmfw_fdt_template::RAW.to_vec();
1556 platform_dt_data.resize(pvmfw_fdt_template::RAW.len() * 2, 0);
1557 let platform_dt = Fdt::from_mut_slice(&mut platform_dt_data).unwrap();
1558 platform_dt.unpack().unwrap();
1559
Jaewan Kim52477ae2023-11-21 21:20:52 +09001560 let hypervisor = MockHypervisor {
1561 mmio_tokens: [
1562 ((0x9, 0xFF), 0x12F00000),
Jaewan Kim19b984f2023-12-04 15:16:50 +09001563 ((0x10000, 0x1000), 0xF00000),
1564 ((0x20000, 0x1000), 0xF10000),
Jaewan Kim52477ae2023-11-21 21:20:52 +09001565 ]
1566 .into(),
1567 iommu_tokens: [
1568 ((0x4, 0xFF0), (0x12E40000, 3)),
1569 ((0x40, 0xFFA), (0x40000, 0x4)),
1570 ((0x50, 0xFFB), (0x50000, 0x5)),
1571 ]
1572 .into(),
1573 };
Pierre-Clément Tosieacdd0f2024-10-22 16:31:01 +01001574 const HYP_GRANULE: usize = SIZE_4KB;
1575 let device_info =
1576 DeviceAssignmentInfo::parse(fdt, vm_dtbo, &hypervisor, HYP_GRANULE).unwrap().unwrap();
Jaewan Kim51ccfed2023-11-08 13:51:58 +09001577 device_info.filter(vm_dtbo).unwrap();
1578
1579 // SAFETY: Damaged VM DTBO wouldn't be used after this unsafe block.
1580 unsafe {
1581 platform_dt.apply_overlay(vm_dtbo.as_mut()).unwrap();
1582 }
1583 device_info.patch(platform_dt).unwrap();
1584
1585 let expected_devices = [
1586 AssignedDeviceNode {
1587 path: CString::new("/rng").unwrap(),
1588 reg: into_fdt_prop(vec![0x0, 0x9, 0x0, 0xFF]),
1589 interrupts: into_fdt_prop(vec![0x0, 0xF, 0x4]),
Jaewan Kima67e36a2023-11-29 16:50:23 +09001590 iommus: vec![0x4, 0xFF0],
Jaewan Kim51ccfed2023-11-08 13:51:58 +09001591 },
1592 AssignedDeviceNode {
1593 path: CString::new("/light").unwrap(),
Jaewan Kim19b984f2023-12-04 15:16:50 +09001594 reg: into_fdt_prop(vec![0x0, 0x10000, 0x0, 0x1000, 0x0, 0x20000, 0x0, 0x1000]),
Jaewan Kim51ccfed2023-11-08 13:51:58 +09001595 interrupts: into_fdt_prop(vec![0x0, 0xF, 0x5]),
Jaewan Kima67e36a2023-11-29 16:50:23 +09001596 iommus: vec![0x40, 0xFFA, 0x50, 0xFFB],
Jaewan Kim51ccfed2023-11-08 13:51:58 +09001597 },
1598 ];
1599
1600 for expected in expected_devices {
1601 let node = AssignedDeviceNode::parse(platform_dt, &expected.path);
1602 assert_eq!(node, Ok(expected));
1603 }
1604 let pviommus = collect_pviommus(platform_dt);
Jaewan Kima67e36a2023-11-29 16:50:23 +09001605 assert_eq!(pviommus, Ok(vec![0x4, 0x40, 0x50]));
Jaewan Kim51ccfed2023-11-08 13:51:58 +09001606 }
1607
1608 #[test]
1609 fn device_info_iommu_sharing() {
1610 let mut fdt_data = fs::read(FDT_WITH_IOMMU_SHARING).unwrap();
1611 let mut vm_dtbo_data = fs::read(VM_DTBO_FILE_PATH).unwrap();
1612 let fdt = Fdt::from_mut_slice(&mut fdt_data).unwrap();
1613 let vm_dtbo = VmDtbo::from_mut_slice(&mut vm_dtbo_data).unwrap();
1614 let mut platform_dt_data = pvmfw_fdt_template::RAW.to_vec();
1615 platform_dt_data.resize(pvmfw_fdt_template::RAW.len() * 2, 0);
1616 let platform_dt = Fdt::from_mut_slice(&mut platform_dt_data).unwrap();
1617 platform_dt.unpack().unwrap();
1618
Jaewan Kim52477ae2023-11-21 21:20:52 +09001619 let hypervisor = MockHypervisor {
Jaewan Kim19b984f2023-12-04 15:16:50 +09001620 mmio_tokens: [((0x9, 0xFF), 0x12F00000), ((0x1000, 0x9), 0x12000000)].into(),
1621 iommu_tokens: [((0x4, 0xFF0), (0x12E40000, 3)), ((0x4, 0xFF1), (0x12E40000, 9))].into(),
Jaewan Kim52477ae2023-11-21 21:20:52 +09001622 };
Pierre-Clément Tosieacdd0f2024-10-22 16:31:01 +01001623 const HYP_GRANULE: usize = SIZE_4KB;
1624 let device_info =
1625 DeviceAssignmentInfo::parse(fdt, vm_dtbo, &hypervisor, HYP_GRANULE).unwrap().unwrap();
Jaewan Kim51ccfed2023-11-08 13:51:58 +09001626 device_info.filter(vm_dtbo).unwrap();
1627
1628 // SAFETY: Damaged VM DTBO wouldn't be used after this unsafe block.
1629 unsafe {
1630 platform_dt.apply_overlay(vm_dtbo.as_mut()).unwrap();
1631 }
1632 device_info.patch(platform_dt).unwrap();
1633
1634 let expected_devices = [
1635 AssignedDeviceNode {
1636 path: CString::new("/rng").unwrap(),
1637 reg: into_fdt_prop(vec![0x0, 0x9, 0x0, 0xFF]),
1638 interrupts: into_fdt_prop(vec![0x0, 0xF, 0x4]),
Jaewan Kima67e36a2023-11-29 16:50:23 +09001639 iommus: vec![0x4, 0xFF0],
Jaewan Kim51ccfed2023-11-08 13:51:58 +09001640 },
1641 AssignedDeviceNode {
Jaewan Kima67e36a2023-11-29 16:50:23 +09001642 path: CString::new("/led").unwrap(),
Jaewan Kim19b984f2023-12-04 15:16:50 +09001643 reg: into_fdt_prop(vec![0x0, 0x1000, 0x0, 0x9]),
Jaewan Kim51ccfed2023-11-08 13:51:58 +09001644 interrupts: into_fdt_prop(vec![0x0, 0xF, 0x5]),
Jaewan Kim19b984f2023-12-04 15:16:50 +09001645 iommus: vec![0x4, 0xFF1],
Jaewan Kim51ccfed2023-11-08 13:51:58 +09001646 },
1647 ];
1648
1649 for expected in expected_devices {
1650 let node = AssignedDeviceNode::parse(platform_dt, &expected.path);
1651 assert_eq!(node, Ok(expected));
1652 }
1653
1654 let pviommus = collect_pviommus(platform_dt);
Jaewan Kima67e36a2023-11-29 16:50:23 +09001655 assert_eq!(pviommus, Ok(vec![0x4]));
Jaewan Kim51ccfed2023-11-08 13:51:58 +09001656 }
1657
1658 #[test]
1659 fn device_info_iommu_id_conflict() {
1660 let mut fdt_data = fs::read(FDT_WITH_IOMMU_ID_CONFLICT).unwrap();
1661 let mut vm_dtbo_data = fs::read(VM_DTBO_FILE_PATH).unwrap();
1662 let fdt = Fdt::from_mut_slice(&mut fdt_data).unwrap();
1663 let vm_dtbo = VmDtbo::from_mut_slice(&mut vm_dtbo_data).unwrap();
1664
Jaewan Kim52477ae2023-11-21 21:20:52 +09001665 let hypervisor = MockHypervisor {
Jaewan Kim19b984f2023-12-04 15:16:50 +09001666 mmio_tokens: [((0x9, 0xFF), 0x300)].into(),
Jaewan Kim52477ae2023-11-21 21:20:52 +09001667 iommu_tokens: [((0x4, 0xFF0), (0x12E40000, 0x3))].into(),
1668 };
Pierre-Clément Tosieacdd0f2024-10-22 16:31:01 +01001669 const HYP_GRANULE: usize = SIZE_4KB;
1670 let device_info = DeviceAssignmentInfo::parse(fdt, vm_dtbo, &hypervisor, HYP_GRANULE);
Jaewan Kim51ccfed2023-11-08 13:51:58 +09001671
1672 assert_eq!(device_info, Err(DeviceAssignmentError::DuplicatedPvIommuIds));
1673 }
Jaewan Kim52477ae2023-11-21 21:20:52 +09001674
1675 #[test]
1676 fn device_info_invalid_reg() {
1677 let mut fdt_data = fs::read(FDT_FILE_PATH).unwrap();
1678 let mut vm_dtbo_data = fs::read(VM_DTBO_FILE_PATH).unwrap();
1679 let fdt = Fdt::from_mut_slice(&mut fdt_data).unwrap();
1680 let vm_dtbo = VmDtbo::from_mut_slice(&mut vm_dtbo_data).unwrap();
1681
1682 let hypervisor = MockHypervisor {
1683 mmio_tokens: BTreeMap::new(),
1684 iommu_tokens: [((0x4, 0xFF0), (0x12E40000, 0x3))].into(),
1685 };
Pierre-Clément Tosieacdd0f2024-10-22 16:31:01 +01001686 const HYP_GRANULE: usize = SIZE_4KB;
1687 let device_info = DeviceAssignmentInfo::parse(fdt, vm_dtbo, &hypervisor, HYP_GRANULE);
Jaewan Kim52477ae2023-11-21 21:20:52 +09001688
Pierre-Clément Tosif4d8a0d2024-10-25 17:14:15 +01001689 assert_eq!(device_info, Err(DeviceAssignmentError::InvalidReg(0x9)));
Jaewan Kim52477ae2023-11-21 21:20:52 +09001690 }
1691
1692 #[test]
Jaewan Kim19b984f2023-12-04 15:16:50 +09001693 fn device_info_invalid_reg_out_of_order() {
1694 let mut fdt_data = fs::read(FDT_WITH_MULTIPLE_REG_IOMMU_FILE_PATH).unwrap();
1695 let mut vm_dtbo_data = fs::read(VM_DTBO_FILE_PATH).unwrap();
1696 let fdt = Fdt::from_mut_slice(&mut fdt_data).unwrap();
1697 let vm_dtbo = VmDtbo::from_mut_slice(&mut vm_dtbo_data).unwrap();
1698
1699 let hypervisor = MockHypervisor {
1700 mmio_tokens: [((0xF000, 0x1000), 0xF10000), ((0xF100, 0x1000), 0xF00000)].into(),
1701 iommu_tokens: [((0xFF0, 0xF0), (0x40000, 0x4)), ((0xFF1, 0xF1), (0x50000, 0x5))].into(),
1702 };
Pierre-Clément Tosieacdd0f2024-10-22 16:31:01 +01001703 const HYP_GRANULE: usize = SIZE_4KB;
1704 let device_info = DeviceAssignmentInfo::parse(fdt, vm_dtbo, &hypervisor, HYP_GRANULE);
Jaewan Kim19b984f2023-12-04 15:16:50 +09001705
Pierre-Clément Tosif4d8a0d2024-10-25 17:14:15 +01001706 assert_eq!(device_info, Err(DeviceAssignmentError::InvalidRegToken(0xF10000, 0xF00000)));
Jaewan Kim19b984f2023-12-04 15:16:50 +09001707 }
1708
1709 #[test]
Jaewan Kim52477ae2023-11-21 21:20:52 +09001710 fn device_info_invalid_iommus() {
1711 let mut fdt_data = fs::read(FDT_FILE_PATH).unwrap();
1712 let mut vm_dtbo_data = fs::read(VM_DTBO_FILE_PATH).unwrap();
1713 let fdt = Fdt::from_mut_slice(&mut fdt_data).unwrap();
1714 let vm_dtbo = VmDtbo::from_mut_slice(&mut vm_dtbo_data).unwrap();
1715
1716 let hypervisor = MockHypervisor {
1717 mmio_tokens: [((0x9, 0xFF), 0x12F00000)].into(),
1718 iommu_tokens: BTreeMap::new(),
1719 };
Pierre-Clément Tosieacdd0f2024-10-22 16:31:01 +01001720 const HYP_GRANULE: usize = SIZE_4KB;
1721 let device_info = DeviceAssignmentInfo::parse(fdt, vm_dtbo, &hypervisor, HYP_GRANULE);
Jaewan Kim52477ae2023-11-21 21:20:52 +09001722
1723 assert_eq!(device_info, Err(DeviceAssignmentError::InvalidIommus));
1724 }
Jaewan Kim19b984f2023-12-04 15:16:50 +09001725
1726 #[test]
1727 fn device_info_duplicated_pv_iommus() {
1728 let mut fdt_data = fs::read(FDT_WITH_DUPLICATED_PVIOMMUS_FILE_PATH).unwrap();
1729 let mut vm_dtbo_data = fs::read(VM_DTBO_FILE_PATH).unwrap();
1730 let fdt = Fdt::from_mut_slice(&mut fdt_data).unwrap();
1731 let vm_dtbo = VmDtbo::from_mut_slice(&mut vm_dtbo_data).unwrap();
1732
1733 let hypervisor = MockHypervisor {
1734 mmio_tokens: [((0x10000, 0x1000), 0xF00000), ((0x20000, 0xFF), 0xF10000)].into(),
1735 iommu_tokens: [((0xFF, 0xF), (0x40000, 0x4))].into(),
1736 };
Pierre-Clément Tosieacdd0f2024-10-22 16:31:01 +01001737 const HYP_GRANULE: usize = SIZE_4KB;
1738 let device_info = DeviceAssignmentInfo::parse(fdt, vm_dtbo, &hypervisor, HYP_GRANULE);
Jaewan Kim19b984f2023-12-04 15:16:50 +09001739
1740 assert_eq!(device_info, Err(DeviceAssignmentError::DuplicatedPvIommuIds));
1741 }
1742
1743 #[test]
1744 fn device_info_duplicated_iommus() {
1745 let mut fdt_data = fs::read(FDT_FILE_PATH).unwrap();
1746 let mut vm_dtbo_data = fs::read(VM_DTBO_WITH_DUPLICATED_IOMMUS_FILE_PATH).unwrap();
1747 let fdt = Fdt::from_mut_slice(&mut fdt_data).unwrap();
1748 let vm_dtbo = VmDtbo::from_mut_slice(&mut vm_dtbo_data).unwrap();
1749
1750 let hypervisor = MockHypervisor {
1751 mmio_tokens: [((0x10000, 0x1000), 0xF00000), ((0x20000, 0xFF), 0xF10000)].into(),
1752 iommu_tokens: [((0xFF, 0xF), (0x40000, 0x4))].into(),
1753 };
Pierre-Clément Tosieacdd0f2024-10-22 16:31:01 +01001754 const HYP_GRANULE: usize = SIZE_4KB;
1755 let device_info = DeviceAssignmentInfo::parse(fdt, vm_dtbo, &hypervisor, HYP_GRANULE);
Jaewan Kim19b984f2023-12-04 15:16:50 +09001756
1757 assert_eq!(device_info, Err(DeviceAssignmentError::UnsupportedIommusDuplication));
1758 }
1759
1760 #[test]
1761 fn device_info_duplicated_iommu_mapping() {
1762 let mut fdt_data = fs::read(FDT_WITH_MULTIPLE_REG_IOMMU_FILE_PATH).unwrap();
1763 let mut vm_dtbo_data = fs::read(VM_DTBO_FILE_PATH).unwrap();
1764 let fdt = Fdt::from_mut_slice(&mut fdt_data).unwrap();
1765 let vm_dtbo = VmDtbo::from_mut_slice(&mut vm_dtbo_data).unwrap();
1766
1767 let hypervisor = MockHypervisor {
1768 mmio_tokens: [((0xF000, 0x1000), 0xF00000), ((0xF100, 0x1000), 0xF10000)].into(),
1769 iommu_tokens: [((0xFF0, 0xF0), (0x40000, 0x4)), ((0xFF1, 0xF1), (0x40000, 0x4))].into(),
1770 };
Pierre-Clément Tosieacdd0f2024-10-22 16:31:01 +01001771 const HYP_GRANULE: usize = SIZE_4KB;
1772 let device_info = DeviceAssignmentInfo::parse(fdt, vm_dtbo, &hypervisor, HYP_GRANULE);
Jaewan Kim19b984f2023-12-04 15:16:50 +09001773
1774 assert_eq!(device_info, Err(DeviceAssignmentError::InvalidIommus));
1775 }
Jaewan Kim50246682024-03-11 23:18:54 +09001776
1777 #[test]
Pierre-Clément Tosi49e26ce2024-03-12 16:31:50 +00001778 fn device_info_overlaps_pvmfw() {
1779 let mut fdt_data = fs::read(FDT_WITH_DEVICE_OVERLAPPING_PVMFW).unwrap();
1780 let mut vm_dtbo_data = fs::read(VM_DTBO_FILE_PATH).unwrap();
1781 let fdt = Fdt::from_mut_slice(&mut fdt_data).unwrap();
1782 let vm_dtbo = VmDtbo::from_mut_slice(&mut vm_dtbo_data).unwrap();
1783
1784 let hypervisor = MockHypervisor {
1785 mmio_tokens: [((0x7fee0000, 0x1000), 0xF00000)].into(),
1786 iommu_tokens: [((0xFF, 0xF), (0x40000, 0x4))].into(),
1787 };
Pierre-Clément Tosieacdd0f2024-10-22 16:31:01 +01001788 const HYP_GRANULE: usize = SIZE_4KB;
1789 let device_info = DeviceAssignmentInfo::parse(fdt, vm_dtbo, &hypervisor, HYP_GRANULE);
Pierre-Clément Tosi49e26ce2024-03-12 16:31:50 +00001790
Pierre-Clément Tosif4d8a0d2024-10-25 17:14:15 +01001791 assert_eq!(device_info, Err(DeviceAssignmentError::InvalidReg(0x7fee0000)));
Pierre-Clément Tosi49e26ce2024-03-12 16:31:50 +00001792 }
1793
1794 #[test]
Jaewan Kim50246682024-03-11 23:18:54 +09001795 fn device_assignment_clean() {
1796 let mut platform_dt_data = pvmfw_fdt_template::RAW.to_vec();
1797 let platform_dt = Fdt::from_mut_slice(&mut platform_dt_data).unwrap();
1798
Alan Stokesf46a17c2025-01-05 15:50:18 +00001799 let compatible = platform_dt.root().next_compatible(c"pkvm,pviommu");
Jaewan Kim50246682024-03-11 23:18:54 +09001800 assert_ne!(None, compatible.unwrap());
1801
1802 clean(platform_dt).unwrap();
1803
Alan Stokesf46a17c2025-01-05 15:50:18 +00001804 let compatible = platform_dt.root().next_compatible(c"pkvm,pviommu");
Jaewan Kim50246682024-03-11 23:18:54 +09001805 assert_eq!(Ok(None), compatible);
1806 }
Jaewan Kim8f6f4662023-12-12 17:38:47 +09001807
1808 #[test]
1809 fn device_info_dependency() {
1810 let mut fdt_data = fs::read(FDT_WITH_DEPENDENCY_FILE_PATH).unwrap();
1811 let mut vm_dtbo_data = fs::read(VM_DTBO_WITH_DEPENDENCIES_FILE_PATH).unwrap();
1812 let fdt = Fdt::from_mut_slice(&mut fdt_data).unwrap();
1813 let vm_dtbo = VmDtbo::from_mut_slice(&mut vm_dtbo_data).unwrap();
1814 let mut platform_dt_data = pvmfw_fdt_template::RAW.to_vec();
1815 platform_dt_data.resize(pvmfw_fdt_template::RAW.len() * 2, 0);
1816 let platform_dt = Fdt::from_mut_slice(&mut platform_dt_data).unwrap();
1817 platform_dt.unpack().unwrap();
1818
1819 let hypervisor = MockHypervisor {
1820 mmio_tokens: [((0xFF000, 0x1), 0xF000)].into(),
1821 iommu_tokens: Default::default(),
1822 };
1823
Pierre-Clément Tosieacdd0f2024-10-22 16:31:01 +01001824 const HYP_GRANULE: usize = SIZE_4KB;
1825 let device_info =
1826 DeviceAssignmentInfo::parse(fdt, vm_dtbo, &hypervisor, HYP_GRANULE).unwrap().unwrap();
Jaewan Kim8f6f4662023-12-12 17:38:47 +09001827 device_info.filter(vm_dtbo).unwrap();
1828
1829 // SAFETY: Damaged VM DTBO wouldn't be used after this unsafe block.
1830 unsafe {
1831 platform_dt.apply_overlay(vm_dtbo.as_mut()).unwrap();
1832 }
1833 device_info.patch(platform_dt).unwrap();
1834
1835 let expected = Dts::from_dtb(Path::new(EXPECTED_FDT_WITH_DEPENDENCY_FILE_PATH)).unwrap();
1836 let platform_dt = Dts::from_fdt(platform_dt).unwrap();
1837
1838 assert_eq!(expected, platform_dt);
1839 }
1840
1841 #[test]
1842 fn device_info_multiple_dependencies() {
1843 let mut fdt_data = fs::read(FDT_WITH_MULTIPLE_DEPENDENCIES_FILE_PATH).unwrap();
1844 let mut vm_dtbo_data = fs::read(VM_DTBO_WITH_DEPENDENCIES_FILE_PATH).unwrap();
1845 let fdt = Fdt::from_mut_slice(&mut fdt_data).unwrap();
1846 let vm_dtbo = VmDtbo::from_mut_slice(&mut vm_dtbo_data).unwrap();
1847 let mut platform_dt_data = pvmfw_fdt_template::RAW.to_vec();
1848 platform_dt_data.resize(pvmfw_fdt_template::RAW.len() * 2, 0);
1849 let platform_dt = Fdt::from_mut_slice(&mut platform_dt_data).unwrap();
1850 platform_dt.unpack().unwrap();
1851
1852 let hypervisor = MockHypervisor {
1853 mmio_tokens: [((0xFF000, 0x1), 0xF000), ((0xFF100, 0x1), 0xF100)].into(),
1854 iommu_tokens: Default::default(),
1855 };
Pierre-Clément Tosieacdd0f2024-10-22 16:31:01 +01001856 const HYP_GRANULE: usize = SIZE_4KB;
1857 let device_info =
1858 DeviceAssignmentInfo::parse(fdt, vm_dtbo, &hypervisor, HYP_GRANULE).unwrap().unwrap();
Jaewan Kim8f6f4662023-12-12 17:38:47 +09001859 device_info.filter(vm_dtbo).unwrap();
1860
1861 // SAFETY: Damaged VM DTBO wouldn't be used after this unsafe block.
1862 unsafe {
1863 platform_dt.apply_overlay(vm_dtbo.as_mut()).unwrap();
1864 }
1865 device_info.patch(platform_dt).unwrap();
1866
1867 let expected =
1868 Dts::from_dtb(Path::new(EXPECTED_FDT_WITH_MULTIPLE_DEPENDENCIES_FILE_PATH)).unwrap();
1869 let platform_dt = Dts::from_fdt(platform_dt).unwrap();
1870
1871 assert_eq!(expected, platform_dt);
1872 }
1873
1874 #[test]
1875 fn device_info_dependency_loop() {
1876 let mut fdt_data = fs::read(FDT_WITH_DEPENDENCY_LOOP_FILE_PATH).unwrap();
1877 let mut vm_dtbo_data = fs::read(VM_DTBO_WITH_DEPENDENCIES_FILE_PATH).unwrap();
1878 let fdt = Fdt::from_mut_slice(&mut fdt_data).unwrap();
1879 let vm_dtbo = VmDtbo::from_mut_slice(&mut vm_dtbo_data).unwrap();
1880 let mut platform_dt_data = pvmfw_fdt_template::RAW.to_vec();
1881 platform_dt_data.resize(pvmfw_fdt_template::RAW.len() * 2, 0);
1882 let platform_dt = Fdt::from_mut_slice(&mut platform_dt_data).unwrap();
1883 platform_dt.unpack().unwrap();
1884
1885 let hypervisor = MockHypervisor {
1886 mmio_tokens: [((0xFF200, 0x1), 0xF200)].into(),
1887 iommu_tokens: Default::default(),
1888 };
Pierre-Clément Tosieacdd0f2024-10-22 16:31:01 +01001889 const HYP_GRANULE: usize = SIZE_4KB;
1890 let device_info =
1891 DeviceAssignmentInfo::parse(fdt, vm_dtbo, &hypervisor, HYP_GRANULE).unwrap().unwrap();
Jaewan Kim8f6f4662023-12-12 17:38:47 +09001892 device_info.filter(vm_dtbo).unwrap();
1893
1894 // SAFETY: Damaged VM DTBO wouldn't be used after this unsafe block.
1895 unsafe {
1896 platform_dt.apply_overlay(vm_dtbo.as_mut()).unwrap();
1897 }
1898 device_info.patch(platform_dt).unwrap();
1899
1900 let expected =
1901 Dts::from_dtb(Path::new(EXPECTED_FDT_WITH_DEPENDENCY_LOOP_FILE_PATH)).unwrap();
1902 let platform_dt = Dts::from_fdt(platform_dt).unwrap();
1903
1904 assert_eq!(expected, platform_dt);
1905 }
Jaewan Kimc6e023b2023-10-12 15:11:05 +09001906}