Skip to content

Commit 049d216

Browse files
authored
doc: fix vm_space doc (#334)
1 parent 5e9f612 commit 049d216

2 files changed

Lines changed: 2 additions & 2 deletions

File tree

ostd/specs/mm/vm_space.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -352,7 +352,7 @@ impl<'a> VmSpaceOwner<'a> {
352352
/// # Verified Properties
353353
/// ## Preconditions
354354
/// - The [`VmSpace`] invariants must hold with respect to the [`VmSpaceOwner`], which must be active.
355-
/// - The writer must be well-formed with respect to the `[VmSpaceOwner`].
355+
/// - The writer must be well-formed with respect to the [`VmSpaceOwner`].
356356
/// - The writer's virtual address range must be mapped within the [`VmSpaceOwner`]'s memory view.
357357
/// ## Postconditions
358358
/// - The writer will be added to the [`VmSpace`]'s writers list.

ostd/src/mm/vm_space.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -205,7 +205,7 @@ impl<'a> VmSpace<'a> {
205205
/// The newly created instance of [`VmReader`] and its associated [`VmIoOwner`] are not yet
206206
/// activated, so the guarantees about the memory view only require that the memory view is
207207
/// [`None`]. The guarantees about the memory view will be provided by the activation function
208-
/// (see [`Self::activate_reader`] and [`Self::activate_writer`]).
208+
/// (see [`VmSpaceOwner::activate_reader`] and [`VmSpaceOwner::activate_writer`]).
209209
///
210210
/// We avoid mixing the creation, usage and deletion into one giant function as this would
211211
/// create some unnecessary life-cycle management complexities and not really help with the

0 commit comments

Comments
 (0)