crates/sel4-microkit: Suppress warnings in macro expansions

Signed-off-by: Nick Spinale <[email protected]>
seL4 · Oct 7, 2024 · 6dd5dd0 · 6dd5dd0
1 parent 2312360
commit 6dd5dd0
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/crates/sel4-microkit/base/src/symbols.rs b/crates/sel4-microkit/base/src/symbols.rs
@@ -12,6 +12,7 @@ macro_rules! var {
     ($(#[$attrs:meta])* $symbol:ident: $ty:ty = $default:expr) => {{
         use $crate::_private::ImmutableCell;
 
+        #[allow(non_upper_case_globals)]
         $(#[$attrs])*
         #[no_mangle]
         #[link_section = ".data"]

diff --git a/crates/sel4-microkit/src/entry.rs b/crates/sel4-microkit/src/entry.rs
@@ -54,6 +54,7 @@ extern "C" {
 #[macro_export]
 macro_rules! declare_init {
     ($init:expr) => {
+        #[allow(non_snake_case)]
         #[no_mangle]
         fn __sel4_microkit__main() -> ! {
             $crate::_private::run_main($init);