add ipi-related stubs to dummy platform

Author: aarkegz

modules/axhal/src/platform/dummy/mod.rs

@@ -87,6 +87,15 @@ pub mod irq {
     pub fn fetch_irq() -> usize {
         0
     }
+
+    #[cfg(feature = "ipi")]
+    pub const IPI_IRQ_NUM: usize = 0;
+
+    #[cfg(feature = "ipi")]
+    pub fn send_sgi_one(dest_cpu: usize, irq_num: usize) {}
+
+    #[cfg(feature = "ipi")]
+    pub fn send_sgi_all(irq_num: usize) {}
 }
 
 /// Initializes the platform devices for the primary CPU.

modules/axipi/Cargo.toml

@@ -19,5 +19,5 @@ lazyinit = { version = "0.2" }
 percpu = { version = "0.1.6" }
 kspin = { version = "0.1" }
 
-axhal = { workspace = true }
+axhal = { workspace = true, features = ["ipi"] }
 axconfig = { workspace = true }