kernel::bsp::raspberrypi::cpu

Static BOOT_CORE_ID

Source 
#[no_mangle]
#[link_section = ".text._start_arguments"]
pub static BOOT_CORE_ID: u64
Expand description

Used by arch code to find the early boot core.