diff options
| author | Alex Richardson <Alexander.Richardson@cl.cam.ac.uk> | 2021-07-12 10:24:05 +0100 |
|---|---|---|
| committer | Anup Patel <anup@brainfault.org> | 2021-07-17 16:35:23 +0530 |
| commit | 7210e907858be23a207479e26fde947e968b7f29 (patch) | |
| tree | e1d6a7ae323be3bfff4935001195281f3e1e61d9 /include/sbi/sbi_ipi.h | |
| parent | e3d6919d10d73ff97cfe583cc78fc01c7beaf4b5 (diff) | |
firmware: use __SIZEOF_LONG__ for field offsets in fw_dynamic.h
The fields are of type unsigned long and are not pointers. While this
happens to be the same for RV32/RV64, it is not correct when compiling
for a CHERI-RISC-V system where pointers are twice the size of long.
Signed-off-by: Alex Richardson <Alexander.Richardson@cl.cam.ac.uk>
Reviewed-by: Bin Meng <bmeng.cn@gmail.com>
Reviewed-by: Anup Patel <anup.patel@wdc.com>
Diffstat (limited to 'include/sbi/sbi_ipi.h')
0 files changed, 0 insertions, 0 deletions