/* * SPDX-License-Identifier: BSD-2-Clause * * Copyright (c) 2020 Western Digital Corporation or its affiliates. * * Authors: * Anup Patel * Atish Patra */ #include #include #include #include #include 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, };