Andrew Walbran | 153aad9 | 2022-06-28 15:51:13 +0000 | [diff] [blame] | 1 | // 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 | |
| 17 | use aarch64_paging::paging::{MemoryRegion, VirtualAddress}; |
David Brazdil | a51c6f0 | 2022-10-12 09:51:48 +0000 | [diff] [blame] | 18 | use core::arch::asm; |
Andrew Walbran | 153aad9 | 2022-06-28 15:51:13 +0000 | [diff] [blame] | 19 | use core::ops::Range; |
Jakob Vukalovic | ef99629 | 2023-04-13 14:28:34 +0000 | [diff] [blame] | 20 | use log::info; |
Pierre-Clément Tosi | 9a658f7 | 2022-10-10 15:18:54 +0100 | [diff] [blame] | 21 | use vmbase::layout; |
Pierre-Clément Tosi | 9a658f7 | 2022-10-10 15:18:54 +0100 | [diff] [blame] | 22 | use vmbase::STACK_CHK_GUARD; |
Andrew Walbran | 153aad9 | 2022-06-28 15:51:13 +0000 | [diff] [blame] | 23 | |
| 24 | /// The first 1 GiB of memory are used for MMIO. |
| 25 | pub const DEVICE_REGION: MemoryRegion = MemoryRegion::new(0, 0x40000000); |
| 26 | |
Pierre-Clément Tosi | 9a658f7 | 2022-10-10 15:18:54 +0100 | [diff] [blame] | 27 | fn into_va_range(r: Range<usize>) -> Range<VirtualAddress> { |
| 28 | VirtualAddress(r.start)..VirtualAddress(r.end) |
| 29 | } |
| 30 | |
Andrew Walbran | 153aad9 | 2022-06-28 15:51:13 +0000 | [diff] [blame] | 31 | /// Memory reserved for the DTB. |
| 32 | pub fn dtb_range() -> Range<VirtualAddress> { |
Pierre-Clément Tosi | 9a658f7 | 2022-10-10 15:18:54 +0100 | [diff] [blame] | 33 | into_va_range(layout::dtb_range()) |
Andrew Walbran | 153aad9 | 2022-06-28 15:51:13 +0000 | [diff] [blame] | 34 | } |
| 35 | |
| 36 | /// Executable code. |
| 37 | pub fn text_range() -> Range<VirtualAddress> { |
Pierre-Clément Tosi | 9a658f7 | 2022-10-10 15:18:54 +0100 | [diff] [blame] | 38 | into_va_range(layout::text_range()) |
Andrew Walbran | 153aad9 | 2022-06-28 15:51:13 +0000 | [diff] [blame] | 39 | } |
| 40 | |
| 41 | /// Read-only data. |
| 42 | pub fn rodata_range() -> Range<VirtualAddress> { |
Pierre-Clément Tosi | 9a658f7 | 2022-10-10 15:18:54 +0100 | [diff] [blame] | 43 | into_va_range(layout::rodata_range()) |
Andrew Walbran | 153aad9 | 2022-06-28 15:51:13 +0000 | [diff] [blame] | 44 | } |
| 45 | |
| 46 | /// Initialised writable data. |
| 47 | pub fn data_range() -> Range<VirtualAddress> { |
Pierre-Clément Tosi | 9a658f7 | 2022-10-10 15:18:54 +0100 | [diff] [blame] | 48 | into_va_range(layout::data_range()) |
Andrew Walbran | 153aad9 | 2022-06-28 15:51:13 +0000 | [diff] [blame] | 49 | } |
| 50 | |
| 51 | /// Zero-initialised writable data. |
| 52 | pub fn bss_range() -> Range<VirtualAddress> { |
Pierre-Clément Tosi | 9a658f7 | 2022-10-10 15:18:54 +0100 | [diff] [blame] | 53 | into_va_range(layout::bss_range()) |
Andrew Walbran | 153aad9 | 2022-06-28 15:51:13 +0000 | [diff] [blame] | 54 | } |
| 55 | |
| 56 | /// Writable data region for the stack. |
| 57 | pub fn boot_stack_range() -> Range<VirtualAddress> { |
Pierre-Clément Tosi | 9a658f7 | 2022-10-10 15:18:54 +0100 | [diff] [blame] | 58 | into_va_range(layout::boot_stack_range()) |
Andrew Walbran | 153aad9 | 2022-06-28 15:51:13 +0000 | [diff] [blame] | 59 | } |
| 60 | |
Pierre-Clément Tosi | 8bb3d72 | 2023-04-21 16:10:56 +0100 | [diff] [blame^] | 61 | /// Writable data region for allocations. |
| 62 | pub fn scratch_range() -> Range<VirtualAddress> { |
| 63 | into_va_range(layout::scratch_range()) |
Andrew Walbran | 153aad9 | 2022-06-28 15:51:13 +0000 | [diff] [blame] | 64 | } |
| 65 | |
| 66 | fn data_load_address() -> VirtualAddress { |
Pierre-Clément Tosi | 9a658f7 | 2022-10-10 15:18:54 +0100 | [diff] [blame] | 67 | VirtualAddress(layout::data_load_address()) |
Andrew Walbran | 153aad9 | 2022-06-28 15:51:13 +0000 | [diff] [blame] | 68 | } |
| 69 | |
Pierre-Clément Tosi | 35e9c1e | 2022-10-14 18:42:38 +0100 | [diff] [blame] | 70 | fn binary_end() -> VirtualAddress { |
Pierre-Clément Tosi | 9a658f7 | 2022-10-10 15:18:54 +0100 | [diff] [blame] | 71 | VirtualAddress(layout::binary_end()) |
Pierre-Clément Tosi | 35e9c1e | 2022-10-14 18:42:38 +0100 | [diff] [blame] | 72 | } |
| 73 | |
Andrew Walbran | 153aad9 | 2022-06-28 15:51:13 +0000 | [diff] [blame] | 74 | pub fn print_addresses() { |
| 75 | let dtb = dtb_range(); |
Jakob Vukalovic | ef99629 | 2023-04-13 14:28:34 +0000 | [diff] [blame] | 76 | info!("dtb: {}..{} ({} bytes)", dtb.start, dtb.end, dtb.end - dtb.start); |
Andrew Walbran | 153aad9 | 2022-06-28 15:51:13 +0000 | [diff] [blame] | 77 | let text = text_range(); |
Jakob Vukalovic | ef99629 | 2023-04-13 14:28:34 +0000 | [diff] [blame] | 78 | info!("text: {}..{} ({} bytes)", text.start, text.end, text.end - text.start); |
Andrew Walbran | 153aad9 | 2022-06-28 15:51:13 +0000 | [diff] [blame] | 79 | let rodata = rodata_range(); |
Jakob Vukalovic | ef99629 | 2023-04-13 14:28:34 +0000 | [diff] [blame] | 80 | info!("rodata: {}..{} ({} bytes)", rodata.start, rodata.end, rodata.end - rodata.start); |
| 81 | info!("binary end: {}", binary_end()); |
Andrew Walbran | 153aad9 | 2022-06-28 15:51:13 +0000 | [diff] [blame] | 82 | let data = data_range(); |
Jakob Vukalovic | ef99629 | 2023-04-13 14:28:34 +0000 | [diff] [blame] | 83 | info!( |
Andrew Walbran | 153aad9 | 2022-06-28 15:51:13 +0000 | [diff] [blame] | 84 | "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 Vukalovic | ef99629 | 2023-04-13 14:28:34 +0000 | [diff] [blame] | 91 | info!("bss: {}..{} ({} bytes)", bss.start, bss.end, bss.end - bss.start); |
Andrew Walbran | 153aad9 | 2022-06-28 15:51:13 +0000 | [diff] [blame] | 92 | let boot_stack = boot_stack_range(); |
Jakob Vukalovic | ef99629 | 2023-04-13 14:28:34 +0000 | [diff] [blame] | 93 | info!( |
Andrew Walbran | 153aad9 | 2022-06-28 15:51:13 +0000 | [diff] [blame] | 94 | "boot_stack: {}..{} ({} bytes)", |
| 95 | boot_stack.start, |
| 96 | boot_stack.end, |
| 97 | boot_stack.end - boot_stack.start |
| 98 | ); |
| 99 | } |
| 100 | |
David Brazdil | a51c6f0 | 2022-10-12 09:51:48 +0000 | [diff] [blame] | 101 | /// Bionic-compatible thread-local storage entry, at the given offset from TPIDR_EL0. |
| 102 | pub 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 | } |
| 110 | |
| 111 | /// Value of __stack_chk_guard. |
| 112 | pub fn stack_chk_guard() -> u64 { |
Pierre-Clément Tosi | 9a658f7 | 2022-10-10 15:18:54 +0100 | [diff] [blame] | 113 | *STACK_CHK_GUARD |
Andrew Walbran | 153aad9 | 2022-06-28 15:51:13 +0000 | [diff] [blame] | 114 | } |