#include <sbi/riscv_asm.h>
#include <sbi/riscv_atomic.h>
#include <sbi/riscv_io.h>
+#include <sbi/sbi_domain.h>
#include <sbi/sbi_error.h>
#include <sbi/sbi_hartmask.h>
#include <sbi_utils/sys/clint.h>
#define CLINT_IPI_OFF 0
+#define CLINT_IPI_SIZE 0x4000
+
#define CLINT_TIME_CMP_OFF 0x4000
+#define CLINT_TIME_CMP_SIZE 0x4000
+
#define CLINT_TIME_VAL_OFF 0xbff8
+#define CLINT_TIME_VAL_SIZE 0x4000
static struct clint_data *clint_ipi_hartid2data[SBI_HARTMASK_MAX_BITS];
int clint_cold_ipi_init(struct clint_data *clint)
{
u32 i;
+ struct sbi_domain_memregion reg;
if (!clint)
return SBI_EINVAL;
for (i = 0; i < clint->hart_count; i++)
clint_ipi_hartid2data[clint->first_hartid + i] = clint;
- return 0;
+ /* Add CLINT ipi region to the root domain */
+ sbi_domain_memregion_init(clint->addr + CLINT_IPI_OFF,
+ CLINT_IPI_SIZE,
+ SBI_DOMAIN_MEMREGION_MMIO, ®);
+ return sbi_domain_root_add_memregion(®);
}
static struct clint_data *clint_timer_hartid2data[SBI_HARTMASK_MAX_BITS];
struct clint_data *reference)
{
u32 i;
+ int rc;
+ struct sbi_domain_memregion reg;
if (!clint)
return SBI_EINVAL;
for (i = 0; i < clint->hart_count; i++)
clint_timer_hartid2data[clint->first_hartid + i] = clint;
- return 0;
+ /* Add CLINT mtime region to the root domain */
+ sbi_domain_memregion_init(clint->addr + CLINT_TIME_VAL_OFF,
+ CLINT_TIME_VAL_SIZE,
+ SBI_DOMAIN_MEMREGION_MMIO, ®);
+ rc = sbi_domain_root_add_memregion(®);
+ if (rc)
+ return rc;
+
+ /* Add CLINT timecmp region to the root domain */
+ sbi_domain_memregion_init(clint->addr + CLINT_TIME_CMP_OFF,
+ CLINT_TIME_CMP_SIZE,
+ SBI_DOMAIN_MEMREGION_MMIO, ®);
+ return sbi_domain_root_add_memregion(®);
}