2019-02-25 21:53:01 +00:00
|
|
|
// Copyright 2019 Amazon.com, Inc. or its affiliates. All Rights Reserved.
|
|
|
|
// SPDX-License-Identifier: Apache-2.0
|
|
|
|
|
|
|
|
pub mod layout;
|
|
|
|
|
|
|
|
use memory_model::{GuestAddress, GuestMemory};
|
|
|
|
|
|
|
|
/// Stub function that needs to be implemented when aarch64 functionality is added.
|
2019-07-17 16:54:11 +00:00
|
|
|
pub fn arch_memory_regions(size: usize) -> Vec<(GuestAddress, usize, RegionType)> {
|
|
|
|
vec![(GuestAddress(0), size, RegionType::Ram)]
|
2019-02-25 21:53:01 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
/// Stub function that needs to be implemented when aarch64 functionality is added.
|
|
|
|
pub fn configure_system(
|
|
|
|
_guest_mem: &GuestMemory,
|
|
|
|
_cmdline_addr: GuestAddress,
|
|
|
|
_cmdline_size: usize,
|
|
|
|
_num_cpus: u8,
|
2019-11-06 17:20:55 +00:00
|
|
|
_rsdp_addr: Option<GuestAddress>,
|
2019-02-25 21:53:01 +00:00
|
|
|
) -> super::Result<()> {
|
|
|
|
Ok(())
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Stub function that needs to be implemented when aarch64 functionality is added.
|
|
|
|
pub fn get_reserved_mem_addr() -> usize {
|
|
|
|
0
|
|
|
|
}
|