blob: bb5ccefec277e3c45637f8153d376e849bc6af93 [file] [log] [blame]
Andrew Walbranb996b4a2022-04-22 15:15:41 +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//! Rust entry point.
16
Pierre-Clément Tosid3305482023-06-29 15:03:48 +000017use crate::{
Pierre-Clément Tosic08e63c2024-05-14 11:17:47 +010018 bionic, console, heap, hyp, logger,
19 memory::{page_4kb_of, SIZE_16KB, SIZE_4KB},
Pierre-Clément Tosid3305482023-06-29 15:03:48 +000020 power::{reboot, shutdown},
Pierre-Clément Tosi62ffc0d2023-06-30 09:31:56 +000021 rand,
Pierre-Clément Tosid3305482023-06-29 15:03:48 +000022};
Pierre-Clément Tosi62ffc0d2023-06-30 09:31:56 +000023use core::mem::size_of;
Pierre-Clément Tosic08e63c2024-05-14 11:17:47 +010024use static_assertions::const_assert_eq;
Pierre-Clément Tosid3305482023-06-29 15:03:48 +000025
26fn try_console_init() -> Result<(), hyp::Error> {
27 console::init();
28
Pierre-Clément Tosia9b345f2024-04-27 01:01:42 +010029 if let Some(mmio_guard) = hyp::get_mmio_guard() {
Pierre-Clément Tosi15ae4a52023-07-11 13:31:31 +000030 mmio_guard.enroll()?;
Pierre-Clément Tosi32d96792024-04-29 01:19:37 +010031
32 // TODO(ptosi): Use MmioSharer::share() to properly track this MMIO_GUARD_MAP.
33 //
Pierre-Clément Tosic08e63c2024-05-14 11:17:47 +010034 // The following call shares the UART but also anything else present in 0..granule.
35 //
36 // For 4KiB, that's only the UARTs. For 16KiB, it also covers the RTC and watchdog but, as
37 // neither is used by vmbase clients (and as both are outside of the UART page), they
38 // will never have valid stage-1 mappings to those devices. As a result, this
39 // MMIO_GUARD_MAP isn't affected by the granule size in any visible way. Larger granule
40 // sizes will need to be checked separately, if needed.
41 assert!({
42 let granule = mmio_guard.granule()?;
43 granule == SIZE_4KB || granule == SIZE_16KB
44 });
45 // Validate the assumption above by ensuring that the UART is not moved to another page:
46 const_assert_eq!(page_4kb_of(console::BASE_ADDRESS), 0);
Pierre-Clément Tosid3305482023-06-29 15:03:48 +000047 mmio_guard.map(console::BASE_ADDRESS)?;
48 }
49
50 Ok(())
51}
Andrew Walbranb996b4a2022-04-22 15:15:41 +000052
53/// This is the entry point to the Rust code, called from the binary entry point in `entry.S`.
54#[no_mangle]
Andrew Walbrane03395a2022-04-29 15:15:49 +000055extern "C" fn rust_entry(x0: u64, x1: u64, x2: u64, x3: u64) -> ! {
Andrew Walbranc06e7342023-07-05 14:00:51 +000056 // SAFETY: Only called once, from here, and inaccessible to client code.
Pierre-Clément Tosi8ca7a442023-06-22 13:47:15 +000057 unsafe { heap::init() };
Pierre-Clément Tosid3305482023-06-29 15:03:48 +000058
59 if try_console_init().is_err() {
60 // Don't panic (or log) here to avoid accessing the console.
61 reboot()
62 }
63
64 logger::init().expect("Failed to initialize the logger");
65 // We initialize the logger to Off (like the log crate) and clients should log::set_max_level.
66
Pierre-Clément Tosi62ffc0d2023-06-30 09:31:56 +000067 const SIZE_OF_STACK_GUARD: usize = size_of::<u64>();
68 let mut stack_guard = [0u8; SIZE_OF_STACK_GUARD];
69 // We keep a null byte at the top of the stack guard to act as a string terminator.
70 let random_guard = &mut stack_guard[..(SIZE_OF_STACK_GUARD - 1)];
71
Pierre-Clément Tosi20daaef2023-10-26 11:34:55 +010072 if let Err(e) = rand::init() {
73 panic!("Failed to initialize a source of entropy: {e}");
74 }
75
76 if let Err(e) = rand::fill_with_entropy(random_guard) {
77 panic!("Failed to get stack canary entropy: {e}");
78 }
79
Pierre-Clément Tosi62ffc0d2023-06-30 09:31:56 +000080 bionic::__get_tls().stack_guard = u64::from_ne_bytes(stack_guard);
81
82 // Note: If rust_entry ever returned (which it shouldn't by being -> !), the compiler-injected
83 // stack guard comparison would detect a mismatch and call __stack_chk_fail.
84
Andrew Walbranc06e7342023-07-05 14:00:51 +000085 // SAFETY: `main` is provided by the application using the `main!` macro, and we make sure it
86 // has the right type.
Andrew Walbranb996b4a2022-04-22 15:15:41 +000087 unsafe {
Andrew Walbrane03395a2022-04-29 15:15:49 +000088 main(x0, x1, x2, x3);
Andrew Walbranb996b4a2022-04-22 15:15:41 +000089 }
90 shutdown();
91}
92
93extern "Rust" {
94 /// Main function provided by the application using the `main!` macro.
Andrew Walbrane03395a2022-04-29 15:15:49 +000095 fn main(arg0: u64, arg1: u64, arg2: u64, arg3: u64);
Andrew Walbranb996b4a2022-04-22 15:15:41 +000096}
97
98/// Marks the main function of the binary.
99///
Pierre-Clément Tosid3305482023-06-29 15:03:48 +0000100/// Once main is entered, it can assume that:
101/// - The panic_handler has been configured and panic!() and friends are available;
102/// - The global_allocator has been configured and heap memory is available;
103/// - The logger has been configured and the log::{info, warn, error, ...} macros are available.
104///
Andrew Walbranb996b4a2022-04-22 15:15:41 +0000105/// Example:
106///
107/// ```rust
Pierre-Clément Tosid3305482023-06-29 15:03:48 +0000108/// use vmbase::main;
Jakob Vukalovicef996292023-04-13 14:28:34 +0000109/// use log::{info, LevelFilter};
Andrew Walbranb996b4a2022-04-22 15:15:41 +0000110///
111/// main!(my_main);
112///
113/// fn my_main() {
Pierre-Clément Tosid3305482023-06-29 15:03:48 +0000114/// log::set_max_level(LevelFilter::Info);
Jakob Vukalovicef996292023-04-13 14:28:34 +0000115/// info!("Hello world");
Andrew Walbranb996b4a2022-04-22 15:15:41 +0000116/// }
117/// ```
118#[macro_export]
119macro_rules! main {
120 ($name:path) => {
121 // Export a symbol with a name matching the extern declaration above.
122 #[export_name = "main"]
Andrew Walbrane03395a2022-04-29 15:15:49 +0000123 fn __main(arg0: u64, arg1: u64, arg2: u64, arg3: u64) {
Andrew Walbranb996b4a2022-04-22 15:15:41 +0000124 // Ensure that the main function provided by the application has the correct type.
Andrew Walbrane03395a2022-04-29 15:15:49 +0000125 $name(arg0, arg1, arg2, arg3)
Andrew Walbranb996b4a2022-04-22 15:15:41 +0000126 }
127 };
128}