From 8dc3586b55b95b0e7b815cd94188eef60b8dd551 Mon Sep 17 00:00:00 2001 From: Berkus Decker Date: Sun, 13 Dec 2020 22:30:58 +0200 Subject: [PATCH] wip comment out some code --- nucleus/src/caps/captable.rs | 12 +++++++----- 1 file changed, 7 insertions(+), 5 deletions(-) diff --git a/nucleus/src/caps/captable.rs b/nucleus/src/caps/captable.rs index 8d119c0..c6a247d 100644 --- a/nucleus/src/caps/captable.rs +++ b/nucleus/src/caps/captable.rs @@ -2,7 +2,7 @@ * SPDX-License-Identifier: BlueOak-1.0.0 */ -use {super::derivation_tree::DerivationTreeNode, crate::memory::PhysAddr, core::fmt}; +use {super::derivation_tree::DerivationTreeNode, /*crate::memory::PhysAddr,*/ core::fmt}; // * Capability slots: 16 bytes of memory per slot (exactly one capability). --? // CapNode describes `a given number of capability slots` with `a given guard` @@ -53,10 +53,12 @@ impl CapTableEntry { // @fixme this cannot work well unless we modify already allocated cap table entry in the table. // (otherwise Next pointer will be invalid) // sel4: cteInsert() - fn derived_from(&mut self, parent: &mut CapTableEntry) { - self.derivation - .set_prev(&parent as *const CapTableEntry as PhysAddr); - parent.set_next(&self as *const CapTableEntry); + fn derived_from(&mut self, _parent: &mut CapTableEntry) { + // self.derivation + // .set_prev(parent as *mut CapTableEntry as PhysAddr); + // parent + // .derivation + // .set_next(self as *mut CapTableEntry as PhysAddr); } }