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