12345678910111213141516171819202122232425262728293031323334353637383940 |
- /*
- * 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,
- };
|