Merge pull request #29 from AlanStokes/main

Mark page tables as Send
google · Jun 12, 2023 · c6db6ff · c6db6ff
2 parents 346ea66 + 02ed6dd
commit c6db6ff
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/src/paging.rs b/src/paging.rs
@@ -424,6 +424,10 @@ struct PageTableWithLevel<T: Translation> {
     _translation: PhantomData<T>,
 }
 
+// SAFETY: The underlying PageTable is process-wide and can be safely accessed from any thread
+// with appropriate synchronization. This type manages ownership for the raw pointer.
+unsafe impl<T: Translation + Send> Send for PageTableWithLevel<T> {}
+
 impl<T: Translation> PageTableWithLevel<T> {
     /// Allocates a new, zeroed, appropriately-aligned page table with the given translation,
     /// returning both a pointer to it and its physical address.