Make style more consistent

Signed-off-by: Nick Spinale <[email protected]>
seL4 · Mar 5, 2024 · 27da487 · 27da487
1 parent d3d17cb
commit 27da487
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 5 deletions.
diff --git a/crates/sel4-capdl-initializer/core/src/arch.rs b/crates/sel4-capdl-initializer/core/src/arch.rs
@@ -6,7 +6,7 @@
 
 use sel4::{sel4_cfg, SizedFrameType};
 
-#[sel4_cfg(any(ARCH_AARCH32, ARCH_AARCH64))]
+#[sel4_cfg(any(ARCH_AARCH64, ARCH_AARCH32))]
 mod imp {
     use sel4::{cap_type, sel4_cfg};
 
@@ -53,7 +53,7 @@ mod imp {
     }
 }
 
-#[sel4_cfg(any(ARCH_RISCV32, ARCH_RISCV64))]
+#[sel4_cfg(any(ARCH_RISCV64, ARCH_RISCV32))]
 mod imp {
     use sel4::cap_type;
 

diff --git a/crates/sel4-capdl-initializer/core/src/lib.rs b/crates/sel4-capdl-initializer/core/src/lib.rs
@@ -336,7 +336,7 @@ impl<'a, N: ObjectName, D: Content, M: GetEmbeddedFrame, B: BorrowMut<[PerObject
                             init_thread::slot::IRQ_CONTROL.cap()
                                 .irq_control_get(*irq, &cslot_to_relative_cptr(slot))?;
                         }
-                        #[sel4_cfg(any(ARCH_AARCH32, ARCH_AARCH64))]
+                        #[sel4_cfg(any(ARCH_AARCH64, ARCH_AARCH32))]
                         Object::ArmIrq(obj) => {
                             sel4::sel4_cfg_if! {
                                 if #[sel4_cfg(MAX_NUM_NODES = "1")] {

diff --git a/crates/sel4/src/arch/mod.rs b/crates/sel4/src/arch/mod.rs
@@ -13,10 +13,10 @@ use sel4_config::sel4_cfg_if;
 //   - ARCH_X86
 
 sel4_cfg_if! {
-    if #[sel4_cfg(any(ARCH_AARCH32, ARCH_AARCH64))] {
+    if #[sel4_cfg(any(ARCH_AARCH64, ARCH_AARCH32))] {
         #[path = "arm/mod.rs"]
         mod imp;
-    } else if #[sel4_cfg(any(ARCH_RISCV32, ARCH_RISCV64))] {
+    } else if #[sel4_cfg(any(ARCH_RISCV64, ARCH_RISCV32))] {
         #[path = "riscv/mod.rs"]
         mod imp;
     } else if #[sel4_cfg(ARCH_X86_64)] {