On Thu, 13 Feb 2025 11:04:01 +0000 Alice Ryhl <aliceryhl@xxxxxxxxxx> wrote: > This adds a type called VmaRef which is used when referencing a vma that > you have read access to. Here, read access means that you hold either > the mmap read lock or the vma read lock (or stronger). > > Additionally, a vma_lookup method is added to the mmap read guard, which > enables you to obtain a &VmaRef in safe Rust code. > > This patch only provides a way to lock the mmap read lock, but a > follow-up patch also provides a way to just lock the vma read lock. > > Acked-by: Lorenzo Stoakes <lorenzo.stoakes@xxxxxxxxxx> > Reviewed-by: Jann Horn <jannh@xxxxxxxxxx> > Reviewed-by: Andreas Hindborg <a.hindborg@xxxxxxxxxx> > Signed-off-by: Alice Ryhl <aliceryhl@xxxxxxxxxx> Reviewed-by: Gary Guo <gary@xxxxxxxxxxx> > --- > rust/helpers/mm.c | 6 ++ > rust/kernel/mm.rs | 23 ++++++ > rust/kernel/mm/virt.rs | 210 +++++++++++++++++++++++++++++++++++++++++++++++++ > 3 files changed, 239 insertions(+)