blob: 7f846bd83e73d9d3b95800461df612e126da4c61 [file] [log] [blame]
/* SPDX-License-Identifier: BSD-4-Clause-UC */
#include <mcall.h>
#include <string.h>
#include <vm.h>
void hls_init(uint32_t hart_id, void *fdt)
{
memset(HLS(), 0, sizeof(*HLS()));
HLS()->fdt = fdt;
HLS()->hart_id = hart_id;
mtime_init();
}