1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63
// Copyright (c) Microsoft Corporation.
// Licensed under the MIT License.
// UNSAFETY: Declaring unsafe trait functions for manual memory management.
#![allow(unsafe_code)]
/// Trait for mapping process memory into a partition.
pub trait PartitionMemoryMap: Send + Sync {
/// Unmaps any ranges in the given guest physical address range.
///
/// The specified range may overlap zero, one, or many ranges mapped with
/// `map_range`. Any overlapped ranges must be completely contained in the
/// specified range.
///
/// The hypervisor must ensure that this operation does not fail as long as
/// the preconditions are satisfied.
fn unmap_range(&self, addr: u64, size: u64) -> Result<(), anyhow::Error>;
/// Maps a range from process memory into the VM.
///
/// This may fail if the range overlaps any other mapped range.
///
/// # Safety
/// The caller must ensure that the VA region (data..data+size) is not
/// reused for the lifetime of this mapping.
unsafe fn map_range(
&self,
data: *mut u8,
size: usize,
addr: u64,
writable: bool,
exec: bool,
) -> Result<(), anyhow::Error>;
/// Prefetches any memory in the given range so that it can be accessed
/// quickly by the partition without exits.
fn prefetch_range(&self, _addr: u64, _size: u64) -> Result<(), anyhow::Error> {
Ok(())
}
/// Pins a range in memory so that it can be accessed by assigned devices.
fn pin_range(&self, _addr: u64, _size: u64) -> Result<(), anyhow::Error> {
Ok(())
}
/// Maps a range residing in a remote process.
///
/// This may fail if the range overlaps any other mapped range.
///
/// # Safety
/// The caller must ensure that the VA region (data..data+size) within
/// `process` is not reused for the lifetime of this mapping.
#[cfg(windows)]
unsafe fn map_remote_range(
&self,
process: std::os::windows::io::BorrowedHandle<'_>,
data: *mut u8,
size: usize,
addr: u64,
writable: bool,
exec: bool,
) -> Result<(), anyhow::Error>;
}