#include "smp.h"
unsigned ncpus;
unsigned ht_per_core;
unsigned bsp_cpu_id;
struct cpu cpus[CONFIG_MAX_CPUS];
SPINLOCK_DEFINE(big_kernel_lock)