projects / platform / kernel / opensbi.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 360ab88) | patch
lib: sbi: Fix GET_F64_REG inline assembly
authorCharles Papon <charles.papon.90@gmail.com>
Sat, 12 Jun 2021 04:23:33 +0000 (09:53 +0530)
committerAnup Patel <anup@brainfault.org>
Sat, 12 Jun 2021 04:23:33 +0000 (09:53 +0530)
commit79f9b4220ffa7f74356054be25d450d7958bf16c
tree290370e2caf3e4d78bc1eb986e6b3f0a40bd89d2tree | snapshot
parent360ab88569201f8d282cf98546b86b8576b6f2adcommit | diff
lib: sbi: Fix GET_F64_REG inline assembly

Current, GET_F64_REG() macro does not generate correct inline
assembly for the RV32 systems. This patch provides separate
definitions of GET_F64_REG() macro for RV32 and RV64 systems.

Signed-off-by: Charles Papon <charles.papon.90@gmail.com>
Signed-off-by: Anup Patel <anup.patel@wdc.com>
include/sbi/riscv_fp.h diff | blob | history
Domain: System / Kernel;