global_asm!(include_str!("common_armv8_asm.S"), options(raw));

extern "C" {
    fn Armv8_getCoreId() -> u64;
}

/// Get the core ID of the current core
pub fn arm_get_core_id() -> u64 {
    unsafe { Armv8_getCoreId() }
}