Skip to content

Commit

Permalink
no more unexpected evar
Browse files Browse the repository at this point in the history
  • Loading branch information
enjhnsn2 committed Nov 25, 2024
1 parent 499dbf2 commit 6a6183a
Show file tree
Hide file tree
Showing 2 changed files with 0 additions and 5 deletions.
2 changes: 0 additions & 2 deletions kernel/src/debug.rs
Original file line number Diff line number Diff line change
Expand Up @@ -324,7 +324,6 @@ pub unsafe fn set_debug_queue(buffer: &'static mut DebugQueueWrapper) {
DEBUG_QUEUE = Some(buffer);
}

#[flux_rs::trusted] // unexpected Evar
impl Write for DebugQueueWrapper {
fn write_str(&mut self, s: &str) -> Result {
self.dw.map(|dw| {
Expand Down Expand Up @@ -455,7 +454,6 @@ impl DebugWriter {

/// Write as many of the bytes from the internal_buffer to the output
/// mechanism as possible, returning the number written.
#[flux_rs::trusted] // unexpected Evar
fn publish_bytes(&self) -> usize {
// Can only publish if we have the output_buffer. If we don't that is
// fine, we will do it when the transmit done callback happens.
Expand Down
3 changes: 0 additions & 3 deletions kernel/src/process_standard.rs
Original file line number Diff line number Diff line change
Expand Up @@ -280,7 +280,6 @@ impl<C: Chip> Process for ProcessStandard<'_, C> {
self.credential
}

#[flux_rs::trusted] // Unexpected Evar
fn enqueue_task(&self, task: Task) -> Result<(), ErrorCode> {
// If this app is in a `Fault` state then we shouldn't schedule
// any work for it.
Expand Down Expand Up @@ -489,12 +488,10 @@ impl<C: Chip> Process for ProcessStandard<'_, C> {
self.tasks.map_or(false, |tasks| tasks.has_elements())
}

#[flux_rs::trusted] // Unexpected evar
fn dequeue_task(&self) -> Option<Task> {
self.tasks.map_or(None, |tasks| tasks.dequeue())
}

#[flux_rs::trusted] // unexpected evar
fn remove_upcall(&self, upcall_id: UpcallId) -> Option<Task> {
self.tasks.map_or(None, |tasks| {
tasks.remove_first_matching(|task| match task {
Expand Down

0 comments on commit 6a6183a

Please sign in to comment.