/* SPDX-License-Identifier: GPL-2.0-only */

#include <smp/node.h>

int boot_cpu(void)
{
	return 1;
}