File tree Expand file tree Collapse file tree
hyperlight_common/src/arch/amd64
hyperlight_host/src/sandbox Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -265,6 +265,7 @@ unsafe fn map_page<
265265/// 2. PDPT (38:30) - allocate PD if needed
266266/// 3. PD (29:21) - allocate PT if needed
267267/// 4. PT (20:12) - write final PTE with physical address and flags
268+ ///
268269/// Multi-space page-table walking on amd64: walks each root
269270/// independently and emits all leaves as `ThisSpace`. Aliased
270271/// intermediate-table detection is not implemented — no current
Original file line number Diff line number Diff line change @@ -128,6 +128,8 @@ impl hyperlight_common::vmem::TableReadOps for Snapshot {
128128 // care about presently) will be a not-present entry.
129129 return 0 ;
130130 } ;
131+ // The `get()` above ensures exactly PTE_SIZE bytes.
132+ #[ allow( clippy:: unwrap_used) ]
131133 vmem:: PageTableEntry :: from_le_bytes ( pte_bytes. try_into ( ) . unwrap ( ) )
132134 }
133135 #[ allow( clippy:: unnecessary_cast) ]
@@ -223,6 +225,8 @@ impl<'a> hyperlight_common::vmem::TableReadOps for SharedMemoryPageTableBuffer<'
223225 // care about presently) will be a not-present entry.
224226 return 0 ;
225227 } ;
228+ // The `get()` above ensures exactly PTE_SIZE bytes.
229+ #[ allow( clippy:: unwrap_used) ]
226230 vmem:: PageTableEntry :: from_le_bytes ( pte_bytes. try_into ( ) . unwrap ( ) )
227231 }
228232 #[ allow( clippy:: unnecessary_cast) ]
You can’t perform that action at this time.
0 commit comments