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