kernel/bsp/raspberrypi/
cpu.rs

1
2
3
4
5
6
7
8
9
10
//! BSP Processor code.

//----------------------------------------------------------------------------
// Public Definition
//----------------------------------------------------------------------------

///Used by `arch` code to find the early boot core.
#[no_mangle]
#[link_section = ".text._start_arguments"]
pub static BOOT_CORE_ID: u64 = 0;