* Copyright 2021, Haiku, Inc.
* Distributed under the terms of the MIT License.
*/
#include "smp.h"
#include <boot/stage2.h>
static CpuInfo sCpus[SMP_MAX_CPUS];
uint32 sCpuCount = 0;
CpuInfo*
smp_find_cpu(uint32 phandle)
{
return &sCpus[0];
}
void
smp_init_other_cpus(void)
{
gKernelArgs.num_cpus = 1;
for (uint32 i = 0; i < gKernelArgs.num_cpus; i++) {
gKernelArgs.arch_args.hartIds[i] = sCpus[i].hartId;
gKernelArgs.arch_args.plicContexts[i] = sCpus[i].plicContext;
}
}
void
smp_boot_other_cpus(uint64 pageTable, uint64 kernel_entry)
{
}
void
smp_init()
{
sCpus[0].hartId = 0;
}