cpu.c

1// SPDX-License-Identifier: GPL-2.0
2
3#include <linux/smp.h>
4
5unsigned int rust_helper_raw_smp_processor_id(void)
6{
7	return raw_smp_processor_id();
8}