metta-systems
/
vesper
1
1
Fork 0
Code Issues 2 Pull Requests Releases Wiki Activity

wip comment out some code

This commit is contained in:
Berkus Decker 2020-12-13 22:30:58 +02:00
parent caa1929a0f
commit 8dc3586b55
1 changed files with 7 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
nucleus/src/caps/captable.rs
View File

@ -2,7 +2,7 @@
* SPDX-License-Identifier: BlueOak-1.0.0 * 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). --? // * Capability slots: 16 bytes of memory per slot (exactly one capability). --?
// CapNode describes `a given number of capability slots` with `a given guard` // 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. // @fixme this cannot work well unless we modify already allocated cap table entry in the table.
// (otherwise Next pointer will be invalid) // (otherwise Next pointer will be invalid)
// sel4: cteInsert() // sel4: cteInsert()
fn derived_from(&mut self, parent: &mut CapTableEntry) { fn derived_from(&mut self, _parent: &mut CapTableEntry) {
self.derivation // self.derivation
.set_prev(&parent as *const CapTableEntry as PhysAddr); // .set_prev(parent as *mut CapTableEntry as PhysAddr);
parent.set_next(&self as *const CapTableEntry); // parent
// .derivation
// .set_next(self as *mut CapTableEntry as PhysAddr);
} }
} }