41 lines
927 B
C
41 lines
927 B
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 = {
|
||
|
|
.extid_start = SBI_EXT_TIME,
|
||
|
|
.extid_end = SBI_EXT_TIME,
|
||
|
|
.handle = sbi_ecall_time_handler,
|
||
|
|
};
|