// 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();}