1 /* SPDX-License-Identifier: BSD-4-Clause-UC */ 2 3 #include <mcall.h> 4 #include <string.h> 5 #include <vm.h> 6 hls_init(uint32_t hart_id,void * fdt)7void hls_init(uint32_t hart_id, void *fdt) 8 { 9 memset(HLS(), 0, sizeof(*HLS())); 10 HLS()->fdt = fdt; 11 HLS()->hart_id = hart_id; 12 13 mtime_init(); 14 } 15