diff --git a/arch/cortex-m/src/lib.rs b/arch/cortex-m/src/lib.rs index 1a3d9e059b..700b9beefa 100644 --- a/arch/cortex-m/src/lib.rs +++ b/arch/cortex-m/src/lib.rs @@ -13,7 +13,9 @@ use core::fmt::Write; #[cfg(all(target_arch = "arm", target_os = "none"))] use core::arch::global_asm; +#[flux::ignore] pub mod dcb; +#[flux::ignore] pub mod dwt; pub mod mpu; #[flux::ignore] diff --git a/kernel/src/kernel.rs b/kernel/src/kernel.rs index f4b5b7da2a..05f93064f4 100644 --- a/kernel/src/kernel.rs +++ b/kernel/src/kernel.rs @@ -34,6 +34,7 @@ use crate::syscall::{Syscall, YieldCall}; use crate::syscall_driver::CommandReturn; use crate::upcall::{Upcall, UpcallId}; use crate::utilities::cells::NumericCellExt; +use flux_support::*; /// Threshold in microseconds to consider a process's timeslice to be exhausted. /// That is, Tock will skip re-scheduling a process if its remaining timeslice @@ -838,7 +839,7 @@ impl Kernel { // process's memory exist. We do not have a reference, // so we can safely call `set_byte()`. unsafe { - let address = param_a as *mut u8; + let address = param_a.as_fluxptr(); process.set_byte(address, has_tasks as u8); }