irq_control_get_trigger: change trigger to bool

Signed-off-by: Alwin Joshy <joshyalwin@gmail.com>
seL4 · Jul 17, 2024 · 0a5faea · 0a5faea
1 parent 76034e5
commit 0a5faea
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 5 deletions.
diff --git a/crates/sel4-capdl-initializer/types/src/spec.rs b/crates/sel4-capdl-initializer/types/src/spec.rs
@@ -229,7 +229,7 @@ pub mod object {
     #[derive(Debug, Clone, Eq, PartialEq)]
     #[cfg_attr(feature = "serde", derive(Serialize, Deserialize))]
     pub struct ArmIrqExtraInfo {
-        pub trigger: Word,
+        pub trigger: bool,
         pub target: Word,
     }
 

diff --git a/crates/sel4/src/arch/arm/invocations.rs b/crates/sel4/src/arch/arm/invocations.rs
@@ -145,15 +145,15 @@ impl<C: InvocationContext> IrqControl<C> {
     pub fn irq_control_get_trigger_core(
         self,
         irq: Word,
-        trigger: Word,
+        edge_triggered: bool,
         target: Word,
         dst: &AbsoluteCPtr,
     ) -> Result<()> {
         Error::wrap(self.invoke(|cptr, ipc_buffer| {
             ipc_buffer.inner_mut().seL4_IRQControl_GetTriggerCore(
                 cptr.bits(),
                 irq,
-                trigger,
+                edge_triggered.into(),
                 dst.root().bits(),
                 dst.path().bits(),
                 dst.path().depth_for_kernel(),
@@ -166,14 +166,14 @@ impl<C: InvocationContext> IrqControl<C> {
     pub fn irq_control_get_trigger(
         self,
         irq: Word,
-        trigger: Word,
+        edge_triggered: bool,
         dst: &AbsoluteCPtr,
     ) -> Result<()> {
         Error::wrap(self.invoke(|cptr, ipc_buffer| {
             ipc_buffer.inner_mut().seL4_IRQControl_GetTrigger(
                 cptr.bits(),
                 irq,
-                trigger,
+                edge_triggered.into(),
                 dst.root().bits(),
                 dst.path().bits(),
                 dst.path().depth_for_kernel(),