//! Guest address coordinates consumed by CPU translation instructions.
def_usize_addr!
def_usize_addr_formatter!
/// An owning lease over stable, physically contiguous hardware control storage.
///
/// The host allocates the storage and supplies this lease. CPU code knows only
/// its addresses and size; allocation, direct-map policy and accounting remain
/// with the host. A successfully retired control object returns its lease.
///
/// # Safety
/// The addresses must identify the same exclusive, initialized, writable range
/// for the lease's entire lifetime. The mapping must be coherent write-back
/// memory suitable for CPU control structures. Address and size methods must
/// return stable values, and no other owner may access or reuse the range while
/// leased. Forgetting the lease must keep the backing allocation and mapping
/// alive: a borrowed slice whose owner can subsequently free it is insufficient.
/// This permits retaining memory if hardware retirement fails.
pub unsafe