axplat/
power.rs

1//! Power management.
2
3/// Power management interface.
4#[def_plat_interface]
5pub trait PowerIf {
6    /// Bootstraps the given CPU core with the given initial stack (in physical
7    /// address).
8    ///
9    /// Where `cpu_id` is the logical CPU ID (0, 1, ..., N-1, N is the number of
10    /// CPU cores on the platform).
11    fn cpu_boot(cpu_id: usize, stack_top_paddr: usize);
12
13    /// Shutdown the whole system.
14    fn system_off() -> !;
15}