/* 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(); }