1// SPDX-License-Identifier: MPL-2.0 2 3//! Guest execution and physical memory management. 4 5pub mod gpm_space; 6 7pub use gpm_space::GuestPhysMemSpace; 8 9/// A guest physical address. 10pub type Gpaddr = usize;