formatted

Author: aarkegz

src/arch.rs

@@ -27,10 +27,10 @@ pub trait ArchIf {
     #[cfg(target_arch = "aarch64")]
     fn fetch_irq() -> u64;
     /// Calls the IRQ handler of the underlying OS to handle a pending interrupt.
-    /// 
+    ///
     /// TODO: Determine if this function should be exposed in other architectures (and moved to
     /// `host` module) or remain architecture-specific.
-    /// 
+    ///
     /// TODO: Consider whether this function should replace `AxVCpuExitReason::ExternalInterrupt`.
     #[cfg(target_arch = "aarch64")]
     fn handle_irq();