irq_control_get_trigger: change trigger to bool

Signed-off-by: Alwin Joshy <[email protected]>
seL4 · Jul 16, 2024 · ba43acb · ba43acb
1 parent 76034e5
commit ba43acb
Showing 1 changed file with 4 additions and 4 deletions.
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(),