forked from Mirrors/opensbi
76f0f81407
We add simple ipi framework which will select and use ipi driver based on details in FDT passed by previous booting stage. Signed-off-by: Anup Patel <anup.patel@wdc.com> Reviewed-by: Atish Patra <atish.patra@wdc.com>
45 lines
933 B
C
45 lines
933 B
C
/*
|
|
* SPDX-License-Identifier: BSD-2-Clause
|
|
*
|
|
* Copyright (c) 2020 Western Digital Corporation or its affiliates.
|
|
*
|
|
* Authors:
|
|
* Anup Patel <anup.patel@wdc.com>
|
|
*/
|
|
|
|
#include <sbi_utils/fdt/fdt_helper.h>
|
|
#include <sbi_utils/ipi/fdt_ipi.h>
|
|
#include <sbi_utils/sys/clint.h>
|
|
|
|
static int ipi_clint_cold_init(void *fdt, int nodeoff,
|
|
const struct fdt_match *match)
|
|
{
|
|
int rc;
|
|
u32 max_hartid;
|
|
unsigned long addr;
|
|
|
|
rc = fdt_parse_max_hart_id(fdt, &max_hartid);
|
|
if (rc)
|
|
return rc;
|
|
|
|
rc = fdt_get_node_addr_size(fdt, nodeoff, &addr, NULL);
|
|
if (rc)
|
|
return rc;
|
|
|
|
return clint_cold_ipi_init(addr, max_hartid + 1);
|
|
}
|
|
|
|
static const struct fdt_match ipi_clint_match[] = {
|
|
{ .compatible = "riscv,clint0" },
|
|
{ },
|
|
};
|
|
|
|
struct fdt_ipi fdt_ipi_clint = {
|
|
.match_table = ipi_clint_match,
|
|
.cold_init = ipi_clint_cold_init,
|
|
.warm_init = clint_warm_ipi_init,
|
|
.exit = NULL,
|
|
.send = clint_ipi_send,
|
|
.clear = clint_ipi_clear,
|
|
};
|