1  /* SPDX-License-Identifier: BSD-4-Clause-UC */
 2  
 3  #include <mcall.h>
 4  #include <string.h>
 5  #include <vm.h>
 6  
 7  void 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  	HLS()->enabled = 1;
13  
14  	mtime_init();
15  }