unpause domain so domain can run during boot

2025-08-05 14:11:32 +00:00 · 2024-01-17 01:41:17 -08:00
parent 5c1bb3d8fc
commit 6ca61410ad
7 changed files with 68 additions and 8 deletions
--- a/xencall/src/sys.rs
+++ b/xencall/src/sys.rs
@ -496,3 +496,11 @@ pub struct MmuExtOp {
 }

 pub const MMUEXT_PIN_L4_TABLE: u32 = 3;
+
+#[repr(C)]
+#[derive(Debug, Copy, Clone)]
+pub struct EvtChnAllocUnbound {
+    pub dom: u16,
+    pub remote_dom: u16,
+    pub port: u32,
+}