// SPDX-License-Identifier: GPL-2.0 #include <linux/smp.h> __rust_helper unsigned int rust_helper_raw_smp_processor_id(void) { return raw_smp_processor_id(); }