mirror of
https://gitee.com/bianbu-linux/opensbi
synced 2025-04-24 23:07:08 -04:00
48 lines
1.1 KiB
C
48 lines
1.1 KiB
C
/*
|
|
* SPDX-License-Identifier: BSD-2-Clause
|
|
*
|
|
* Copyright (c) 2020 Western Digital Corporation or its affiliates.
|
|
*
|
|
* Authors:
|
|
* Anup Patel <anup.patel@wdc.com>
|
|
* Atish Patra <atish.patra@wdc.com>
|
|
*/
|
|
|
|
#include <sbi/sbi_error.h>
|
|
#include <sbi/sbi_ecall.h>
|
|
#include <sbi/sbi_ecall_interface.h>
|
|
#include <sbi/sbi_trap.h>
|
|
#include <sbi/sbi_timer.h>
|
|
|
|
static int sbi_ecall_time_handler(unsigned long extid, unsigned long funcid,
|
|
const struct sbi_trap_regs *regs,
|
|
unsigned long *out_val,
|
|
struct sbi_trap_info *out_trap)
|
|
{
|
|
int ret = 0;
|
|
|
|
if (funcid == SBI_EXT_TIME_SET_TIMER) {
|
|
#if __riscv_xlen == 32
|
|
sbi_timer_event_start((((u64)regs->a1 << 32) | (u64)regs->a0));
|
|
#else
|
|
sbi_timer_event_start((u64)regs->a0);
|
|
#endif
|
|
} else
|
|
ret = SBI_ENOTSUPP;
|
|
|
|
return ret;
|
|
}
|
|
|
|
struct sbi_ecall_extension ecall_time;
|
|
|
|
static int sbi_ecall_time_register_extensions(void)
|
|
{
|
|
return sbi_ecall_register_extension(&ecall_time);
|
|
}
|
|
|
|
struct sbi_ecall_extension ecall_time = {
|
|
.extid_start = SBI_EXT_TIME,
|
|
.extid_end = SBI_EXT_TIME,
|
|
.register_extensions = sbi_ecall_time_register_extensions,
|
|
.handle = sbi_ecall_time_handler,
|
|
};
|