blob: 1954a906a858fec7cdfbec1aae7e8b3c70597b52 [file] [log] [blame]
Andrew Walbran153aad92022-06-28 15:51:13 +00001// Copyright 2022, The Android Open Source Project
2//
3// Licensed under the Apache License, Version 2.0 (the "License");
4// you may not use this file except in compliance with the License.
5// You may obtain a copy of the License at
6//
7// http://www.apache.org/licenses/LICENSE-2.0
8//
9// Unless required by applicable law or agreed to in writing, software
10// distributed under the License is distributed on an "AS IS" BASIS,
11// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
12// See the License for the specific language governing permissions and
13// limitations under the License.
14
15//! Memory layout.
16
17use aarch64_paging::paging::{MemoryRegion, VirtualAddress};
David Brazdila51c6f02022-10-12 09:51:48 +000018use core::arch::asm;
Andrew Walbran153aad92022-06-28 15:51:13 +000019use core::ops::Range;
Jakob Vukalovicef996292023-04-13 14:28:34 +000020use log::info;
Pierre-Clément Tosi9a658f72022-10-10 15:18:54 +010021use vmbase::layout;
Andrew Walbran153aad92022-06-28 15:51:13 +000022
23/// The first 1 GiB of memory are used for MMIO.
24pub const DEVICE_REGION: MemoryRegion = MemoryRegion::new(0, 0x40000000);
25
Pierre-Clément Tosi9a658f72022-10-10 15:18:54 +010026fn into_va_range(r: Range<usize>) -> Range<VirtualAddress> {
27 VirtualAddress(r.start)..VirtualAddress(r.end)
28}
29
Andrew Walbran153aad92022-06-28 15:51:13 +000030/// Memory reserved for the DTB.
31pub fn dtb_range() -> Range<VirtualAddress> {
Pierre-Clément Tosi9a658f72022-10-10 15:18:54 +010032 into_va_range(layout::dtb_range())
Andrew Walbran153aad92022-06-28 15:51:13 +000033}
34
35/// Executable code.
36pub fn text_range() -> Range<VirtualAddress> {
Pierre-Clément Tosi9a658f72022-10-10 15:18:54 +010037 into_va_range(layout::text_range())
Andrew Walbran153aad92022-06-28 15:51:13 +000038}
39
40/// Read-only data.
41pub fn rodata_range() -> Range<VirtualAddress> {
Pierre-Clément Tosi9a658f72022-10-10 15:18:54 +010042 into_va_range(layout::rodata_range())
Andrew Walbran153aad92022-06-28 15:51:13 +000043}
44
45/// Initialised writable data.
46pub fn data_range() -> Range<VirtualAddress> {
Pierre-Clément Tosi9a658f72022-10-10 15:18:54 +010047 into_va_range(layout::data_range())
Andrew Walbran153aad92022-06-28 15:51:13 +000048}
49
Alice Wangeff58392023-07-04 13:32:09 +000050/// Zero-initialized writable data.
Andrew Walbran153aad92022-06-28 15:51:13 +000051pub fn bss_range() -> Range<VirtualAddress> {
Pierre-Clément Tosi9a658f72022-10-10 15:18:54 +010052 into_va_range(layout::bss_range())
Andrew Walbran153aad92022-06-28 15:51:13 +000053}
54
55/// Writable data region for the stack.
56pub fn boot_stack_range() -> Range<VirtualAddress> {
Pierre-Clément Tosi23aba522023-04-21 17:03:50 +010057 const PAGE_SIZE: usize = 4 << 10;
58 into_va_range(layout::stack_range(40 * PAGE_SIZE))
Andrew Walbran153aad92022-06-28 15:51:13 +000059}
60
Pierre-Clément Tosi8bb3d722023-04-21 16:10:56 +010061/// Writable data region for allocations.
62pub fn scratch_range() -> Range<VirtualAddress> {
63 into_va_range(layout::scratch_range())
Andrew Walbran153aad92022-06-28 15:51:13 +000064}
65
66fn data_load_address() -> VirtualAddress {
Pierre-Clément Tosi9a658f72022-10-10 15:18:54 +010067 VirtualAddress(layout::data_load_address())
Andrew Walbran153aad92022-06-28 15:51:13 +000068}
69
Pierre-Clément Tosi35e9c1e2022-10-14 18:42:38 +010070fn binary_end() -> VirtualAddress {
Pierre-Clément Tosi9a658f72022-10-10 15:18:54 +010071 VirtualAddress(layout::binary_end())
Pierre-Clément Tosi35e9c1e2022-10-14 18:42:38 +010072}
73
Andrew Walbran153aad92022-06-28 15:51:13 +000074pub fn print_addresses() {
75 let dtb = dtb_range();
Jakob Vukalovicef996292023-04-13 14:28:34 +000076 info!("dtb: {}..{} ({} bytes)", dtb.start, dtb.end, dtb.end - dtb.start);
Andrew Walbran153aad92022-06-28 15:51:13 +000077 let text = text_range();
Jakob Vukalovicef996292023-04-13 14:28:34 +000078 info!("text: {}..{} ({} bytes)", text.start, text.end, text.end - text.start);
Andrew Walbran153aad92022-06-28 15:51:13 +000079 let rodata = rodata_range();
Jakob Vukalovicef996292023-04-13 14:28:34 +000080 info!("rodata: {}..{} ({} bytes)", rodata.start, rodata.end, rodata.end - rodata.start);
81 info!("binary end: {}", binary_end());
Andrew Walbran153aad92022-06-28 15:51:13 +000082 let data = data_range();
Jakob Vukalovicef996292023-04-13 14:28:34 +000083 info!(
Andrew Walbran153aad92022-06-28 15:51:13 +000084 "data: {}..{} ({} bytes, loaded at {})",
85 data.start,
86 data.end,
87 data.end - data.start,
88 data_load_address(),
89 );
90 let bss = bss_range();
Jakob Vukalovicef996292023-04-13 14:28:34 +000091 info!("bss: {}..{} ({} bytes)", bss.start, bss.end, bss.end - bss.start);
Andrew Walbran153aad92022-06-28 15:51:13 +000092 let boot_stack = boot_stack_range();
Jakob Vukalovicef996292023-04-13 14:28:34 +000093 info!(
Andrew Walbran153aad92022-06-28 15:51:13 +000094 "boot_stack: {}..{} ({} bytes)",
95 boot_stack.start,
96 boot_stack.end,
97 boot_stack.end - boot_stack.start
98 );
99}
100
David Brazdila51c6f02022-10-12 09:51:48 +0000101/// Bionic-compatible thread-local storage entry, at the given offset from TPIDR_EL0.
102pub fn bionic_tls(off: usize) -> u64 {
103 let mut base: usize;
104 unsafe {
105 asm!("mrs {base}, tpidr_el0", base = out(reg) base);
106 let ptr = (base + off) as *const u64;
107 *ptr
108 }
109}