Address warnings

Signed-off-by: Nick Spinale <[email protected]>
seL4 · Feb 29, 2024 · 13ade5e · 13ade5e
1 parent ae1fe8b
commit 13ade5e
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/crates/sel4-initialize-tls/src/lib.rs b/crates/sel4-initialize-tls/src/lib.rs
@@ -77,14 +77,15 @@ impl TlsImage {
         Layout::from_size_align(self.memsz, self.align).unwrap()
     }
 
+    #[allow(clippy::missing_safety_doc)]
     pub unsafe fn initialize_tls_reservation(&self, tls_reservation_start: *mut u8) {
         let reservation_layout = self.reservation_layout();
 
         let image_data_window = slice::from_raw_parts(self.vaddr as *mut u8, self.filesz);
 
         let segment_start =
             tls_reservation_start.wrapping_byte_add(reservation_layout.segment_offset());
-        let segment_window = slice::from_raw_parts_mut(segment_start as *mut u8, self.memsz);
+        let segment_window = slice::from_raw_parts_mut(segment_start, self.memsz);
         let (tdata, tbss) = segment_window.split_at_mut(self.filesz);
 
         tdata.copy_from_slice(image_data_window);

diff --git a/crates/sel4-runtime-common/src/lib.rs b/crates/sel4-runtime-common/src/lib.rs
@@ -29,6 +29,7 @@ mod unwinding;
 #[cfg(all(feature = "unwinding", panic = "unwind"))]
 pub use self::unwinding::set_eh_frame_finder;
 
+#[allow(dead_code)]
 pub(crate) fn locate_phdrs() -> &'static [ProgramHeader] {
     extern "C" {
         static __ehdr_start: ElfHeader;