mirror of
https://github.com/riscv-software-src/opensbi
synced 2025-11-04 05:50:22 +00:00
2ffa0a153d
sbi_cppc_write was writing to the a1 register only, which under rv32 would cause the high 32 bits to always be 0. This patch fixes that. Closes: https://github.com/riscv-software-src/opensbi/issues/334 Signed-off-by: Xiang W <wxjstz@126.com> Reported-by: Wesley Norris <repnop@outlook.com> Reviewed-by: Anup Patel <anup@brainfault.org>
73 lines
1.4 KiB
C
73 lines
1.4 KiB
C
/*
|
|
* SPDX-License-Identifier: BSD-2-Clause
|
|
*
|
|
* Copyright (c) 2023 Ventana Micro Systems Inc.
|
|
*
|
|
*/
|
|
|
|
#include <sbi/sbi_ecall.h>
|
|
#include <sbi/sbi_ecall_interface.h>
|
|
#include <sbi/sbi_error.h>
|
|
#include <sbi/sbi_trap.h>
|
|
#include <sbi/sbi_cppc.h>
|
|
|
|
static int sbi_ecall_cppc_handler(unsigned long extid, unsigned long funcid,
|
|
struct sbi_trap_regs *regs,
|
|
struct sbi_ecall_return *out)
|
|
{
|
|
int ret = 0;
|
|
uint64_t temp;
|
|
|
|
switch (funcid) {
|
|
case SBI_EXT_CPPC_READ:
|
|
ret = sbi_cppc_read(regs->a0, &temp);
|
|
out->value = temp;
|
|
break;
|
|
case SBI_EXT_CPPC_READ_HI:
|
|
#if __riscv_xlen == 32
|
|
ret = sbi_cppc_read(regs->a0, &temp);
|
|
out->value = temp >> 32;
|
|
#else
|
|
out->value = 0;
|
|
#endif
|
|
break;
|
|
case SBI_EXT_CPPC_WRITE:
|
|
#if __riscv_xlen == 32
|
|
temp = regs->a2;
|
|
temp = (temp << 32) | regs->a1;
|
|
#else
|
|
temp = regs->a1;
|
|
#endif
|
|
ret = sbi_cppc_write(regs->a0, temp);
|
|
break;
|
|
case SBI_EXT_CPPC_PROBE:
|
|
ret = sbi_cppc_probe(regs->a0);
|
|
if (ret >= 0) {
|
|
out->value = ret;
|
|
ret = 0;
|
|
}
|
|
break;
|
|
default:
|
|
ret = SBI_ENOTSUPP;
|
|
}
|
|
|
|
return ret;
|
|
}
|
|
|
|
struct sbi_ecall_extension ecall_cppc;
|
|
|
|
static int sbi_ecall_cppc_register_extensions(void)
|
|
{
|
|
if (!sbi_cppc_get_device())
|
|
return 0;
|
|
|
|
return sbi_ecall_register_extension(&ecall_cppc);
|
|
}
|
|
|
|
struct sbi_ecall_extension ecall_cppc = {
|
|
.extid_start = SBI_EXT_CPPC,
|
|
.extid_end = SBI_EXT_CPPC,
|
|
.register_extensions = sbi_ecall_cppc_register_extensions,
|
|
.handle = sbi_ecall_cppc_handler,
|
|
};
|