Method empty

security-monitor/src/core/page_allocator/allocator.rs:102–104

()

    fn empty() -> Self {
        Self { root: PageStorageTreeNode::empty(), base_address: 0, page_size: PageSize::largest() }
    }

    /// Find the largest page size we can create a page at.
    /// Precondition: The current address is aligned to the given page size.
    #[rr::requires("Haddr_aligned" : "address `aligned_to` page_size_in_bytes_nat page_size")]
    /// Precondition: The current address is in bounds of the given memory region.