mirror of
https://github.com/riscv-software-src/opensbi.git
synced 2025-08-24 15:31:22 +01:00
46a90d90e7
It is possible to have a CLINT implementation which supports only 32bit MMIO accesses on RV64 system so this patch extends our CLINT driver such that platform code can specify whether CLINT supports 64bit MMIO access. Signed-off-by: Anup Patel <anup.patel@wdc.com> Reviewed-by: Atish Patra<atish.patra@wdc.com> Reviewed-by: Zong Li <zong.li@sifive.com>
37 lines
706 B
C
37 lines
706 B
C
/*
|
|
* SPDX-License-Identifier: BSD-2-Clause
|
|
*
|
|
* Copyright (c) 2019 Western Digital Corporation or its affiliates.
|
|
*
|
|
* Authors:
|
|
* Anup Patel <anup.patel@wdc.com>
|
|
*/
|
|
|
|
#ifndef __SYS_CLINT_H__
|
|
#define __SYS_CLINT_H__
|
|
|
|
#include <sbi/sbi_types.h>
|
|
|
|
void clint_ipi_send(u32 target_hart);
|
|
|
|
void clint_ipi_sync(u32 target_hart);
|
|
|
|
void clint_ipi_clear(u32 target_hart);
|
|
|
|
int clint_warm_ipi_init(void);
|
|
|
|
int clint_cold_ipi_init(unsigned long base, u32 hart_count);
|
|
|
|
u64 clint_timer_value(void);
|
|
|
|
void clint_timer_event_stop(void);
|
|
|
|
void clint_timer_event_start(u64 next_event);
|
|
|
|
int clint_warm_timer_init(void);
|
|
|
|
int clint_cold_timer_init(unsigned long base, u32 hart_count,
|
|
bool has_64bit_mmio);
|
|
|
|
#endif
|