1 | The following changes since commit c95bd5ff1660883d15ad6e0005e4c8571604f51a: | 1 | From: Alistair Francis <alistair@alistair23.me> |
---|---|---|---|
2 | 2 | ||
3 | Merge remote-tracking branch 'remotes/philmd/tags/mips-fixes-20210322' into staging (2021-03-22 14:26:13 +0000) | 3 | The following changes since commit d495e432c04a6394126c35cf96517749708b410f: |
4 | |||
5 | Merge tag 'pull-aspeed-20220630' of https://github.com/legoater/qemu into staging (2022-06-30 22:04:12 +0530) | ||
4 | 6 | ||
5 | are available in the Git repository at: | 7 | are available in the Git repository at: |
6 | 8 | ||
7 | git@github.com:alistair23/qemu.git tags/pull-riscv-to-apply-20210322-2 | 9 | git@github.com:alistair23/qemu.git tags/pull-riscv-to-apply-20220703 |
8 | 10 | ||
9 | for you to fetch changes up to 9a27f69bd668d9d71674407badc412ce1231c7d5: | 11 | for you to fetch changes up to 435774992e82d2d16f025afbb20b4f7be9b242b0: |
10 | 12 | ||
11 | target/riscv: Prevent lost illegal instruction exceptions (2021-03-22 21:54:40 -0400) | 13 | target/riscv: Update default priority table for local interrupts (2022-07-03 10:03:20 +1000) |
12 | 14 | ||
13 | ---------------------------------------------------------------- | 15 | ---------------------------------------------------------------- |
14 | RISC-V PR for 6.0 | 16 | Fifth RISC-V PR for QEMU 7.1 |
15 | 17 | ||
16 | This PR includes: | 18 | * Fix register zero guarding for auipc and lui |
17 | - Fix for vector CSR access | 19 | * Ensure bins (mtval) is set correctly |
18 | - Improvements to the Ibex UART device | 20 | * Minimize the calls to decode_save_opc |
19 | - PMP improvements and bug fixes | 21 | * Guard against PMP ranges with a negative size |
20 | - Hypervisor extension bug fixes | 22 | * Implement mcountinhibit CSR |
21 | - ramfb support for the virt machine | 23 | * Add support for hpmcounters/hpmevents |
22 | - Fast read support for SST flash | 24 | * Improve PMU implenentation |
23 | - Improvements to the microchip_pfsoc machine | 25 | * Support mcycle/minstret write operation |
26 | * Fixup MSECCFG minimum priv check | ||
27 | * Ibex (OpenTitan) fixup priv version | ||
28 | * Fix bug resulting in always using latest priv spec | ||
29 | * Reduce FDT address alignment constraints | ||
30 | * Set minumum priv spec version for mcountinhibit | ||
31 | * AIA update to v0.3 of the spec | ||
24 | 32 | ||
25 | ---------------------------------------------------------------- | 33 | ---------------------------------------------------------------- |
26 | Alexander Wagner (1): | 34 | Alistair Francis (3): |
27 | hw/char: disable ibex uart receive if the buffer is full | 35 | target/riscv: Fixup MSECCFG minimum priv check |
36 | target/riscv: Ibex: Support priv version 1.11 | ||
37 | hw/riscv: boot: Reduce FDT address alignment constraints | ||
28 | 38 | ||
29 | Asherah Connor (2): | 39 | Anup Patel (4): |
30 | hw/riscv: Add fw_cfg support to virt | 40 | target/riscv: Don't force update priv spec version to latest |
31 | hw/riscv: allow ramfb on virt | 41 | target/riscv: Set minumum priv spec version for mcountinhibit |
42 | target/riscv: Remove CSRs that set/clear an IMSIC interrupt file bits | ||
43 | target/riscv: Update default priority table for local interrupts | ||
32 | 44 | ||
33 | Bin Meng (3): | 45 | Atish Patra (7): |
34 | hw/block: m25p80: Support fast read for SST flashes | 46 | target/riscv: Fix PMU CSR predicate function |
35 | hw/riscv: microchip_pfsoc: Map EMMC/SD mux register | 47 | target/riscv: Implement PMU CSR predicate function for S-mode |
36 | docs/system: riscv: Add documentation for 'microchip-icicle-kit' machine | 48 | target/riscv: pmu: Rename the counters extension to pmu |
49 | target/riscv: pmu: Make number of counters configurable | ||
50 | target/riscv: Implement mcountinhibit CSR | ||
51 | target/riscv: Add support for hpmcounters/hpmevents | ||
52 | target/riscv: Support mcycle/minstret write operation | ||
37 | 53 | ||
38 | Frank Chang (1): | 54 | Nicolas Pitre (1): |
39 | target/riscv: fix vs() to return proper error code | 55 | target/riscv/pmp: guard against PMP ranges with a negative size |
40 | 56 | ||
41 | Georg Kotheimer (6): | 57 | Richard Henderson (3): |
42 | target/riscv: Adjust privilege level for HLV(X)/HSV instructions | 58 | target/riscv: Set env->bins in gen_exception_illegal |
43 | target/riscv: Make VSTIP and VSEIP read-only in hip | 59 | target/riscv: Remove generate_exception_mtval |
44 | target/riscv: Use background registers also for MSTATUS_MPV | 60 | target/riscv: Minimize the calls to decode_save_opc |
45 | target/riscv: Fix read and write accesses to vsip and vsie | ||
46 | target/riscv: Add proper two-stage lookup exception detection | ||
47 | target/riscv: Prevent lost illegal instruction exceptions | ||
48 | 61 | ||
49 | Jim Shu (3): | 62 | Víctor Colombo (1): |
50 | target/riscv: propagate PMP permission to TLB page | 63 | target/riscv: Remove condition guarding register zero for auipc and lui |
51 | target/riscv: add log of PMP permission checking | ||
52 | target/riscv: flush TLB pages if PMP permission has been changed | ||
53 | 64 | ||
54 | docs/system/riscv/microchip-icicle-kit.rst | 89 ++++++++++++++ | 65 | target/riscv/cpu.h | 24 +- |
55 | docs/system/target-riscv.rst | 1 + | 66 | target/riscv/cpu_bits.h | 30 +- |
56 | include/hw/char/ibex_uart.h | 4 + | 67 | target/riscv/pmu.h | 28 + |
57 | include/hw/riscv/microchip_pfsoc.h | 1 + | 68 | hw/riscv/boot.c | 4 +- |
58 | include/hw/riscv/virt.h | 2 + | 69 | target/riscv/cpu.c | 17 +- |
59 | target/riscv/cpu.h | 4 + | 70 | target/riscv/cpu_helper.c | 134 ++-- |
60 | target/riscv/pmp.h | 4 +- | 71 | target/riscv/csr.c | 857 +++++++++++++++---------- |
61 | hw/block/m25p80.c | 3 + | 72 | target/riscv/machine.c | 25 + |
62 | hw/char/ibex_uart.c | 23 +++- | 73 | target/riscv/pmp.c | 3 + |
63 | hw/riscv/microchip_pfsoc.c | 6 + | 74 | target/riscv/pmu.c | 32 + |
64 | hw/riscv/virt.c | 33 ++++++ | 75 | target/riscv/translate.c | 31 +- |
65 | target/riscv/cpu.c | 1 + | 76 | target/riscv/insn_trans/trans_privileged.c.inc | 4 + |
66 | target/riscv/cpu_helper.c | 144 +++++++++++++++-------- | 77 | target/riscv/insn_trans/trans_rvh.c.inc | 2 + |
67 | target/riscv/csr.c | 77 +++++++------ | 78 | target/riscv/insn_trans/trans_rvi.c.inc | 10 +- |
68 | target/riscv/pmp.c | 84 ++++++++++---- | 79 | target/riscv/meson.build | 3 +- |
69 | target/riscv/translate.c | 179 +---------------------------- | 80 | tests/tcg/riscv64/Makefile.softmmu-target | 21 + |
70 | hw/riscv/Kconfig | 1 + | 81 | tests/tcg/riscv64/issue1060.S | 53 ++ |
71 | 17 files changed, 367 insertions(+), 289 deletions(-) | 82 | tests/tcg/riscv64/semihost.ld | 21 + |
72 | create mode 100644 docs/system/riscv/microchip-icicle-kit.rst | 83 | 18 files changed, 843 insertions(+), 456 deletions(-) |
73 | 84 | create mode 100644 target/riscv/pmu.h | |
85 | create mode 100644 target/riscv/pmu.c | ||
86 | create mode 100644 tests/tcg/riscv64/Makefile.softmmu-target | ||
87 | create mode 100644 tests/tcg/riscv64/issue1060.S | ||
88 | create mode 100644 tests/tcg/riscv64/semihost.ld | diff view generated by jsdifflib |
1 | From: Georg Kotheimer <georg.kotheimer@kernkonzept.com> | 1 | From: Víctor Colombo <victor.colombo@eldorado.org.br> |
---|---|---|---|
2 | 2 | ||
3 | The current two-stage lookup detection in riscv_cpu_do_interrupt falls | 3 | Commit 57c108b8646 introduced gen_set_gpri(), which already contains |
4 | short of its purpose, as all it checks is whether two-stage address | 4 | a check for if the destination register is 'zero'. The check in auipc |
5 | translation either via the hypervisor-load store instructions or the | 5 | and lui are then redundant. This patch removes those checks. |
6 | MPRV feature would be allowed. | ||
7 | 6 | ||
8 | What we really need instead is whether two-stage address translation was | 7 | Signed-off-by: Víctor Colombo <victor.colombo@eldorado.org.br> |
9 | active when the exception was raised. However, in riscv_cpu_do_interrupt | 8 | Reviewed-by: Richard Henderson <richard.henderson@linaro.org> |
10 | we do not have the information to reliably detect this. Therefore, when | ||
11 | we raise a memory fault exception we have to record whether two-stage | ||
12 | address translation is active. | ||
13 | |||
14 | Signed-off-by: Georg Kotheimer <georg.kotheimer@kernkonzept.com> | ||
15 | Reviewed-by: Alistair Francis <alistair.francis@wdc.com> | 9 | Reviewed-by: Alistair Francis <alistair.francis@wdc.com> |
16 | Message-id: 20210319141459.1196741-1-georg.kotheimer@kernkonzept.com | 10 | Message-Id: <20220610165517.47517-1-victor.colombo@eldorado.org.br> |
17 | Signed-off-by: Alistair Francis <alistair.francis@wdc.com> | 11 | Signed-off-by: Alistair Francis <alistair.francis@wdc.com> |
18 | --- | 12 | --- |
19 | target/riscv/cpu.h | 4 ++++ | 13 | target/riscv/insn_trans/trans_rvi.c.inc | 8 ++------ |
20 | target/riscv/cpu.c | 1 + | 14 | 1 file changed, 2 insertions(+), 6 deletions(-) |
21 | target/riscv/cpu_helper.c | 21 ++++++++------------- | ||
22 | 3 files changed, 13 insertions(+), 13 deletions(-) | ||
23 | 15 | ||
24 | diff --git a/target/riscv/cpu.h b/target/riscv/cpu.h | 16 | diff --git a/target/riscv/insn_trans/trans_rvi.c.inc b/target/riscv/insn_trans/trans_rvi.c.inc |
25 | index XXXXXXX..XXXXXXX 100644 | 17 | index XXXXXXX..XXXXXXX 100644 |
26 | --- a/target/riscv/cpu.h | 18 | --- a/target/riscv/insn_trans/trans_rvi.c.inc |
27 | +++ b/target/riscv/cpu.h | 19 | +++ b/target/riscv/insn_trans/trans_rvi.c.inc |
28 | @@ -XXX,XX +XXX,XX @@ struct CPURISCVState { | 20 | @@ -XXX,XX +XXX,XX @@ static bool trans_c64_illegal(DisasContext *ctx, arg_empty *a) |
29 | target_ulong satp_hs; | 21 | |
30 | uint64_t mstatus_hs; | 22 | static bool trans_lui(DisasContext *ctx, arg_lui *a) |
31 | 23 | { | |
32 | + /* Signals whether the current exception occurred with two-stage address | 24 | - if (a->rd != 0) { |
33 | + translation active. */ | 25 | - gen_set_gpri(ctx, a->rd, a->imm); |
34 | + bool two_stage_lookup; | 26 | - } |
35 | + | 27 | + gen_set_gpri(ctx, a->rd, a->imm); |
36 | target_ulong scounteren; | 28 | return true; |
37 | target_ulong mcounteren; | ||
38 | |||
39 | diff --git a/target/riscv/cpu.c b/target/riscv/cpu.c | ||
40 | index XXXXXXX..XXXXXXX 100644 | ||
41 | --- a/target/riscv/cpu.c | ||
42 | +++ b/target/riscv/cpu.c | ||
43 | @@ -XXX,XX +XXX,XX @@ static void riscv_cpu_reset(DeviceState *dev) | ||
44 | env->mstatus &= ~(MSTATUS_MIE | MSTATUS_MPRV); | ||
45 | env->mcause = 0; | ||
46 | env->pc = env->resetvec; | ||
47 | + env->two_stage_lookup = false; | ||
48 | #endif | ||
49 | cs->exception_index = EXCP_NONE; | ||
50 | env->load_res = -1; | ||
51 | diff --git a/target/riscv/cpu_helper.c b/target/riscv/cpu_helper.c | ||
52 | index XXXXXXX..XXXXXXX 100644 | ||
53 | --- a/target/riscv/cpu_helper.c | ||
54 | +++ b/target/riscv/cpu_helper.c | ||
55 | @@ -XXX,XX +XXX,XX @@ static void raise_mmu_exception(CPURISCVState *env, target_ulong address, | ||
56 | g_assert_not_reached(); | ||
57 | } | ||
58 | env->badaddr = address; | ||
59 | + env->two_stage_lookup = two_stage; | ||
60 | } | 29 | } |
61 | 30 | ||
62 | hwaddr riscv_cpu_get_phys_page_debug(CPUState *cs, vaddr addr) | 31 | static bool trans_auipc(DisasContext *ctx, arg_auipc *a) |
63 | @@ -XXX,XX +XXX,XX @@ void riscv_cpu_do_transaction_failed(CPUState *cs, hwaddr physaddr, | 32 | { |
64 | } | 33 | - if (a->rd != 0) { |
65 | 34 | - gen_set_gpri(ctx, a->rd, a->imm + ctx->base.pc_next); | |
66 | env->badaddr = addr; | 35 | - } |
67 | + env->two_stage_lookup = riscv_cpu_virt_enabled(env) || | 36 | + gen_set_gpri(ctx, a->rd, a->imm + ctx->base.pc_next); |
68 | + riscv_cpu_two_stage_lookup(mmu_idx); | 37 | return true; |
69 | riscv_raise_exception(&cpu->env, cs->exception_index, retaddr); | ||
70 | } | 38 | } |
71 | 39 | ||
72 | @@ -XXX,XX +XXX,XX @@ void riscv_cpu_do_unaligned_access(CPUState *cs, vaddr addr, | ||
73 | g_assert_not_reached(); | ||
74 | } | ||
75 | env->badaddr = addr; | ||
76 | + env->two_stage_lookup = riscv_cpu_virt_enabled(env) || | ||
77 | + riscv_cpu_two_stage_lookup(mmu_idx); | ||
78 | riscv_raise_exception(env, cs->exception_index, retaddr); | ||
79 | } | ||
80 | #endif /* !CONFIG_USER_ONLY */ | ||
81 | @@ -XXX,XX +XXX,XX @@ void riscv_cpu_do_interrupt(CPUState *cs) | ||
82 | /* handle the trap in S-mode */ | ||
83 | if (riscv_has_ext(env, RVH)) { | ||
84 | target_ulong hdeleg = async ? env->hideleg : env->hedeleg; | ||
85 | - bool two_stage_lookup = false; | ||
86 | |||
87 | - if (env->priv == PRV_M || | ||
88 | - (env->priv == PRV_S && !riscv_cpu_virt_enabled(env)) || | ||
89 | - (env->priv == PRV_U && !riscv_cpu_virt_enabled(env) && | ||
90 | - get_field(env->hstatus, HSTATUS_HU))) { | ||
91 | - two_stage_lookup = true; | ||
92 | - } | ||
93 | - | ||
94 | - if ((riscv_cpu_virt_enabled(env) || two_stage_lookup) && write_tval) { | ||
95 | + if (env->two_stage_lookup && write_tval) { | ||
96 | /* | ||
97 | * If we are writing a guest virtual address to stval, set | ||
98 | * this to 1. If we are trapping to VS we will set this to 0 | ||
99 | @@ -XXX,XX +XXX,XX @@ void riscv_cpu_do_interrupt(CPUState *cs) | ||
100 | riscv_cpu_set_force_hs_excep(env, 0); | ||
101 | } else { | ||
102 | /* Trap into HS mode */ | ||
103 | - if (!two_stage_lookup) { | ||
104 | - env->hstatus = set_field(env->hstatus, HSTATUS_SPV, | ||
105 | - riscv_cpu_virt_enabled(env)); | ||
106 | - } | ||
107 | + env->hstatus = set_field(env->hstatus, HSTATUS_SPV, false); | ||
108 | htval = env->guest_phys_fault_addr; | ||
109 | } | ||
110 | } | ||
111 | @@ -XXX,XX +XXX,XX @@ void riscv_cpu_do_interrupt(CPUState *cs) | ||
112 | * RISC-V ISA Specification. | ||
113 | */ | ||
114 | |||
115 | + env->two_stage_lookup = false; | ||
116 | #endif | ||
117 | cs->exception_index = EXCP_NONE; /* mark handled to qemu */ | ||
118 | } | ||
119 | -- | 40 | -- |
120 | 2.30.1 | 41 | 2.36.1 |
121 | |||
122 | diff view generated by jsdifflib |
1 | From: Bin Meng <bin.meng@windriver.com> | 1 | From: Richard Henderson <richard.henderson@linaro.org> |
---|---|---|---|
2 | 2 | ||
3 | This adds the documentation to describe what is supported for the | 3 | While we set env->bins when unwinding for ILLEGAL_INST, |
4 | 'microchip-icicle-kit' machine, and how to boot the machine in QEMU. | 4 | from e.g. csrrw, we weren't setting it for immediately |
5 | illegal instructions. | ||
5 | 6 | ||
6 | Signed-off-by: Bin Meng <bin.meng@windriver.com> | 7 | Add a testcase for mtval via both exception paths. |
8 | |||
9 | Resolves: https://gitlab.com/qemu-project/qemu/-/issues/1060 | ||
10 | Signed-off-by: Richard Henderson <richard.henderson@linaro.org> | ||
7 | Reviewed-by: Alistair Francis <alistair.francis@wdc.com> | 11 | Reviewed-by: Alistair Francis <alistair.francis@wdc.com> |
8 | Message-id: 20210322075248.136255-2-bmeng.cn@gmail.com | 12 | Message-Id: <20220604231004.49990-2-richard.henderson@linaro.org> |
9 | Signed-off-by: Alistair Francis <alistair.francis@wdc.com> | 13 | Signed-off-by: Alistair Francis <alistair.francis@wdc.com> |
10 | --- | 14 | --- |
11 | docs/system/riscv/microchip-icicle-kit.rst | 89 ++++++++++++++++++++++ | 15 | target/riscv/translate.c | 2 + |
12 | docs/system/target-riscv.rst | 1 + | 16 | tests/tcg/riscv64/Makefile.softmmu-target | 21 +++++++++ |
13 | 2 files changed, 90 insertions(+) | 17 | tests/tcg/riscv64/issue1060.S | 53 +++++++++++++++++++++++ |
14 | create mode 100644 docs/system/riscv/microchip-icicle-kit.rst | 18 | tests/tcg/riscv64/semihost.ld | 21 +++++++++ |
19 | 4 files changed, 97 insertions(+) | ||
20 | create mode 100644 tests/tcg/riscv64/Makefile.softmmu-target | ||
21 | create mode 100644 tests/tcg/riscv64/issue1060.S | ||
22 | create mode 100644 tests/tcg/riscv64/semihost.ld | ||
15 | 23 | ||
16 | diff --git a/docs/system/riscv/microchip-icicle-kit.rst b/docs/system/riscv/microchip-icicle-kit.rst | 24 | diff --git a/target/riscv/translate.c b/target/riscv/translate.c |
25 | index XXXXXXX..XXXXXXX 100644 | ||
26 | --- a/target/riscv/translate.c | ||
27 | +++ b/target/riscv/translate.c | ||
28 | @@ -XXX,XX +XXX,XX @@ static void generate_exception_mtval(DisasContext *ctx, int excp) | ||
29 | |||
30 | static void gen_exception_illegal(DisasContext *ctx) | ||
31 | { | ||
32 | + tcg_gen_st_i32(tcg_constant_i32(ctx->opcode), cpu_env, | ||
33 | + offsetof(CPURISCVState, bins)); | ||
34 | generate_exception(ctx, RISCV_EXCP_ILLEGAL_INST); | ||
35 | } | ||
36 | |||
37 | diff --git a/tests/tcg/riscv64/Makefile.softmmu-target b/tests/tcg/riscv64/Makefile.softmmu-target | ||
17 | new file mode 100644 | 38 | new file mode 100644 |
18 | index XXXXXXX..XXXXXXX | 39 | index XXXXXXX..XXXXXXX |
19 | --- /dev/null | 40 | --- /dev/null |
20 | +++ b/docs/system/riscv/microchip-icicle-kit.rst | 41 | +++ b/tests/tcg/riscv64/Makefile.softmmu-target |
21 | @@ -XXX,XX +XXX,XX @@ | 42 | @@ -XXX,XX +XXX,XX @@ |
22 | +Microchip PolarFire SoC Icicle Kit (``microchip-icicle-kit``) | 43 | +# |
23 | +============================================================= | 44 | +# RISC-V system tests |
45 | +# | ||
24 | + | 46 | + |
25 | +Microchip PolarFire SoC Icicle Kit integrates a PolarFire SoC, with one | 47 | +TEST_SRC = $(SRC_PATH)/tests/tcg/riscv64 |
26 | +SiFive's E51 plus four U54 cores and many on-chip peripherals and an FPGA. | 48 | +VPATH += $(TEST_SRC) |
27 | + | 49 | + |
28 | +For more details about Microchip PolarFire SoC, please see: | 50 | +LINK_SCRIPT = $(TEST_SRC)/semihost.ld |
29 | +https://www.microsemi.com/product-directory/soc-fpgas/5498-polarfire-soc-fpga | 51 | +LDFLAGS = -T $(LINK_SCRIPT) |
52 | +CFLAGS += -g -Og | ||
30 | + | 53 | + |
31 | +The Icicle Kit board information can be found here: | 54 | +%.o: %.S |
32 | +https://www.microsemi.com/existing-parts/parts/152514 | 55 | + $(CC) $(CFLAGS) $< -c -o $@ |
56 | +%: %.o $(LINK_SCRIPT) | ||
57 | + $(LD) $(LDFLAGS) $< -o $@ | ||
33 | + | 58 | + |
34 | +Supported devices | 59 | +QEMU_OPTS += -M virt -display none -semihosting -device loader,file= |
35 | +----------------- | ||
36 | + | 60 | + |
37 | +The ``microchip-icicle-kit`` machine supports the following devices: | 61 | +EXTRA_RUNS += run-issue1060 |
62 | +run-issue1060: issue1060 | ||
63 | + $(call run-test, $<, $(QEMU) $(QEMU_OPTS)$<) | ||
64 | diff --git a/tests/tcg/riscv64/issue1060.S b/tests/tcg/riscv64/issue1060.S | ||
65 | new file mode 100644 | ||
66 | index XXXXXXX..XXXXXXX | ||
67 | --- /dev/null | ||
68 | +++ b/tests/tcg/riscv64/issue1060.S | ||
69 | @@ -XXX,XX +XXX,XX @@ | ||
70 | + .option norvc | ||
38 | + | 71 | + |
39 | + * 1 E51 core | 72 | + .text |
40 | + * 4 U54 cores | 73 | + .global _start |
41 | + * Core Level Interruptor (CLINT) | 74 | +_start: |
42 | + * Platform-Level Interrupt Controller (PLIC) | 75 | + lla t0, trap |
43 | + * L2 Loosely Integrated Memory (L2-LIM) | 76 | + csrw mtvec, t0 |
44 | + * DDR memory controller | ||
45 | + * 5 MMUARTs | ||
46 | + * 1 DMA controller | ||
47 | + * 2 GEM Ethernet controllers | ||
48 | + * 1 SDHC storage controller | ||
49 | + | 77 | + |
50 | +Boot options | 78 | + # These are all illegal instructions |
51 | +------------ | 79 | + csrw time, x0 |
80 | + .insn i CUSTOM_0, 0, x0, x0, 0x321 | ||
81 | + csrw time, x0 | ||
82 | + .insn i CUSTOM_0, 0, x0, x0, 0x123 | ||
83 | + csrw cycle, x0 | ||
52 | + | 84 | + |
53 | +The ``microchip-icicle-kit`` machine can start using the standard -bios | 85 | + # Success! |
54 | +functionality for loading its BIOS image, aka Hart Software Services (HSS_). | 86 | + li a0, 0 |
55 | +HSS loads the second stage bootloader U-Boot from an SD card. It does not | 87 | + j _exit |
56 | +support direct kernel loading via the -kernel option. One has to load kernel | ||
57 | +from U-Boot. | ||
58 | + | 88 | + |
59 | +The memory is set to 1537 MiB by default which is the minimum required high | 89 | +trap: |
60 | +memory size by HSS. A sanity check on ram size is performed in the machine | 90 | + # When an instruction traps, compare it to the insn in memory. |
61 | +init routine to prompt user to increase the RAM size to > 1537 MiB when less | 91 | + csrr t0, mepc |
62 | +than 1537 MiB ram is detected. | 92 | + csrr t1, mtval |
93 | + lwu t2, 0(t0) | ||
94 | + bne t1, t2, fail | ||
63 | + | 95 | + |
64 | +Boot the machine | 96 | + # Skip the insn and continue. |
65 | +---------------- | 97 | + addi t0, t0, 4 |
98 | + csrw mepc, t0 | ||
99 | + mret | ||
66 | + | 100 | + |
67 | +HSS 2020.12 release is tested at the time of writing. To build an HSS image | 101 | +fail: |
68 | +that can be booted by the ``microchip-icicle-kit`` machine, type the following | 102 | + li a0, 1 |
69 | +in the HSS source tree: | ||
70 | + | 103 | + |
71 | +.. code-block:: bash | 104 | +# Exit code in a0 |
105 | +_exit: | ||
106 | + lla a1, semiargs | ||
107 | + li t0, 0x20026 # ADP_Stopped_ApplicationExit | ||
108 | + sd t0, 0(a1) | ||
109 | + sd a0, 8(a1) | ||
110 | + li a0, 0x20 # TARGET_SYS_EXIT_EXTENDED | ||
72 | + | 111 | + |
73 | + $ export CROSS_COMPILE=riscv64-linux- | 112 | + # Semihosting call sequence |
74 | + $ cp boards/mpfs-icicle-kit-es/def_config .config | 113 | + .balign 16 |
75 | + $ make BOARD=mpfs-icicle-kit-es | 114 | + slli zero, zero, 0x1f |
115 | + ebreak | ||
116 | + srai zero, zero, 0x7 | ||
117 | + j . | ||
76 | + | 118 | + |
77 | +Download the official SD card image released by Microchip and prepare it for | 119 | + .data |
78 | +QEMU usage: | 120 | + .balign 16 |
121 | +semiargs: | ||
122 | + .space 16 | ||
123 | diff --git a/tests/tcg/riscv64/semihost.ld b/tests/tcg/riscv64/semihost.ld | ||
124 | new file mode 100644 | ||
125 | index XXXXXXX..XXXXXXX | ||
126 | --- /dev/null | ||
127 | +++ b/tests/tcg/riscv64/semihost.ld | ||
128 | @@ -XXX,XX +XXX,XX @@ | ||
129 | +ENTRY(_start) | ||
79 | + | 130 | + |
80 | +.. code-block:: bash | 131 | +SECTIONS |
81 | + | 132 | +{ |
82 | + $ wget ftp://ftpsoc.microsemi.com/outgoing/core-image-minimal-dev-icicle-kit-es-sd-20201009141623.rootfs.wic.gz | 133 | + /* virt machine, RAM starts at 2gb */ |
83 | + $ gunzip core-image-minimal-dev-icicle-kit-es-sd-20201009141623.rootfs.wic.gz | 134 | + . = 0x80000000; |
84 | + $ qemu-img resize core-image-minimal-dev-icicle-kit-es-sd-20201009141623.rootfs.wic 4G | 135 | + .text : { |
85 | + | 136 | + *(.text) |
86 | +Then we can boot the machine by: | 137 | + } |
87 | + | 138 | + .rodata : { |
88 | +.. code-block:: bash | 139 | + *(.rodata) |
89 | + | 140 | + } |
90 | + $ qemu-system-riscv64 -M microchip-icicle-kit -smp 5 \ | 141 | + /* align r/w section to next 2mb */ |
91 | + -bios path/to/hss.bin -sd path/to/sdcard.img \ | 142 | + . = ALIGN(1 << 21); |
92 | + -nic user,model=cadence_gem \ | 143 | + .data : { |
93 | + -nic tap,ifname=tap,model=cadence_gem,script=no \ | 144 | + *(.data) |
94 | + -display none -serial stdio \ | 145 | + } |
95 | + -chardev socket,id=serial1,path=serial1.sock,server=on,wait=on \ | 146 | + .bss : { |
96 | + -serial chardev:serial1 | 147 | + *(.bss) |
97 | + | 148 | + } |
98 | +With above command line, current terminal session will be used for the first | 149 | +} |
99 | +serial port. Open another terminal window, and use `minicom` to connect the | ||
100 | +second serial port. | ||
101 | + | ||
102 | +.. code-block:: bash | ||
103 | + | ||
104 | + $ minicom -D unix\#serial1.sock | ||
105 | + | ||
106 | +HSS output is on the first serial port (stdio) and U-Boot outputs on the | ||
107 | +second serial port. U-Boot will automatically load the Linux kernel from | ||
108 | +the SD card image. | ||
109 | + | ||
110 | +.. _HSS: https://github.com/polarfire-soc/hart-software-services | ||
111 | diff --git a/docs/system/target-riscv.rst b/docs/system/target-riscv.rst | ||
112 | index XXXXXXX..XXXXXXX 100644 | ||
113 | --- a/docs/system/target-riscv.rst | ||
114 | +++ b/docs/system/target-riscv.rst | ||
115 | @@ -XXX,XX +XXX,XX @@ undocumented; you can get a complete list by running | ||
116 | .. toctree:: | ||
117 | :maxdepth: 1 | ||
118 | |||
119 | + riscv/microchip-icicle-kit | ||
120 | riscv/sifive_u | ||
121 | |||
122 | RISC-V CPU features | ||
123 | -- | 150 | -- |
124 | 2.30.1 | 151 | 2.36.1 |
125 | |||
126 | diff view generated by jsdifflib |
1 | From: Georg Kotheimer <georg.kotheimer@kernkonzept.com> | 1 | From: Richard Henderson <richard.henderson@linaro.org> |
---|---|---|---|
2 | 2 | ||
3 | When decode_insn16() fails, we fall back to decode_RV32_64C() for | 3 | The function doesn't set mtval, it sets badaddr. Move the set |
4 | further compressed instruction decoding. However, prior to this change, | 4 | of badaddr directly into gen_exception_inst_addr_mis and use |
5 | we did not raise an illegal instruction exception, if decode_RV32_64C() | 5 | generate_exception. |
6 | fails to decode the instruction. This means that we skipped illegal | ||
7 | compressed instructions instead of raising an illegal instruction | ||
8 | exception. | ||
9 | 6 | ||
10 | Instead of patching decode_RV32_64C(), we can just remove it, | 7 | Signed-off-by: Richard Henderson <richard.henderson@linaro.org> |
11 | as it is dead code since f330433b363 anyway. | ||
12 | |||
13 | Signed-off-by: Georg Kotheimer <georg.kotheimer@kernkonzept.com> | ||
14 | Reviewed-by: Alistair Francis <alistair.francis@wdc.com> | 8 | Reviewed-by: Alistair Francis <alistair.francis@wdc.com> |
15 | Reviewed-by: Richard Henderson <richard.henderson@linaro.org> | 9 | Message-Id: <20220604231004.49990-3-richard.henderson@linaro.org> |
16 | Message-id: 20210322121609.3097928-1-georg.kotheimer@kernkonzept.com | ||
17 | Signed-off-by: Alistair Francis <alistair.francis@wdc.com> | 10 | Signed-off-by: Alistair Francis <alistair.francis@wdc.com> |
18 | --- | 11 | --- |
19 | target/riscv/translate.c | 179 +-------------------------------------- | 12 | target/riscv/translate.c | 11 ++--------- |
20 | 1 file changed, 1 insertion(+), 178 deletions(-) | 13 | 1 file changed, 2 insertions(+), 9 deletions(-) |
21 | 14 | ||
22 | diff --git a/target/riscv/translate.c b/target/riscv/translate.c | 15 | diff --git a/target/riscv/translate.c b/target/riscv/translate.c |
23 | index XXXXXXX..XXXXXXX 100644 | 16 | index XXXXXXX..XXXXXXX 100644 |
24 | --- a/target/riscv/translate.c | 17 | --- a/target/riscv/translate.c |
25 | +++ b/target/riscv/translate.c | 18 | +++ b/target/riscv/translate.c |
26 | @@ -XXX,XX +XXX,XX @@ typedef struct DisasContext { | 19 | @@ -XXX,XX +XXX,XX @@ static void generate_exception(DisasContext *ctx, int excp) |
27 | CPUState *cs; | ||
28 | } DisasContext; | ||
29 | |||
30 | -#ifdef TARGET_RISCV64 | ||
31 | -/* convert riscv funct3 to qemu memop for load/store */ | ||
32 | -static const int tcg_memop_lookup[8] = { | ||
33 | - [0 ... 7] = -1, | ||
34 | - [0] = MO_SB, | ||
35 | - [1] = MO_TESW, | ||
36 | - [2] = MO_TESL, | ||
37 | - [3] = MO_TEQ, | ||
38 | - [4] = MO_UB, | ||
39 | - [5] = MO_TEUW, | ||
40 | - [6] = MO_TEUL, | ||
41 | -}; | ||
42 | -#endif | ||
43 | - | ||
44 | #ifdef TARGET_RISCV64 | ||
45 | #define CASE_OP_32_64(X) case X: case glue(X, W) | ||
46 | #else | ||
47 | @@ -XXX,XX +XXX,XX @@ static void gen_jal(DisasContext *ctx, int rd, target_ulong imm) | ||
48 | ctx->base.is_jmp = DISAS_NORETURN; | 20 | ctx->base.is_jmp = DISAS_NORETURN; |
49 | } | 21 | } |
50 | 22 | ||
51 | -#ifdef TARGET_RISCV64 | 23 | -static void generate_exception_mtval(DisasContext *ctx, int excp) |
52 | -static void gen_load_c(DisasContext *ctx, uint32_t opc, int rd, int rs1, | ||
53 | - target_long imm) | ||
54 | -{ | 24 | -{ |
55 | - TCGv t0 = tcg_temp_new(); | 25 | - gen_set_pc_imm(ctx, ctx->base.pc_next); |
56 | - TCGv t1 = tcg_temp_new(); | 26 | - tcg_gen_st_tl(cpu_pc, cpu_env, offsetof(CPURISCVState, badaddr)); |
57 | - gen_get_gpr(t0, rs1); | 27 | - gen_helper_raise_exception(cpu_env, tcg_constant_i32(excp)); |
58 | - tcg_gen_addi_tl(t0, t0, imm); | 28 | - ctx->base.is_jmp = DISAS_NORETURN; |
59 | - int memop = tcg_memop_lookup[(opc >> 12) & 0x7]; | ||
60 | - | ||
61 | - if (memop < 0) { | ||
62 | - gen_exception_illegal(ctx); | ||
63 | - return; | ||
64 | - } | ||
65 | - | ||
66 | - tcg_gen_qemu_ld_tl(t1, t0, ctx->mem_idx, memop); | ||
67 | - gen_set_gpr(rd, t1); | ||
68 | - tcg_temp_free(t0); | ||
69 | - tcg_temp_free(t1); | ||
70 | -} | 29 | -} |
71 | - | 30 | - |
72 | -static void gen_store_c(DisasContext *ctx, uint32_t opc, int rs1, int rs2, | 31 | static void gen_exception_illegal(DisasContext *ctx) |
73 | - target_long imm) | ||
74 | -{ | ||
75 | - TCGv t0 = tcg_temp_new(); | ||
76 | - TCGv dat = tcg_temp_new(); | ||
77 | - gen_get_gpr(t0, rs1); | ||
78 | - tcg_gen_addi_tl(t0, t0, imm); | ||
79 | - gen_get_gpr(dat, rs2); | ||
80 | - int memop = tcg_memop_lookup[(opc >> 12) & 0x7]; | ||
81 | - | ||
82 | - if (memop < 0) { | ||
83 | - gen_exception_illegal(ctx); | ||
84 | - return; | ||
85 | - } | ||
86 | - | ||
87 | - tcg_gen_qemu_st_tl(dat, t0, ctx->mem_idx, memop); | ||
88 | - tcg_temp_free(t0); | ||
89 | - tcg_temp_free(dat); | ||
90 | -} | ||
91 | -#endif | ||
92 | - | ||
93 | #ifndef CONFIG_USER_ONLY | ||
94 | /* The states of mstatus_fs are: | ||
95 | * 0 = disabled, 1 = initial, 2 = clean, 3 = dirty | ||
96 | @@ -XXX,XX +XXX,XX @@ static void mark_fs_dirty(DisasContext *ctx) | ||
97 | static inline void mark_fs_dirty(DisasContext *ctx) { } | ||
98 | #endif | ||
99 | |||
100 | -#if !defined(TARGET_RISCV64) | ||
101 | -static void gen_fp_load(DisasContext *ctx, uint32_t opc, int rd, | ||
102 | - int rs1, target_long imm) | ||
103 | -{ | ||
104 | - TCGv t0; | ||
105 | - | ||
106 | - if (ctx->mstatus_fs == 0) { | ||
107 | - gen_exception_illegal(ctx); | ||
108 | - return; | ||
109 | - } | ||
110 | - | ||
111 | - t0 = tcg_temp_new(); | ||
112 | - gen_get_gpr(t0, rs1); | ||
113 | - tcg_gen_addi_tl(t0, t0, imm); | ||
114 | - | ||
115 | - switch (opc) { | ||
116 | - case OPC_RISC_FLW: | ||
117 | - if (!has_ext(ctx, RVF)) { | ||
118 | - goto do_illegal; | ||
119 | - } | ||
120 | - tcg_gen_qemu_ld_i64(cpu_fpr[rd], t0, ctx->mem_idx, MO_TEUL); | ||
121 | - /* RISC-V requires NaN-boxing of narrower width floating point values */ | ||
122 | - tcg_gen_ori_i64(cpu_fpr[rd], cpu_fpr[rd], 0xffffffff00000000ULL); | ||
123 | - break; | ||
124 | - case OPC_RISC_FLD: | ||
125 | - if (!has_ext(ctx, RVD)) { | ||
126 | - goto do_illegal; | ||
127 | - } | ||
128 | - tcg_gen_qemu_ld_i64(cpu_fpr[rd], t0, ctx->mem_idx, MO_TEQ); | ||
129 | - break; | ||
130 | - do_illegal: | ||
131 | - default: | ||
132 | - gen_exception_illegal(ctx); | ||
133 | - break; | ||
134 | - } | ||
135 | - tcg_temp_free(t0); | ||
136 | - | ||
137 | - mark_fs_dirty(ctx); | ||
138 | -} | ||
139 | - | ||
140 | -static void gen_fp_store(DisasContext *ctx, uint32_t opc, int rs1, | ||
141 | - int rs2, target_long imm) | ||
142 | -{ | ||
143 | - TCGv t0; | ||
144 | - | ||
145 | - if (ctx->mstatus_fs == 0) { | ||
146 | - gen_exception_illegal(ctx); | ||
147 | - return; | ||
148 | - } | ||
149 | - | ||
150 | - t0 = tcg_temp_new(); | ||
151 | - gen_get_gpr(t0, rs1); | ||
152 | - tcg_gen_addi_tl(t0, t0, imm); | ||
153 | - | ||
154 | - switch (opc) { | ||
155 | - case OPC_RISC_FSW: | ||
156 | - if (!has_ext(ctx, RVF)) { | ||
157 | - goto do_illegal; | ||
158 | - } | ||
159 | - tcg_gen_qemu_st_i64(cpu_fpr[rs2], t0, ctx->mem_idx, MO_TEUL); | ||
160 | - break; | ||
161 | - case OPC_RISC_FSD: | ||
162 | - if (!has_ext(ctx, RVD)) { | ||
163 | - goto do_illegal; | ||
164 | - } | ||
165 | - tcg_gen_qemu_st_i64(cpu_fpr[rs2], t0, ctx->mem_idx, MO_TEQ); | ||
166 | - break; | ||
167 | - do_illegal: | ||
168 | - default: | ||
169 | - gen_exception_illegal(ctx); | ||
170 | - break; | ||
171 | - } | ||
172 | - | ||
173 | - tcg_temp_free(t0); | ||
174 | -} | ||
175 | -#endif | ||
176 | - | ||
177 | static void gen_set_rm(DisasContext *ctx, int rm) | ||
178 | { | 32 | { |
179 | TCGv_i32 t0; | 33 | tcg_gen_st_i32(tcg_constant_i32(ctx->opcode), cpu_env, |
180 | @@ -XXX,XX +XXX,XX @@ static void gen_set_rm(DisasContext *ctx, int rm) | 34 | @@ -XXX,XX +XXX,XX @@ static void gen_exception_illegal(DisasContext *ctx) |
181 | tcg_temp_free_i32(t0); | 35 | |
36 | static void gen_exception_inst_addr_mis(DisasContext *ctx) | ||
37 | { | ||
38 | - generate_exception_mtval(ctx, RISCV_EXCP_INST_ADDR_MIS); | ||
39 | + tcg_gen_st_tl(cpu_pc, cpu_env, offsetof(CPURISCVState, badaddr)); | ||
40 | + generate_exception(ctx, RISCV_EXCP_INST_ADDR_MIS); | ||
182 | } | 41 | } |
183 | 42 | ||
184 | -static void decode_RV32_64C0(DisasContext *ctx, uint16_t opcode) | 43 | static void gen_goto_tb(DisasContext *ctx, int n, target_ulong dest) |
185 | -{ | ||
186 | - uint8_t funct3 = extract16(opcode, 13, 3); | ||
187 | - uint8_t rd_rs2 = GET_C_RS2S(opcode); | ||
188 | - uint8_t rs1s = GET_C_RS1S(opcode); | ||
189 | - | ||
190 | - switch (funct3) { | ||
191 | - case 3: | ||
192 | -#if defined(TARGET_RISCV64) | ||
193 | - /* C.LD(RV64/128) -> ld rd', offset[7:3](rs1')*/ | ||
194 | - gen_load_c(ctx, OPC_RISC_LD, rd_rs2, rs1s, | ||
195 | - GET_C_LD_IMM(opcode)); | ||
196 | -#else | ||
197 | - /* C.FLW (RV32) -> flw rd', offset[6:2](rs1')*/ | ||
198 | - gen_fp_load(ctx, OPC_RISC_FLW, rd_rs2, rs1s, | ||
199 | - GET_C_LW_IMM(opcode)); | ||
200 | -#endif | ||
201 | - break; | ||
202 | - case 7: | ||
203 | -#if defined(TARGET_RISCV64) | ||
204 | - /* C.SD (RV64/128) -> sd rs2', offset[7:3](rs1')*/ | ||
205 | - gen_store_c(ctx, OPC_RISC_SD, rs1s, rd_rs2, | ||
206 | - GET_C_LD_IMM(opcode)); | ||
207 | -#else | ||
208 | - /* C.FSW (RV32) -> fsw rs2', offset[6:2](rs1')*/ | ||
209 | - gen_fp_store(ctx, OPC_RISC_FSW, rs1s, rd_rs2, | ||
210 | - GET_C_LW_IMM(opcode)); | ||
211 | -#endif | ||
212 | - break; | ||
213 | - } | ||
214 | -} | ||
215 | - | ||
216 | -static void decode_RV32_64C(DisasContext *ctx, uint16_t opcode) | ||
217 | -{ | ||
218 | - uint8_t op = extract16(opcode, 0, 2); | ||
219 | - | ||
220 | - switch (op) { | ||
221 | - case 0: | ||
222 | - decode_RV32_64C0(ctx, opcode); | ||
223 | - break; | ||
224 | - } | ||
225 | -} | ||
226 | - | ||
227 | static int ex_plus_1(DisasContext *ctx, int nf) | ||
228 | { | ||
229 | return nf + 1; | ||
230 | @@ -XXX,XX +XXX,XX @@ static void decode_opc(CPURISCVState *env, DisasContext *ctx, uint16_t opcode) | ||
231 | } else { | ||
232 | ctx->pc_succ_insn = ctx->base.pc_next + 2; | ||
233 | if (!decode_insn16(ctx, opcode)) { | ||
234 | - /* fall back to old decoder */ | ||
235 | - decode_RV32_64C(ctx, opcode); | ||
236 | + gen_exception_illegal(ctx); | ||
237 | } | ||
238 | } | ||
239 | } else { | ||
240 | -- | 44 | -- |
241 | 2.30.1 | 45 | 2.36.1 |
242 | |||
243 | diff view generated by jsdifflib |
1 | From: Georg Kotheimer <georg.kotheimer@kernkonzept.com> | 1 | From: Richard Henderson <richard.henderson@linaro.org> |
---|---|---|---|
2 | 2 | ||
3 | The previous implementation was broken in many ways: | 3 | The set of instructions that require decode_save_opc for |
4 | - Used mideleg instead of hideleg to mask accesses | 4 | unwinding is really fairly small -- only insns that can |
5 | - Used MIP_VSSIP instead of VS_MODE_INTERRUPTS to mask writes to vsie | 5 | raise ILLEGAL_INSN at runtime. This includes CSR, anything |
6 | - Did not shift between S bits and VS bits (VSEIP <-> SEIP, ...) | 6 | that uses a *new* fp rounding mode, and many privileged insns. |
7 | 7 | ||
8 | Signed-off-by: Georg Kotheimer <georg.kotheimer@kernkonzept.com> | 8 | Since unwind info is stored as the difference from the |
9 | previous insn, storing a 0 for most insns minimizes the | ||
10 | size of the unwind info. | ||
11 | |||
12 | Booting a debian kernel image to the missing rootfs panic yields | ||
13 | |||
14 | - gen code size 22226819/1026886656 | ||
15 | + gen code size 21601907/1026886656 | ||
16 | |||
17 | on 41k TranslationBlocks, a savings of 610kB or a bit less than 3%. | ||
18 | |||
19 | Signed-off-by: Richard Henderson <richard.henderson@linaro.org> | ||
9 | Reviewed-by: Alistair Francis <alistair.francis@wdc.com> | 20 | Reviewed-by: Alistair Francis <alistair.francis@wdc.com> |
10 | Message-id: 20210311094738.1376795-1-georg.kotheimer@kernkonzept.com | 21 | Message-Id: <20220604231004.49990-4-richard.henderson@linaro.org> |
11 | Signed-off-by: Alistair Francis <alistair.francis@wdc.com> | 22 | Signed-off-by: Alistair Francis <alistair.francis@wdc.com> |
12 | --- | 23 | --- |
13 | target/riscv/csr.c | 68 +++++++++++++++++++++++----------------------- | 24 | target/riscv/translate.c | 18 +++++++++--------- |
14 | 1 file changed, 34 insertions(+), 34 deletions(-) | 25 | target/riscv/insn_trans/trans_privileged.c.inc | 4 ++++ |
26 | target/riscv/insn_trans/trans_rvh.c.inc | 2 ++ | ||
27 | target/riscv/insn_trans/trans_rvi.c.inc | 2 ++ | ||
28 | 4 files changed, 17 insertions(+), 9 deletions(-) | ||
15 | 29 | ||
16 | diff --git a/target/riscv/csr.c b/target/riscv/csr.c | 30 | diff --git a/target/riscv/translate.c b/target/riscv/translate.c |
17 | index XXXXXXX..XXXXXXX 100644 | 31 | index XXXXXXX..XXXXXXX 100644 |
18 | --- a/target/riscv/csr.c | 32 | --- a/target/riscv/translate.c |
19 | +++ b/target/riscv/csr.c | 33 | +++ b/target/riscv/translate.c |
20 | @@ -XXX,XX +XXX,XX @@ static int write_sstatus(CPURISCVState *env, int csrno, target_ulong val) | 34 | @@ -XXX,XX +XXX,XX @@ static void gen_check_nanbox_s(TCGv_i64 out, TCGv_i64 in) |
21 | return write_mstatus(env, CSR_MSTATUS, newval); | 35 | tcg_gen_movcond_i64(TCG_COND_GEU, out, in, t_max, in, t_nan); |
22 | } | 36 | } |
23 | 37 | ||
24 | +static int read_vsie(CPURISCVState *env, int csrno, target_ulong *val) | 38 | +static void decode_save_opc(DisasContext *ctx) |
25 | +{ | 39 | +{ |
26 | + /* Shift the VS bits to their S bit location in vsie */ | 40 | + assert(ctx->insn_start != NULL); |
27 | + *val = (env->mie & env->hideleg & VS_MODE_INTERRUPTS) >> 1; | 41 | + tcg_set_insn_start_param(ctx->insn_start, 1, ctx->opcode); |
28 | + return 0; | 42 | + ctx->insn_start = NULL; |
29 | +} | 43 | +} |
30 | + | 44 | + |
31 | static int read_sie(CPURISCVState *env, int csrno, target_ulong *val) | 45 | static void gen_set_pc_imm(DisasContext *ctx, target_ulong dest) |
32 | { | 46 | { |
33 | if (riscv_cpu_virt_enabled(env)) { | 47 | if (get_xl(ctx) == MXL_RV32) { |
34 | - /* Tell the guest the VS bits, shifted to the S bit locations */ | 48 | @@ -XXX,XX +XXX,XX @@ static void gen_set_rm(DisasContext *ctx, int rm) |
35 | - *val = (env->mie & env->mideleg & VS_MODE_INTERRUPTS) >> 1; | 49 | return; |
36 | + read_vsie(env, CSR_VSIE, val); | ||
37 | } else { | ||
38 | *val = env->mie & env->mideleg; | ||
39 | } | 50 | } |
40 | return 0; | 51 | |
52 | + /* The helper may raise ILLEGAL_INSN -- record binv for unwind. */ | ||
53 | + decode_save_opc(ctx); | ||
54 | gen_helper_set_rounding_mode(cpu_env, tcg_constant_i32(rm)); | ||
41 | } | 55 | } |
42 | 56 | ||
43 | -static int write_sie(CPURISCVState *env, int csrno, target_ulong val) | 57 | @@ -XXX,XX +XXX,XX @@ static uint32_t opcode_at(DisasContextBase *dcbase, target_ulong pc) |
44 | +static int write_vsie(CPURISCVState *env, int csrno, target_ulong val) | 58 | /* Include decoders for factored-out extensions */ |
45 | { | 59 | #include "decode-XVentanaCondOps.c.inc" |
46 | - target_ulong newval; | 60 | |
47 | + /* Shift the S bits to their VS bit location in mie */ | 61 | -static inline void decode_save_opc(DisasContext *ctx, target_ulong opc) |
48 | + target_ulong newval = (env->mie & ~VS_MODE_INTERRUPTS) | | ||
49 | + ((val << 1) & env->hideleg & VS_MODE_INTERRUPTS); | ||
50 | + return write_mie(env, CSR_MIE, newval); | ||
51 | +} | ||
52 | |||
53 | +static int write_sie(CPURISCVState *env, int csrno, target_ulong val) | ||
54 | +{ | ||
55 | if (riscv_cpu_virt_enabled(env)) { | ||
56 | - /* Shift the guests S bits to VS */ | ||
57 | - newval = (env->mie & ~VS_MODE_INTERRUPTS) | | ||
58 | - ((val << 1) & VS_MODE_INTERRUPTS); | ||
59 | + write_vsie(env, CSR_VSIE, val); | ||
60 | } else { | ||
61 | - newval = (env->mie & ~S_MODE_INTERRUPTS) | (val & S_MODE_INTERRUPTS); | ||
62 | + target_ulong newval = (env->mie & ~S_MODE_INTERRUPTS) | | ||
63 | + (val & S_MODE_INTERRUPTS); | ||
64 | + write_mie(env, CSR_MIE, newval); | ||
65 | } | ||
66 | |||
67 | - return write_mie(env, CSR_MIE, newval); | ||
68 | + return 0; | ||
69 | } | ||
70 | |||
71 | static int read_stvec(CPURISCVState *env, int csrno, target_ulong *val) | ||
72 | @@ -XXX,XX +XXX,XX @@ static int write_sbadaddr(CPURISCVState *env, int csrno, target_ulong val) | ||
73 | return 0; | ||
74 | } | ||
75 | |||
76 | +static int rmw_vsip(CPURISCVState *env, int csrno, target_ulong *ret_value, | ||
77 | + target_ulong new_value, target_ulong write_mask) | ||
78 | +{ | ||
79 | + /* Shift the S bits to their VS bit location in mip */ | ||
80 | + int ret = rmw_mip(env, 0, ret_value, new_value << 1, | ||
81 | + (write_mask << 1) & vsip_writable_mask & env->hideleg); | ||
82 | + *ret_value &= VS_MODE_INTERRUPTS; | ||
83 | + /* Shift the VS bits to their S bit location in vsip */ | ||
84 | + *ret_value >>= 1; | ||
85 | + return ret; | ||
86 | +} | ||
87 | + | ||
88 | static int rmw_sip(CPURISCVState *env, int csrno, target_ulong *ret_value, | ||
89 | target_ulong new_value, target_ulong write_mask) | ||
90 | { | ||
91 | int ret; | ||
92 | |||
93 | if (riscv_cpu_virt_enabled(env)) { | ||
94 | - /* Shift the new values to line up with the VS bits */ | ||
95 | - ret = rmw_mip(env, CSR_MSTATUS, ret_value, new_value << 1, | ||
96 | - (write_mask & sip_writable_mask) << 1 & env->mideleg); | ||
97 | - ret &= vsip_writable_mask; | ||
98 | - ret >>= 1; | ||
99 | + ret = rmw_vsip(env, CSR_VSIP, ret_value, new_value, write_mask); | ||
100 | } else { | ||
101 | ret = rmw_mip(env, CSR_MSTATUS, ret_value, new_value, | ||
102 | write_mask & env->mideleg & sip_writable_mask); | ||
103 | @@ -XXX,XX +XXX,XX @@ static int write_vsstatus(CPURISCVState *env, int csrno, target_ulong val) | ||
104 | return 0; | ||
105 | } | ||
106 | |||
107 | -static int rmw_vsip(CPURISCVState *env, int csrno, target_ulong *ret_value, | ||
108 | - target_ulong new_value, target_ulong write_mask) | ||
109 | -{ | 62 | -{ |
110 | - int ret = rmw_mip(env, 0, ret_value, new_value, | 63 | - assert(ctx->insn_start != NULL); |
111 | - write_mask & env->mideleg & vsip_writable_mask); | 64 | - tcg_set_insn_start_param(ctx->insn_start, 1, opc); |
112 | - return ret; | 65 | - ctx->insn_start = NULL; |
113 | -} | 66 | -} |
114 | - | 67 | - |
115 | -static int read_vsie(CPURISCVState *env, int csrno, target_ulong *val) | 68 | static void decode_opc(CPURISCVState *env, DisasContext *ctx, uint16_t opcode) |
116 | -{ | ||
117 | - *val = env->mie & env->mideleg & VS_MODE_INTERRUPTS; | ||
118 | - return 0; | ||
119 | -} | ||
120 | - | ||
121 | -static int write_vsie(CPURISCVState *env, int csrno, target_ulong val) | ||
122 | -{ | ||
123 | - target_ulong newval = (env->mie & ~env->mideleg) | (val & env->mideleg & MIP_VSSIP); | ||
124 | - return write_mie(env, CSR_MIE, newval); | ||
125 | -} | ||
126 | - | ||
127 | static int read_vstvec(CPURISCVState *env, int csrno, target_ulong *val) | ||
128 | { | 69 | { |
129 | *val = env->vstvec; | 70 | /* |
71 | @@ -XXX,XX +XXX,XX @@ static void decode_opc(CPURISCVState *env, DisasContext *ctx, uint16_t opcode) | ||
72 | |||
73 | /* Check for compressed insn */ | ||
74 | if (extract16(opcode, 0, 2) != 3) { | ||
75 | - decode_save_opc(ctx, opcode); | ||
76 | if (!has_ext(ctx, RVC)) { | ||
77 | gen_exception_illegal(ctx); | ||
78 | } else { | ||
79 | @@ -XXX,XX +XXX,XX @@ static void decode_opc(CPURISCVState *env, DisasContext *ctx, uint16_t opcode) | ||
80 | opcode32 = deposit32(opcode32, 16, 16, | ||
81 | translator_lduw(env, &ctx->base, | ||
82 | ctx->base.pc_next + 2)); | ||
83 | - decode_save_opc(ctx, opcode32); | ||
84 | ctx->opcode = opcode32; | ||
85 | ctx->pc_succ_insn = ctx->base.pc_next + 4; | ||
86 | |||
87 | diff --git a/target/riscv/insn_trans/trans_privileged.c.inc b/target/riscv/insn_trans/trans_privileged.c.inc | ||
88 | index XXXXXXX..XXXXXXX 100644 | ||
89 | --- a/target/riscv/insn_trans/trans_privileged.c.inc | ||
90 | +++ b/target/riscv/insn_trans/trans_privileged.c.inc | ||
91 | @@ -XXX,XX +XXX,XX @@ static bool trans_sret(DisasContext *ctx, arg_sret *a) | ||
92 | { | ||
93 | #ifndef CONFIG_USER_ONLY | ||
94 | if (has_ext(ctx, RVS)) { | ||
95 | + decode_save_opc(ctx); | ||
96 | gen_helper_sret(cpu_pc, cpu_env); | ||
97 | tcg_gen_exit_tb(NULL, 0); /* no chaining */ | ||
98 | ctx->base.is_jmp = DISAS_NORETURN; | ||
99 | @@ -XXX,XX +XXX,XX @@ static bool trans_sret(DisasContext *ctx, arg_sret *a) | ||
100 | static bool trans_mret(DisasContext *ctx, arg_mret *a) | ||
101 | { | ||
102 | #ifndef CONFIG_USER_ONLY | ||
103 | + decode_save_opc(ctx); | ||
104 | gen_helper_mret(cpu_pc, cpu_env); | ||
105 | tcg_gen_exit_tb(NULL, 0); /* no chaining */ | ||
106 | ctx->base.is_jmp = DISAS_NORETURN; | ||
107 | @@ -XXX,XX +XXX,XX @@ static bool trans_mret(DisasContext *ctx, arg_mret *a) | ||
108 | static bool trans_wfi(DisasContext *ctx, arg_wfi *a) | ||
109 | { | ||
110 | #ifndef CONFIG_USER_ONLY | ||
111 | + decode_save_opc(ctx); | ||
112 | gen_set_pc_imm(ctx, ctx->pc_succ_insn); | ||
113 | gen_helper_wfi(cpu_env); | ||
114 | return true; | ||
115 | @@ -XXX,XX +XXX,XX @@ static bool trans_wfi(DisasContext *ctx, arg_wfi *a) | ||
116 | static bool trans_sfence_vma(DisasContext *ctx, arg_sfence_vma *a) | ||
117 | { | ||
118 | #ifndef CONFIG_USER_ONLY | ||
119 | + decode_save_opc(ctx); | ||
120 | gen_helper_tlb_flush(cpu_env); | ||
121 | return true; | ||
122 | #endif | ||
123 | diff --git a/target/riscv/insn_trans/trans_rvh.c.inc b/target/riscv/insn_trans/trans_rvh.c.inc | ||
124 | index XXXXXXX..XXXXXXX 100644 | ||
125 | --- a/target/riscv/insn_trans/trans_rvh.c.inc | ||
126 | +++ b/target/riscv/insn_trans/trans_rvh.c.inc | ||
127 | @@ -XXX,XX +XXX,XX @@ static bool trans_hfence_gvma(DisasContext *ctx, arg_sfence_vma *a) | ||
128 | { | ||
129 | REQUIRE_EXT(ctx, RVH); | ||
130 | #ifndef CONFIG_USER_ONLY | ||
131 | + decode_save_opc(ctx); | ||
132 | gen_helper_hyp_gvma_tlb_flush(cpu_env); | ||
133 | return true; | ||
134 | #endif | ||
135 | @@ -XXX,XX +XXX,XX @@ static bool trans_hfence_vvma(DisasContext *ctx, arg_sfence_vma *a) | ||
136 | { | ||
137 | REQUIRE_EXT(ctx, RVH); | ||
138 | #ifndef CONFIG_USER_ONLY | ||
139 | + decode_save_opc(ctx); | ||
140 | gen_helper_hyp_tlb_flush(cpu_env); | ||
141 | return true; | ||
142 | #endif | ||
143 | diff --git a/target/riscv/insn_trans/trans_rvi.c.inc b/target/riscv/insn_trans/trans_rvi.c.inc | ||
144 | index XXXXXXX..XXXXXXX 100644 | ||
145 | --- a/target/riscv/insn_trans/trans_rvi.c.inc | ||
146 | +++ b/target/riscv/insn_trans/trans_rvi.c.inc | ||
147 | @@ -XXX,XX +XXX,XX @@ static bool trans_fence_i(DisasContext *ctx, arg_fence_i *a) | ||
148 | |||
149 | static bool do_csr_post(DisasContext *ctx) | ||
150 | { | ||
151 | + /* The helper may raise ILLEGAL_INSN -- record binv for unwind. */ | ||
152 | + decode_save_opc(ctx); | ||
153 | /* We may have changed important cpu state -- exit to main loop. */ | ||
154 | gen_set_pc_imm(ctx, ctx->pc_succ_insn); | ||
155 | tcg_gen_exit_tb(NULL, 0); | ||
130 | -- | 156 | -- |
131 | 2.30.1 | 157 | 2.36.1 |
132 | |||
133 | diff view generated by jsdifflib |
1 | From: Jim Shu <cwshu@andestech.com> | 1 | From: Nicolas Pitre <nico@fluxnic.net> |
---|---|---|---|
2 | 2 | ||
3 | If PMP permission of any address has been changed by updating PMP entry, | 3 | For a TOR entry to match, the stard address must be lower than the end |
4 | flush all TLB pages to prevent from getting old permission. | 4 | address. Normally this is always the case, but correct code might still |
5 | run into the following scenario: | ||
5 | 6 | ||
6 | Signed-off-by: Jim Shu <cwshu@andestech.com> | 7 | Initial state: |
8 | |||
9 | pmpaddr3 = 0x2000 pmp3cfg = OFF | ||
10 | pmpaddr4 = 0x3000 pmp4cfg = TOR | ||
11 | |||
12 | Execution: | ||
13 | |||
14 | 1. write 0x40ff to pmpaddr3 | ||
15 | 2. write 0x32ff to pmpaddr4 | ||
16 | 3. set pmp3cfg to NAPOT with a read-modify-write on pmpcfg0 | ||
17 | 4. set pmp4cfg to NAPOT with a read-modify-write on pmpcfg1 | ||
18 | |||
19 | When (2) is emulated, a call to pmp_update_rule() creates a negative | ||
20 | range for pmp4 as pmp4cfg is still set to TOR. And when (3) is emulated, | ||
21 | a call to tlb_flush() is performed, causing pmp_get_tlb_size() to return | ||
22 | a very creatively large TLB size for pmp4. This, in turn, may result in | ||
23 | accesses to non-existent/unitialized memory regions and a fault, so that | ||
24 | (4) ends up never being executed. | ||
25 | |||
26 | This is in m-mode with MPRV unset, meaning that unlocked PMP entries | ||
27 | should have no effect. Therefore such a behavior based on PMP content | ||
28 | is very unexpected. | ||
29 | |||
30 | Make sure no negative PMP range can be created, whether explicitly by | ||
31 | the emulated code or implicitly like the above. | ||
32 | |||
33 | Signed-off-by: Nicolas Pitre <nico@fluxnic.net> | ||
7 | Reviewed-by: Alistair Francis <alistair.francis@wdc.com> | 34 | Reviewed-by: Alistair Francis <alistair.francis@wdc.com> |
8 | Message-id: 1613916082-19528-4-git-send-email-cwshu@andestech.com | 35 | Message-Id: <3oq0sqs1-67o0-145-5n1s-453o118804q@syhkavp.arg> |
9 | Signed-off-by: Alistair Francis <alistair.francis@wdc.com> | 36 | Signed-off-by: Alistair Francis <alistair.francis@wdc.com> |
10 | --- | 37 | --- |
11 | target/riscv/pmp.c | 4 ++++ | 38 | target/riscv/pmp.c | 3 +++ |
12 | 1 file changed, 4 insertions(+) | 39 | 1 file changed, 3 insertions(+) |
13 | 40 | ||
14 | diff --git a/target/riscv/pmp.c b/target/riscv/pmp.c | 41 | diff --git a/target/riscv/pmp.c b/target/riscv/pmp.c |
15 | index XXXXXXX..XXXXXXX 100644 | 42 | index XXXXXXX..XXXXXXX 100644 |
16 | --- a/target/riscv/pmp.c | 43 | --- a/target/riscv/pmp.c |
17 | +++ b/target/riscv/pmp.c | 44 | +++ b/target/riscv/pmp.c |
18 | @@ -XXX,XX +XXX,XX @@ | 45 | @@ -XXX,XX +XXX,XX @@ void pmp_update_rule_addr(CPURISCVState *env, uint32_t pmp_index) |
19 | #include "qapi/error.h" | 46 | case PMP_AMATCH_TOR: |
20 | #include "cpu.h" | 47 | sa = prev_addr << 2; /* shift up from [xx:0] to [xx+2:2] */ |
21 | #include "trace.h" | 48 | ea = (this_addr << 2) - 1u; |
22 | +#include "exec/exec-all.h" | 49 | + if (sa > ea) { |
23 | 50 | + sa = ea = 0u; | |
24 | static void pmp_write_cfg(CPURISCVState *env, uint32_t addr_index, | 51 | + } |
25 | uint8_t val); | 52 | break; |
26 | @@ -XXX,XX +XXX,XX @@ void pmpcfg_csr_write(CPURISCVState *env, uint32_t reg_index, | 53 | |
27 | cfg_val = (val >> 8 * i) & 0xff; | 54 | case PMP_AMATCH_NA4: |
28 | pmp_write_cfg(env, (reg_index * 4) + i, cfg_val); | ||
29 | } | ||
30 | + | ||
31 | + /* If PMP permission of any addr has been changed, flush TLB pages. */ | ||
32 | + tlb_flush(env_cpu(env)); | ||
33 | } | ||
34 | |||
35 | |||
36 | -- | 55 | -- |
37 | 2.30.1 | 56 | 2.36.1 |
38 | |||
39 | diff view generated by jsdifflib |
1 | From: Frank Chang <frank.chang@sifive.com> | 1 | From: Atish Patra <atish.patra@wdc.com> |
---|---|---|---|
2 | 2 | ||
3 | vs() should return -RISCV_EXCP_ILLEGAL_INST instead of -1 if rvv feature | 3 | The predicate function calculates the counter index incorrectly for |
4 | is not enabled. | 4 | hpmcounterx. Fix the counter index to reflect correct CSR number. |
5 | 5 | ||
6 | If -1 is returned, exception will be raised and cs->exception_index will | 6 | Fixes: e39a8320b088 ("target/riscv: Support the Virtual Instruction fault") |
7 | be set to the negative return value. The exception will then be treated | ||
8 | as an instruction access fault instead of illegal instruction fault. | ||
9 | |||
10 | Signed-off-by: Frank Chang <frank.chang@sifive.com> | ||
11 | Reviewed-by: Richard Henderson <richard.henderson@linaro.org> | ||
12 | Reviewed-by: Alistair Francis <alistair.francis@wdc.com> | 7 | Reviewed-by: Alistair Francis <alistair.francis@wdc.com> |
13 | Message-id: 20210223065935.20208-1-frank.chang@sifive.com | 8 | Reviewed-by: Bin Meng <bmeng.cn@gmail.com> |
9 | Signed-off-by: Atish Patra <atish.patra@wdc.com> | ||
10 | Signed-off-by: Atish Patra <atishp@rivosinc.com> | ||
11 | Message-Id: <20220620231603.2547260-2-atishp@rivosinc.com> | ||
14 | Signed-off-by: Alistair Francis <alistair.francis@wdc.com> | 12 | Signed-off-by: Alistair Francis <alistair.francis@wdc.com> |
15 | --- | 13 | --- |
16 | target/riscv/csr.c | 2 +- | 14 | target/riscv/csr.c | 11 +++++++---- |
17 | 1 file changed, 1 insertion(+), 1 deletion(-) | 15 | 1 file changed, 7 insertions(+), 4 deletions(-) |
18 | 16 | ||
19 | diff --git a/target/riscv/csr.c b/target/riscv/csr.c | 17 | diff --git a/target/riscv/csr.c b/target/riscv/csr.c |
20 | index XXXXXXX..XXXXXXX 100644 | 18 | index XXXXXXX..XXXXXXX 100644 |
21 | --- a/target/riscv/csr.c | 19 | --- a/target/riscv/csr.c |
22 | +++ b/target/riscv/csr.c | 20 | +++ b/target/riscv/csr.c |
23 | @@ -XXX,XX +XXX,XX @@ static int vs(CPURISCVState *env, int csrno) | 21 | @@ -XXX,XX +XXX,XX @@ static RISCVException ctr(CPURISCVState *env, int csrno) |
24 | if (env->misa & RVV) { | 22 | #if !defined(CONFIG_USER_ONLY) |
25 | return 0; | 23 | CPUState *cs = env_cpu(env); |
26 | } | 24 | RISCVCPU *cpu = RISCV_CPU(cs); |
27 | - return -1; | 25 | + int ctr_index; |
28 | + return -RISCV_EXCP_ILLEGAL_INST; | 26 | |
29 | } | 27 | if (!cpu->cfg.ext_counters) { |
30 | 28 | /* The Counters extensions is not enabled */ | |
31 | static int ctr(CPURISCVState *env, int csrno) | 29 | @@ -XXX,XX +XXX,XX @@ static RISCVException ctr(CPURISCVState *env, int csrno) |
30 | } | ||
31 | break; | ||
32 | case CSR_HPMCOUNTER3...CSR_HPMCOUNTER31: | ||
33 | - if (!get_field(env->hcounteren, 1 << (csrno - CSR_HPMCOUNTER3)) && | ||
34 | - get_field(env->mcounteren, 1 << (csrno - CSR_HPMCOUNTER3))) { | ||
35 | + ctr_index = csrno - CSR_CYCLE; | ||
36 | + if (!get_field(env->hcounteren, 1 << ctr_index) && | ||
37 | + get_field(env->mcounteren, 1 << ctr_index)) { | ||
38 | return RISCV_EXCP_VIRT_INSTRUCTION_FAULT; | ||
39 | } | ||
40 | break; | ||
41 | @@ -XXX,XX +XXX,XX @@ static RISCVException ctr(CPURISCVState *env, int csrno) | ||
42 | } | ||
43 | break; | ||
44 | case CSR_HPMCOUNTER3H...CSR_HPMCOUNTER31H: | ||
45 | - if (!get_field(env->hcounteren, 1 << (csrno - CSR_HPMCOUNTER3H)) && | ||
46 | - get_field(env->mcounteren, 1 << (csrno - CSR_HPMCOUNTER3H))) { | ||
47 | + ctr_index = csrno - CSR_CYCLEH; | ||
48 | + if (!get_field(env->hcounteren, 1 << ctr_index) && | ||
49 | + get_field(env->mcounteren, 1 << ctr_index)) { | ||
50 | return RISCV_EXCP_VIRT_INSTRUCTION_FAULT; | ||
51 | } | ||
52 | break; | ||
32 | -- | 53 | -- |
33 | 2.30.1 | 54 | 2.36.1 |
34 | |||
35 | diff view generated by jsdifflib |
Deleted patch | |||
---|---|---|---|
1 | From: Alexander Wagner <alexander.wagner@ulal.de> | ||
2 | 1 | ||
3 | Not disabling the UART leads to QEMU overwriting the UART receive buffer with | ||
4 | the newest received byte. The rx_level variable is added to allow the use of | ||
5 | the existing OpenTitan driver libraries. | ||
6 | |||
7 | Signed-off-by: Alexander Wagner <alexander.wagner@ulal.de> | ||
8 | Reviewed-by: Alistair Francis <alistair.francis@wdc.com> | ||
9 | Message-id: 20210309152130.13038-1-alexander.wagner@ulal.de | ||
10 | Signed-off-by: Alistair Francis <alistair.francis@wdc.com> | ||
11 | --- | ||
12 | include/hw/char/ibex_uart.h | 4 ++++ | ||
13 | hw/char/ibex_uart.c | 23 ++++++++++++++++++----- | ||
14 | 2 files changed, 22 insertions(+), 5 deletions(-) | ||
15 | |||
16 | diff --git a/include/hw/char/ibex_uart.h b/include/hw/char/ibex_uart.h | ||
17 | index XXXXXXX..XXXXXXX 100644 | ||
18 | --- a/include/hw/char/ibex_uart.h | ||
19 | +++ b/include/hw/char/ibex_uart.h | ||
20 | @@ -XXX,XX +XXX,XX @@ REG32(FIFO_CTRL, 0x1c) | ||
21 | FIELD(FIFO_CTRL, RXILVL, 2, 3) | ||
22 | FIELD(FIFO_CTRL, TXILVL, 5, 2) | ||
23 | REG32(FIFO_STATUS, 0x20) | ||
24 | + FIELD(FIFO_STATUS, TXLVL, 0, 5) | ||
25 | + FIELD(FIFO_STATUS, RXLVL, 16, 5) | ||
26 | REG32(OVRD, 0x24) | ||
27 | REG32(VAL, 0x28) | ||
28 | REG32(TIMEOUT_CTRL, 0x2c) | ||
29 | @@ -XXX,XX +XXX,XX @@ struct IbexUartState { | ||
30 | uint8_t tx_fifo[IBEX_UART_TX_FIFO_SIZE]; | ||
31 | uint32_t tx_level; | ||
32 | |||
33 | + uint32_t rx_level; | ||
34 | + | ||
35 | QEMUTimer *fifo_trigger_handle; | ||
36 | uint64_t char_tx_time; | ||
37 | |||
38 | diff --git a/hw/char/ibex_uart.c b/hw/char/ibex_uart.c | ||
39 | index XXXXXXX..XXXXXXX 100644 | ||
40 | --- a/hw/char/ibex_uart.c | ||
41 | +++ b/hw/char/ibex_uart.c | ||
42 | @@ -XXX,XX +XXX,XX @@ static int ibex_uart_can_receive(void *opaque) | ||
43 | { | ||
44 | IbexUartState *s = opaque; | ||
45 | |||
46 | - if (s->uart_ctrl & R_CTRL_RX_ENABLE_MASK) { | ||
47 | + if ((s->uart_ctrl & R_CTRL_RX_ENABLE_MASK) | ||
48 | + && !(s->uart_status & R_STATUS_RXFULL_MASK)) { | ||
49 | return 1; | ||
50 | } | ||
51 | |||
52 | @@ -XXX,XX +XXX,XX @@ static void ibex_uart_receive(void *opaque, const uint8_t *buf, int size) | ||
53 | |||
54 | s->uart_status &= ~R_STATUS_RXIDLE_MASK; | ||
55 | s->uart_status &= ~R_STATUS_RXEMPTY_MASK; | ||
56 | + /* The RXFULL is set after receiving a single byte | ||
57 | + * as the FIFO buffers are not yet implemented. | ||
58 | + */ | ||
59 | + s->uart_status |= R_STATUS_RXFULL_MASK; | ||
60 | + s->rx_level += 1; | ||
61 | |||
62 | if (size > rx_fifo_level) { | ||
63 | s->uart_intr_state |= R_INTR_STATE_RX_WATERMARK_MASK; | ||
64 | @@ -XXX,XX +XXX,XX @@ static void ibex_uart_reset(DeviceState *dev) | ||
65 | s->uart_timeout_ctrl = 0x00000000; | ||
66 | |||
67 | s->tx_level = 0; | ||
68 | + s->rx_level = 0; | ||
69 | |||
70 | s->char_tx_time = (NANOSECONDS_PER_SECOND / 230400) * 10; | ||
71 | |||
72 | @@ -XXX,XX +XXX,XX @@ static uint64_t ibex_uart_read(void *opaque, hwaddr addr, | ||
73 | |||
74 | case R_RDATA: | ||
75 | retvalue = s->uart_rdata; | ||
76 | - if (s->uart_ctrl & R_CTRL_RX_ENABLE_MASK) { | ||
77 | + if ((s->uart_ctrl & R_CTRL_RX_ENABLE_MASK) && (s->rx_level > 0)) { | ||
78 | qemu_chr_fe_accept_input(&s->chr); | ||
79 | |||
80 | - s->uart_status |= R_STATUS_RXIDLE_MASK; | ||
81 | - s->uart_status |= R_STATUS_RXEMPTY_MASK; | ||
82 | + s->rx_level -= 1; | ||
83 | + s->uart_status &= ~R_STATUS_RXFULL_MASK; | ||
84 | + if (s->rx_level == 0) { | ||
85 | + s->uart_status |= R_STATUS_RXIDLE_MASK; | ||
86 | + s->uart_status |= R_STATUS_RXEMPTY_MASK; | ||
87 | + } | ||
88 | } | ||
89 | break; | ||
90 | case R_WDATA: | ||
91 | @@ -XXX,XX +XXX,XX @@ static uint64_t ibex_uart_read(void *opaque, hwaddr addr, | ||
92 | case R_FIFO_STATUS: | ||
93 | retvalue = s->uart_fifo_status; | ||
94 | |||
95 | - retvalue |= s->tx_level & 0x1F; | ||
96 | + retvalue |= (s->rx_level & 0x1F) << R_FIFO_STATUS_RXLVL_SHIFT; | ||
97 | + retvalue |= (s->tx_level & 0x1F) << R_FIFO_STATUS_TXLVL_SHIFT; | ||
98 | |||
99 | qemu_log_mask(LOG_UNIMP, | ||
100 | "%s: RX fifos are not supported\n", __func__); | ||
101 | @@ -XXX,XX +XXX,XX @@ static void ibex_uart_write(void *opaque, hwaddr addr, | ||
102 | s->uart_fifo_ctrl = value; | ||
103 | |||
104 | if (value & R_FIFO_CTRL_RXRST_MASK) { | ||
105 | + s->rx_level = 0; | ||
106 | qemu_log_mask(LOG_UNIMP, | ||
107 | "%s: RX fifos are not supported\n", __func__); | ||
108 | } | ||
109 | -- | ||
110 | 2.30.1 | ||
111 | |||
112 | diff view generated by jsdifflib |
Deleted patch | |||
---|---|---|---|
1 | From: Jim Shu <cwshu@andestech.com> | ||
2 | 1 | ||
3 | Currently, PMP permission checking of TLB page is bypassed if TLB hits | ||
4 | Fix it by propagating PMP permission to TLB page permission. | ||
5 | |||
6 | PMP permission checking also use MMU-style API to change TLB permission | ||
7 | and size. | ||
8 | |||
9 | Signed-off-by: Jim Shu <cwshu@andestech.com> | ||
10 | Reviewed-by: Alistair Francis <alistair.francis@wdc.com> | ||
11 | Message-id: 1613916082-19528-2-git-send-email-cwshu@andestech.com | ||
12 | Signed-off-by: Alistair Francis <alistair.francis@wdc.com> | ||
13 | --- | ||
14 | target/riscv/pmp.h | 4 +- | ||
15 | target/riscv/cpu_helper.c | 84 +++++++++++++++++++++++++++++---------- | ||
16 | target/riscv/pmp.c | 80 +++++++++++++++++++++++++++---------- | ||
17 | 3 files changed, 125 insertions(+), 43 deletions(-) | ||
18 | |||
19 | diff --git a/target/riscv/pmp.h b/target/riscv/pmp.h | ||
20 | index XXXXXXX..XXXXXXX 100644 | ||
21 | --- a/target/riscv/pmp.h | ||
22 | +++ b/target/riscv/pmp.h | ||
23 | @@ -XXX,XX +XXX,XX @@ void pmpaddr_csr_write(CPURISCVState *env, uint32_t addr_index, | ||
24 | target_ulong val); | ||
25 | target_ulong pmpaddr_csr_read(CPURISCVState *env, uint32_t addr_index); | ||
26 | bool pmp_hart_has_privs(CPURISCVState *env, target_ulong addr, | ||
27 | - target_ulong size, pmp_priv_t priv, target_ulong mode); | ||
28 | + target_ulong size, pmp_priv_t privs, pmp_priv_t *allowed_privs, | ||
29 | + target_ulong mode); | ||
30 | bool pmp_is_range_in_tlb(CPURISCVState *env, hwaddr tlb_sa, | ||
31 | target_ulong *tlb_size); | ||
32 | void pmp_update_rule_addr(CPURISCVState *env, uint32_t pmp_index); | ||
33 | void pmp_update_rule_nums(CPURISCVState *env); | ||
34 | uint32_t pmp_get_num_rules(CPURISCVState *env); | ||
35 | +int pmp_priv_to_page_prot(pmp_priv_t pmp_priv); | ||
36 | |||
37 | #endif | ||
38 | diff --git a/target/riscv/cpu_helper.c b/target/riscv/cpu_helper.c | ||
39 | index XXXXXXX..XXXXXXX 100644 | ||
40 | --- a/target/riscv/cpu_helper.c | ||
41 | +++ b/target/riscv/cpu_helper.c | ||
42 | @@ -XXX,XX +XXX,XX @@ void riscv_cpu_set_mode(CPURISCVState *env, target_ulong newpriv) | ||
43 | env->load_res = -1; | ||
44 | } | ||
45 | |||
46 | +/* | ||
47 | + * get_physical_address_pmp - check PMP permission for this physical address | ||
48 | + * | ||
49 | + * Match the PMP region and check permission for this physical address and it's | ||
50 | + * TLB page. Returns 0 if the permission checking was successful | ||
51 | + * | ||
52 | + * @env: CPURISCVState | ||
53 | + * @prot: The returned protection attributes | ||
54 | + * @tlb_size: TLB page size containing addr. It could be modified after PMP | ||
55 | + * permission checking. NULL if not set TLB page for addr. | ||
56 | + * @addr: The physical address to be checked permission | ||
57 | + * @access_type: The type of MMU access | ||
58 | + * @mode: Indicates current privilege level. | ||
59 | + */ | ||
60 | +static int get_physical_address_pmp(CPURISCVState *env, int *prot, | ||
61 | + target_ulong *tlb_size, hwaddr addr, | ||
62 | + int size, MMUAccessType access_type, | ||
63 | + int mode) | ||
64 | +{ | ||
65 | + pmp_priv_t pmp_priv; | ||
66 | + target_ulong tlb_size_pmp = 0; | ||
67 | + | ||
68 | + if (!riscv_feature(env, RISCV_FEATURE_PMP)) { | ||
69 | + *prot = PAGE_READ | PAGE_WRITE | PAGE_EXEC; | ||
70 | + return TRANSLATE_SUCCESS; | ||
71 | + } | ||
72 | + | ||
73 | + if (!pmp_hart_has_privs(env, addr, size, 1 << access_type, &pmp_priv, | ||
74 | + mode)) { | ||
75 | + *prot = 0; | ||
76 | + return TRANSLATE_PMP_FAIL; | ||
77 | + } | ||
78 | + | ||
79 | + *prot = pmp_priv_to_page_prot(pmp_priv); | ||
80 | + if (tlb_size != NULL) { | ||
81 | + if (pmp_is_range_in_tlb(env, addr & ~(*tlb_size - 1), &tlb_size_pmp)) { | ||
82 | + *tlb_size = tlb_size_pmp; | ||
83 | + } | ||
84 | + } | ||
85 | + | ||
86 | + return TRANSLATE_SUCCESS; | ||
87 | +} | ||
88 | + | ||
89 | /* get_physical_address - get the physical address for this virtual address | ||
90 | * | ||
91 | * Do a page table walk to obtain the physical address corresponding to a | ||
92 | @@ -XXX,XX +XXX,XX @@ restart: | ||
93 | pte_addr = base + idx * ptesize; | ||
94 | } | ||
95 | |||
96 | - if (riscv_feature(env, RISCV_FEATURE_PMP) && | ||
97 | - !pmp_hart_has_privs(env, pte_addr, sizeof(target_ulong), | ||
98 | - 1 << MMU_DATA_LOAD, PRV_S)) { | ||
99 | + int pmp_prot; | ||
100 | + int pmp_ret = get_physical_address_pmp(env, &pmp_prot, NULL, pte_addr, | ||
101 | + sizeof(target_ulong), | ||
102 | + MMU_DATA_LOAD, PRV_S); | ||
103 | + if (pmp_ret != TRANSLATE_SUCCESS) { | ||
104 | return TRANSLATE_PMP_FAIL; | ||
105 | } | ||
106 | |||
107 | @@ -XXX,XX +XXX,XX @@ bool riscv_cpu_tlb_fill(CPUState *cs, vaddr address, int size, | ||
108 | #ifndef CONFIG_USER_ONLY | ||
109 | vaddr im_address; | ||
110 | hwaddr pa = 0; | ||
111 | - int prot, prot2; | ||
112 | + int prot, prot2, prot_pmp; | ||
113 | bool pmp_violation = false; | ||
114 | bool first_stage_error = true; | ||
115 | bool two_stage_lookup = false; | ||
116 | int ret = TRANSLATE_FAIL; | ||
117 | int mode = mmu_idx; | ||
118 | - target_ulong tlb_size = 0; | ||
119 | + /* default TLB page size */ | ||
120 | + target_ulong tlb_size = TARGET_PAGE_SIZE; | ||
121 | |||
122 | env->guest_phys_fault_addr = 0; | ||
123 | |||
124 | @@ -XXX,XX +XXX,XX @@ bool riscv_cpu_tlb_fill(CPUState *cs, vaddr address, int size, | ||
125 | |||
126 | prot &= prot2; | ||
127 | |||
128 | - if (riscv_feature(env, RISCV_FEATURE_PMP) && | ||
129 | - (ret == TRANSLATE_SUCCESS) && | ||
130 | - !pmp_hart_has_privs(env, pa, size, 1 << access_type, mode)) { | ||
131 | - ret = TRANSLATE_PMP_FAIL; | ||
132 | + if (ret == TRANSLATE_SUCCESS) { | ||
133 | + ret = get_physical_address_pmp(env, &prot_pmp, &tlb_size, pa, | ||
134 | + size, access_type, mode); | ||
135 | + prot &= prot_pmp; | ||
136 | } | ||
137 | |||
138 | if (ret != TRANSLATE_SUCCESS) { | ||
139 | @@ -XXX,XX +XXX,XX @@ bool riscv_cpu_tlb_fill(CPUState *cs, vaddr address, int size, | ||
140 | "%s address=%" VADDR_PRIx " ret %d physical " | ||
141 | TARGET_FMT_plx " prot %d\n", | ||
142 | __func__, address, ret, pa, prot); | ||
143 | - } | ||
144 | |||
145 | - if (riscv_feature(env, RISCV_FEATURE_PMP) && | ||
146 | - (ret == TRANSLATE_SUCCESS) && | ||
147 | - !pmp_hart_has_privs(env, pa, size, 1 << access_type, mode)) { | ||
148 | - ret = TRANSLATE_PMP_FAIL; | ||
149 | + if (ret == TRANSLATE_SUCCESS) { | ||
150 | + ret = get_physical_address_pmp(env, &prot_pmp, &tlb_size, pa, | ||
151 | + size, access_type, mode); | ||
152 | + prot &= prot_pmp; | ||
153 | + } | ||
154 | } | ||
155 | + | ||
156 | if (ret == TRANSLATE_PMP_FAIL) { | ||
157 | pmp_violation = true; | ||
158 | } | ||
159 | |||
160 | if (ret == TRANSLATE_SUCCESS) { | ||
161 | - if (pmp_is_range_in_tlb(env, pa & TARGET_PAGE_MASK, &tlb_size)) { | ||
162 | - tlb_set_page(cs, address & ~(tlb_size - 1), pa & ~(tlb_size - 1), | ||
163 | - prot, mmu_idx, tlb_size); | ||
164 | - } else { | ||
165 | - tlb_set_page(cs, address & TARGET_PAGE_MASK, pa & TARGET_PAGE_MASK, | ||
166 | - prot, mmu_idx, TARGET_PAGE_SIZE); | ||
167 | - } | ||
168 | + tlb_set_page(cs, address & ~(tlb_size - 1), pa & ~(tlb_size - 1), | ||
169 | + prot, mmu_idx, tlb_size); | ||
170 | return true; | ||
171 | } else if (probe) { | ||
172 | return false; | ||
173 | diff --git a/target/riscv/pmp.c b/target/riscv/pmp.c | ||
174 | index XXXXXXX..XXXXXXX 100644 | ||
175 | --- a/target/riscv/pmp.c | ||
176 | +++ b/target/riscv/pmp.c | ||
177 | @@ -XXX,XX +XXX,XX @@ static int pmp_is_in_range(CPURISCVState *env, int pmp_index, target_ulong addr) | ||
178 | return result; | ||
179 | } | ||
180 | |||
181 | +/* | ||
182 | + * Check if the address has required RWX privs when no PMP entry is matched. | ||
183 | + */ | ||
184 | +static bool pmp_hart_has_privs_default(CPURISCVState *env, target_ulong addr, | ||
185 | + target_ulong size, pmp_priv_t privs, pmp_priv_t *allowed_privs, | ||
186 | + target_ulong mode) | ||
187 | +{ | ||
188 | + bool ret; | ||
189 | + | ||
190 | + if ((!riscv_feature(env, RISCV_FEATURE_PMP)) || (mode == PRV_M)) { | ||
191 | + /* | ||
192 | + * Privileged spec v1.10 states if HW doesn't implement any PMP entry | ||
193 | + * or no PMP entry matches an M-Mode access, the access succeeds. | ||
194 | + */ | ||
195 | + ret = true; | ||
196 | + *allowed_privs = PMP_READ | PMP_WRITE | PMP_EXEC; | ||
197 | + } else { | ||
198 | + /* | ||
199 | + * Other modes are not allowed to succeed if they don't * match a rule, | ||
200 | + * but there are rules. We've checked for no rule earlier in this | ||
201 | + * function. | ||
202 | + */ | ||
203 | + ret = false; | ||
204 | + *allowed_privs = 0; | ||
205 | + } | ||
206 | + | ||
207 | + return ret; | ||
208 | +} | ||
209 | + | ||
210 | |||
211 | /* | ||
212 | * Public Interface | ||
213 | @@ -XXX,XX +XXX,XX @@ static int pmp_is_in_range(CPURISCVState *env, int pmp_index, target_ulong addr) | ||
214 | * Check if the address has required RWX privs to complete desired operation | ||
215 | */ | ||
216 | bool pmp_hart_has_privs(CPURISCVState *env, target_ulong addr, | ||
217 | - target_ulong size, pmp_priv_t privs, target_ulong mode) | ||
218 | + target_ulong size, pmp_priv_t privs, pmp_priv_t *allowed_privs, | ||
219 | + target_ulong mode) | ||
220 | { | ||
221 | int i = 0; | ||
222 | int ret = -1; | ||
223 | int pmp_size = 0; | ||
224 | target_ulong s = 0; | ||
225 | target_ulong e = 0; | ||
226 | - pmp_priv_t allowed_privs = 0; | ||
227 | |||
228 | /* Short cut if no rules */ | ||
229 | if (0 == pmp_get_num_rules(env)) { | ||
230 | - return (env->priv == PRV_M) ? true : false; | ||
231 | + return pmp_hart_has_privs_default(env, addr, size, privs, | ||
232 | + allowed_privs, mode); | ||
233 | } | ||
234 | |||
235 | if (size == 0) { | ||
236 | @@ -XXX,XX +XXX,XX @@ bool pmp_hart_has_privs(CPURISCVState *env, target_ulong addr, | ||
237 | * check | ||
238 | */ | ||
239 | if (((s + e) == 2) && (PMP_AMATCH_OFF != a_field)) { | ||
240 | - allowed_privs = PMP_READ | PMP_WRITE | PMP_EXEC; | ||
241 | + *allowed_privs = PMP_READ | PMP_WRITE | PMP_EXEC; | ||
242 | if ((mode != PRV_M) || pmp_is_locked(env, i)) { | ||
243 | - allowed_privs &= env->pmp_state.pmp[i].cfg_reg; | ||
244 | + *allowed_privs &= env->pmp_state.pmp[i].cfg_reg; | ||
245 | } | ||
246 | |||
247 | - if ((privs & allowed_privs) == privs) { | ||
248 | - ret = 1; | ||
249 | - break; | ||
250 | - } else { | ||
251 | - ret = 0; | ||
252 | - break; | ||
253 | - } | ||
254 | + ret = ((privs & *allowed_privs) == privs); | ||
255 | + break; | ||
256 | } | ||
257 | } | ||
258 | |||
259 | /* No rule matched */ | ||
260 | if (ret == -1) { | ||
261 | - if (mode == PRV_M) { | ||
262 | - ret = 1; /* Privileged spec v1.10 states if no PMP entry matches an | ||
263 | - * M-Mode access, the access succeeds */ | ||
264 | - } else { | ||
265 | - ret = 0; /* Other modes are not allowed to succeed if they don't | ||
266 | - * match a rule, but there are rules. We've checked for | ||
267 | - * no rule earlier in this function. */ | ||
268 | - } | ||
269 | + return pmp_hart_has_privs_default(env, addr, size, privs, | ||
270 | + allowed_privs, mode); | ||
271 | } | ||
272 | |||
273 | return ret == 1 ? true : false; | ||
274 | } | ||
275 | |||
276 | - | ||
277 | /* | ||
278 | * Handle a write to a pmpcfg CSP | ||
279 | */ | ||
280 | @@ -XXX,XX +XXX,XX @@ bool pmp_is_range_in_tlb(CPURISCVState *env, hwaddr tlb_sa, | ||
281 | |||
282 | return false; | ||
283 | } | ||
284 | + | ||
285 | +/* | ||
286 | + * Convert PMP privilege to TLB page privilege. | ||
287 | + */ | ||
288 | +int pmp_priv_to_page_prot(pmp_priv_t pmp_priv) | ||
289 | +{ | ||
290 | + int prot = 0; | ||
291 | + | ||
292 | + if (pmp_priv & PMP_READ) { | ||
293 | + prot |= PAGE_READ; | ||
294 | + } | ||
295 | + if (pmp_priv & PMP_WRITE) { | ||
296 | + prot |= PAGE_WRITE; | ||
297 | + } | ||
298 | + if (pmp_priv & PMP_EXEC) { | ||
299 | + prot |= PAGE_EXEC; | ||
300 | + } | ||
301 | + | ||
302 | + return prot; | ||
303 | +} | ||
304 | -- | ||
305 | 2.30.1 | ||
306 | |||
307 | diff view generated by jsdifflib |
Deleted patch | |||
---|---|---|---|
1 | From: Jim Shu <cwshu@andestech.com> | ||
2 | 1 | ||
3 | Like MMU translation, add qemu log of PMP permission checking for | ||
4 | debugging. | ||
5 | |||
6 | Signed-off-by: Jim Shu <cwshu@andestech.com> | ||
7 | Reviewed-by: Alistair Francis <alistair.francis@wdc.com> | ||
8 | Message-id: 1613916082-19528-3-git-send-email-cwshu@andestech.com | ||
9 | Signed-off-by: Alistair Francis <alistair.francis@wdc.com> | ||
10 | --- | ||
11 | target/riscv/cpu_helper.c | 12 ++++++++++++ | ||
12 | 1 file changed, 12 insertions(+) | ||
13 | |||
14 | diff --git a/target/riscv/cpu_helper.c b/target/riscv/cpu_helper.c | ||
15 | index XXXXXXX..XXXXXXX 100644 | ||
16 | --- a/target/riscv/cpu_helper.c | ||
17 | +++ b/target/riscv/cpu_helper.c | ||
18 | @@ -XXX,XX +XXX,XX @@ bool riscv_cpu_tlb_fill(CPUState *cs, vaddr address, int size, | ||
19 | if (ret == TRANSLATE_SUCCESS) { | ||
20 | ret = get_physical_address_pmp(env, &prot_pmp, &tlb_size, pa, | ||
21 | size, access_type, mode); | ||
22 | + | ||
23 | + qemu_log_mask(CPU_LOG_MMU, | ||
24 | + "%s PMP address=" TARGET_FMT_plx " ret %d prot" | ||
25 | + " %d tlb_size " TARGET_FMT_lu "\n", | ||
26 | + __func__, pa, ret, prot_pmp, tlb_size); | ||
27 | + | ||
28 | prot &= prot_pmp; | ||
29 | } | ||
30 | |||
31 | @@ -XXX,XX +XXX,XX @@ bool riscv_cpu_tlb_fill(CPUState *cs, vaddr address, int size, | ||
32 | if (ret == TRANSLATE_SUCCESS) { | ||
33 | ret = get_physical_address_pmp(env, &prot_pmp, &tlb_size, pa, | ||
34 | size, access_type, mode); | ||
35 | + | ||
36 | + qemu_log_mask(CPU_LOG_MMU, | ||
37 | + "%s PMP address=" TARGET_FMT_plx " ret %d prot" | ||
38 | + " %d tlb_size " TARGET_FMT_lu "\n", | ||
39 | + __func__, pa, ret, prot_pmp, tlb_size); | ||
40 | + | ||
41 | prot &= prot_pmp; | ||
42 | } | ||
43 | } | ||
44 | -- | ||
45 | 2.30.1 | ||
46 | |||
47 | diff view generated by jsdifflib |
Deleted patch | |||
---|---|---|---|
1 | From: Georg Kotheimer <georg.kotheimer@kernkonzept.com> | ||
2 | 1 | ||
3 | According to the specification the "field SPVP of hstatus controls the | ||
4 | privilege level of the access" for the hypervisor virtual-machine load | ||
5 | and store instructions HLV, HLVX and HSV. | ||
6 | |||
7 | Signed-off-by: Georg Kotheimer <georg.kotheimer@kernkonzept.com> | ||
8 | Reviewed-by: Alistair Francis <alistair.francis@wdc.com> | ||
9 | Message-id: 20210311103005.1400718-1-georg.kotheimer@kernkonzept.com | ||
10 | Signed-off-by: Alistair Francis <alistair.francis@wdc.com> | ||
11 | --- | ||
12 | target/riscv/cpu_helper.c | 25 ++++++++++++++----------- | ||
13 | 1 file changed, 14 insertions(+), 11 deletions(-) | ||
14 | |||
15 | diff --git a/target/riscv/cpu_helper.c b/target/riscv/cpu_helper.c | ||
16 | index XXXXXXX..XXXXXXX 100644 | ||
17 | --- a/target/riscv/cpu_helper.c | ||
18 | +++ b/target/riscv/cpu_helper.c | ||
19 | @@ -XXX,XX +XXX,XX @@ static int get_physical_address(CPURISCVState *env, hwaddr *physical, | ||
20 | use_background = true; | ||
21 | } | ||
22 | |||
23 | - if (mode == PRV_M && access_type != MMU_INST_FETCH) { | ||
24 | + /* MPRV does not affect the virtual-machine load/store | ||
25 | + instructions, HLV, HLVX, and HSV. */ | ||
26 | + if (riscv_cpu_two_stage_lookup(mmu_idx)) { | ||
27 | + mode = get_field(env->hstatus, HSTATUS_SPVP); | ||
28 | + } else if (mode == PRV_M && access_type != MMU_INST_FETCH) { | ||
29 | if (get_field(env->mstatus, MSTATUS_MPRV)) { | ||
30 | mode = get_field(env->mstatus, MSTATUS_MPP); | ||
31 | } | ||
32 | @@ -XXX,XX +XXX,XX @@ bool riscv_cpu_tlb_fill(CPUState *cs, vaddr address, int size, | ||
33 | qemu_log_mask(CPU_LOG_MMU, "%s ad %" VADDR_PRIx " rw %d mmu_idx %d\n", | ||
34 | __func__, address, access_type, mmu_idx); | ||
35 | |||
36 | - if (mode == PRV_M && access_type != MMU_INST_FETCH) { | ||
37 | - if (get_field(env->mstatus, MSTATUS_MPRV)) { | ||
38 | - mode = get_field(env->mstatus, MSTATUS_MPP); | ||
39 | + /* MPRV does not affect the virtual-machine load/store | ||
40 | + instructions, HLV, HLVX, and HSV. */ | ||
41 | + if (riscv_cpu_two_stage_lookup(mmu_idx)) { | ||
42 | + mode = get_field(env->hstatus, HSTATUS_SPVP); | ||
43 | + } else if (mode == PRV_M && access_type != MMU_INST_FETCH && | ||
44 | + get_field(env->mstatus, MSTATUS_MPRV)) { | ||
45 | + mode = get_field(env->mstatus, MSTATUS_MPP); | ||
46 | + if (riscv_has_ext(env, RVH) && get_field(env->mstatus, MSTATUS_MPV)) { | ||
47 | + two_stage_lookup = true; | ||
48 | } | ||
49 | } | ||
50 | |||
51 | - if (riscv_has_ext(env, RVH) && env->priv == PRV_M && | ||
52 | - access_type != MMU_INST_FETCH && | ||
53 | - get_field(env->mstatus, MSTATUS_MPRV) && | ||
54 | - get_field(env->mstatus, MSTATUS_MPV)) { | ||
55 | - two_stage_lookup = true; | ||
56 | - } | ||
57 | - | ||
58 | if (riscv_cpu_virt_enabled(env) || | ||
59 | ((riscv_cpu_two_stage_lookup(mmu_idx) || two_stage_lookup) && | ||
60 | access_type != MMU_INST_FETCH)) { | ||
61 | -- | ||
62 | 2.30.1 | ||
63 | |||
64 | diff view generated by jsdifflib |
Deleted patch | |||
---|---|---|---|
1 | From: Georg Kotheimer <georg.kotheimer@kernkonzept.com> | ||
2 | 1 | ||
3 | Signed-off-by: Georg Kotheimer <georg.kotheimer@kernkonzept.com> | ||
4 | Reviewed-by: Alistair Francis <alistair.francis@wdc.com> | ||
5 | Message-id: 20210311094902.1377593-1-georg.kotheimer@kernkonzept.com | ||
6 | Signed-off-by: Alistair Francis <alistair.francis@wdc.com> | ||
7 | --- | ||
8 | target/riscv/csr.c | 7 ++++--- | ||
9 | 1 file changed, 4 insertions(+), 3 deletions(-) | ||
10 | |||
11 | diff --git a/target/riscv/csr.c b/target/riscv/csr.c | ||
12 | index XXXXXXX..XXXXXXX 100644 | ||
13 | --- a/target/riscv/csr.c | ||
14 | +++ b/target/riscv/csr.c | ||
15 | @@ -XXX,XX +XXX,XX @@ static const target_ulong sstatus_v1_10_mask = SSTATUS_SIE | SSTATUS_SPIE | | ||
16 | SSTATUS_UIE | SSTATUS_UPIE | SSTATUS_SPP | SSTATUS_FS | SSTATUS_XS | | ||
17 | SSTATUS_SUM | SSTATUS_MXR | SSTATUS_SD; | ||
18 | static const target_ulong sip_writable_mask = SIP_SSIP | MIP_USIP | MIP_UEIP; | ||
19 | -static const target_ulong hip_writable_mask = MIP_VSSIP | MIP_VSTIP | MIP_VSEIP; | ||
20 | +static const target_ulong hip_writable_mask = MIP_VSSIP; | ||
21 | +static const target_ulong hvip_writable_mask = MIP_VSSIP | MIP_VSTIP | MIP_VSEIP; | ||
22 | static const target_ulong vsip_writable_mask = MIP_VSSIP; | ||
23 | |||
24 | static const char valid_vm_1_10_32[16] = { | ||
25 | @@ -XXX,XX +XXX,XX @@ static int rmw_hvip(CPURISCVState *env, int csrno, target_ulong *ret_value, | ||
26 | target_ulong new_value, target_ulong write_mask) | ||
27 | { | ||
28 | int ret = rmw_mip(env, 0, ret_value, new_value, | ||
29 | - write_mask & hip_writable_mask); | ||
30 | + write_mask & hvip_writable_mask); | ||
31 | |||
32 | - *ret_value &= hip_writable_mask; | ||
33 | + *ret_value &= hvip_writable_mask; | ||
34 | |||
35 | return ret; | ||
36 | } | ||
37 | -- | ||
38 | 2.30.1 | ||
39 | |||
40 | diff view generated by jsdifflib |
Deleted patch | |||
---|---|---|---|
1 | From: Georg Kotheimer <georg.kotheimer@kernkonzept.com> | ||
2 | 1 | ||
3 | The current condition for the use of background registers only | ||
4 | considers the hypervisor load and store instructions, | ||
5 | but not accesses from M mode via MSTATUS_MPRV+MPV. | ||
6 | |||
7 | Signed-off-by: Georg Kotheimer <georg.kotheimer@kernkonzept.com> | ||
8 | Reviewed-by: Alistair Francis <alistair.francis@wdc.com> | ||
9 | Message-id: 20210311103036.1401073-1-georg.kotheimer@kernkonzept.com | ||
10 | Signed-off-by: Alistair Francis <alistair.francis@wdc.com> | ||
11 | --- | ||
12 | target/riscv/cpu_helper.c | 2 +- | ||
13 | 1 file changed, 1 insertion(+), 1 deletion(-) | ||
14 | |||
15 | diff --git a/target/riscv/cpu_helper.c b/target/riscv/cpu_helper.c | ||
16 | index XXXXXXX..XXXXXXX 100644 | ||
17 | --- a/target/riscv/cpu_helper.c | ||
18 | +++ b/target/riscv/cpu_helper.c | ||
19 | @@ -XXX,XX +XXX,XX @@ static int get_physical_address(CPURISCVState *env, hwaddr *physical, | ||
20 | * was called. Background registers will be used if the guest has | ||
21 | * forced a two stage translation to be on (in HS or M mode). | ||
22 | */ | ||
23 | - if (!riscv_cpu_virt_enabled(env) && riscv_cpu_two_stage_lookup(mmu_idx)) { | ||
24 | + if (!riscv_cpu_virt_enabled(env) && two_stage) { | ||
25 | use_background = true; | ||
26 | } | ||
27 | |||
28 | -- | ||
29 | 2.30.1 | ||
30 | |||
31 | diff view generated by jsdifflib |
Deleted patch | |||
---|---|---|---|
1 | From: Asherah Connor <ashe@kivikakk.ee> | ||
2 | 1 | ||
3 | Provides fw_cfg for the virt machine on riscv. This enables | ||
4 | using e.g. ramfb later. | ||
5 | |||
6 | Signed-off-by: Asherah Connor <ashe@kivikakk.ee> | ||
7 | Reviewed-by: Bin Meng <bmeng.cn@gmail.com> | ||
8 | Reviewed-by: Alistair Francis <alistair.francis@wdc.com> | ||
9 | Message-id: 20210318235041.17175-2-ashe@kivikakk.ee | ||
10 | Signed-off-by: Alistair Francis <alistair.francis@wdc.com> | ||
11 | --- | ||
12 | include/hw/riscv/virt.h | 2 ++ | ||
13 | hw/riscv/virt.c | 30 ++++++++++++++++++++++++++++++ | ||
14 | hw/riscv/Kconfig | 1 + | ||
15 | 3 files changed, 33 insertions(+) | ||
16 | |||
17 | diff --git a/include/hw/riscv/virt.h b/include/hw/riscv/virt.h | ||
18 | index XXXXXXX..XXXXXXX 100644 | ||
19 | --- a/include/hw/riscv/virt.h | ||
20 | +++ b/include/hw/riscv/virt.h | ||
21 | @@ -XXX,XX +XXX,XX @@ struct RISCVVirtState { | ||
22 | RISCVHartArrayState soc[VIRT_SOCKETS_MAX]; | ||
23 | DeviceState *plic[VIRT_SOCKETS_MAX]; | ||
24 | PFlashCFI01 *flash[2]; | ||
25 | + FWCfgState *fw_cfg; | ||
26 | |||
27 | int fdt_size; | ||
28 | }; | ||
29 | @@ -XXX,XX +XXX,XX @@ enum { | ||
30 | VIRT_PLIC, | ||
31 | VIRT_UART0, | ||
32 | VIRT_VIRTIO, | ||
33 | + VIRT_FW_CFG, | ||
34 | VIRT_FLASH, | ||
35 | VIRT_DRAM, | ||
36 | VIRT_PCIE_MMIO, | ||
37 | diff --git a/hw/riscv/virt.c b/hw/riscv/virt.c | ||
38 | index XXXXXXX..XXXXXXX 100644 | ||
39 | --- a/hw/riscv/virt.c | ||
40 | +++ b/hw/riscv/virt.c | ||
41 | @@ -XXX,XX +XXX,XX @@ static const MemMapEntry virt_memmap[] = { | ||
42 | [VIRT_PLIC] = { 0xc000000, VIRT_PLIC_SIZE(VIRT_CPUS_MAX * 2) }, | ||
43 | [VIRT_UART0] = { 0x10000000, 0x100 }, | ||
44 | [VIRT_VIRTIO] = { 0x10001000, 0x1000 }, | ||
45 | + [VIRT_FW_CFG] = { 0x10100000, 0x18 }, | ||
46 | [VIRT_FLASH] = { 0x20000000, 0x4000000 }, | ||
47 | [VIRT_PCIE_ECAM] = { 0x30000000, 0x10000000 }, | ||
48 | [VIRT_PCIE_MMIO] = { 0x40000000, 0x40000000 }, | ||
49 | @@ -XXX,XX +XXX,XX @@ static inline DeviceState *gpex_pcie_init(MemoryRegion *sys_mem, | ||
50 | return dev; | ||
51 | } | ||
52 | |||
53 | +static FWCfgState *create_fw_cfg(const MachineState *mc) | ||
54 | +{ | ||
55 | + hwaddr base = virt_memmap[VIRT_FW_CFG].base; | ||
56 | + hwaddr size = virt_memmap[VIRT_FW_CFG].size; | ||
57 | + FWCfgState *fw_cfg; | ||
58 | + char *nodename; | ||
59 | + | ||
60 | + fw_cfg = fw_cfg_init_mem_wide(base + 8, base, 8, base + 16, | ||
61 | + &address_space_memory); | ||
62 | + fw_cfg_add_i16(fw_cfg, FW_CFG_NB_CPUS, (uint16_t)mc->smp.cpus); | ||
63 | + | ||
64 | + nodename = g_strdup_printf("/fw-cfg@%" PRIx64, base); | ||
65 | + qemu_fdt_add_subnode(mc->fdt, nodename); | ||
66 | + qemu_fdt_setprop_string(mc->fdt, nodename, | ||
67 | + "compatible", "qemu,fw-cfg-mmio"); | ||
68 | + qemu_fdt_setprop_sized_cells(mc->fdt, nodename, "reg", | ||
69 | + 2, base, 2, size); | ||
70 | + qemu_fdt_setprop(mc->fdt, nodename, "dma-coherent", NULL, 0); | ||
71 | + g_free(nodename); | ||
72 | + return fw_cfg; | ||
73 | +} | ||
74 | + | ||
75 | static void virt_machine_init(MachineState *machine) | ||
76 | { | ||
77 | const MemMapEntry *memmap = virt_memmap; | ||
78 | @@ -XXX,XX +XXX,XX @@ static void virt_machine_init(MachineState *machine) | ||
79 | start_addr = virt_memmap[VIRT_FLASH].base; | ||
80 | } | ||
81 | |||
82 | + /* | ||
83 | + * Init fw_cfg. Must be done before riscv_load_fdt, otherwise the device | ||
84 | + * tree cannot be altered and we get FDT_ERR_NOSPACE. | ||
85 | + */ | ||
86 | + s->fw_cfg = create_fw_cfg(machine); | ||
87 | + rom_set_fw(s->fw_cfg); | ||
88 | + | ||
89 | /* Compute the fdt load address in dram */ | ||
90 | fdt_load_addr = riscv_load_fdt(memmap[VIRT_DRAM].base, | ||
91 | machine->ram_size, machine->fdt); | ||
92 | diff --git a/hw/riscv/Kconfig b/hw/riscv/Kconfig | ||
93 | index XXXXXXX..XXXXXXX 100644 | ||
94 | --- a/hw/riscv/Kconfig | ||
95 | +++ b/hw/riscv/Kconfig | ||
96 | @@ -XXX,XX +XXX,XX @@ config RISCV_VIRT | ||
97 | select SIFIVE_PLIC | ||
98 | select SIFIVE_TEST | ||
99 | select VIRTIO_MMIO | ||
100 | + select FW_CFG_DMA | ||
101 | |||
102 | config SIFIVE_E | ||
103 | bool | ||
104 | -- | ||
105 | 2.30.1 | ||
106 | |||
107 | diff view generated by jsdifflib |
Deleted patch | |||
---|---|---|---|
1 | From: Asherah Connor <ashe@kivikakk.ee> | ||
2 | 1 | ||
3 | Allow ramfb on virt. This lets `-device ramfb' work. | ||
4 | |||
5 | Signed-off-by: Asherah Connor <ashe@kivikakk.ee> | ||
6 | Reviewed-by: Bin Meng <bmeng.cn@gmail.com> | ||
7 | Reviewed-by: Alistair Francis <alistair.francis@wdc.com> | ||
8 | Message-id: 20210318235041.17175-3-ashe@kivikakk.ee | ||
9 | Signed-off-by: Alistair Francis <alistair.francis@wdc.com> | ||
10 | --- | ||
11 | hw/riscv/virt.c | 3 +++ | ||
12 | 1 file changed, 3 insertions(+) | ||
13 | |||
14 | diff --git a/hw/riscv/virt.c b/hw/riscv/virt.c | ||
15 | index XXXXXXX..XXXXXXX 100644 | ||
16 | --- a/hw/riscv/virt.c | ||
17 | +++ b/hw/riscv/virt.c | ||
18 | @@ -XXX,XX +XXX,XX @@ | ||
19 | #include "sysemu/sysemu.h" | ||
20 | #include "hw/pci/pci.h" | ||
21 | #include "hw/pci-host/gpex.h" | ||
22 | +#include "hw/display/ramfb.h" | ||
23 | |||
24 | static const MemMapEntry virt_memmap[] = { | ||
25 | [VIRT_DEBUG] = { 0x0, 0x100 }, | ||
26 | @@ -XXX,XX +XXX,XX @@ static void virt_machine_class_init(ObjectClass *oc, void *data) | ||
27 | mc->cpu_index_to_instance_props = riscv_numa_cpu_index_to_props; | ||
28 | mc->get_default_cpu_node_id = riscv_numa_get_default_cpu_node_id; | ||
29 | mc->numa_mem_supported = true; | ||
30 | + | ||
31 | + machine_class_allow_dynamic_sysbus_dev(mc, TYPE_RAMFB_DEVICE); | ||
32 | } | ||
33 | |||
34 | static const TypeInfo virt_machine_typeinfo = { | ||
35 | -- | ||
36 | 2.30.1 | ||
37 | |||
38 | diff view generated by jsdifflib |
Deleted patch | |||
---|---|---|---|
1 | From: Bin Meng <bin.meng@windriver.com> | ||
2 | 1 | ||
3 | Per SST25VF016B datasheet [1], SST flash requires a dummy byte after | ||
4 | the address bytes. Note only SPI mode is supported by SST flashes. | ||
5 | |||
6 | [1] http://ww1.microchip.com/downloads/en/devicedoc/s71271_04.pdf | ||
7 | |||
8 | Signed-off-by: Bin Meng <bin.meng@windriver.com> | ||
9 | Acked-by: Alistair Francis <alistair.francis@wdc.com> | ||
10 | Message-id: 20210306060152.7250-1-bmeng.cn@gmail.com | ||
11 | Signed-off-by: Alistair Francis <alistair.francis@wdc.com> | ||
12 | --- | ||
13 | hw/block/m25p80.c | 3 +++ | ||
14 | 1 file changed, 3 insertions(+) | ||
15 | |||
16 | diff --git a/hw/block/m25p80.c b/hw/block/m25p80.c | ||
17 | index XXXXXXX..XXXXXXX 100644 | ||
18 | --- a/hw/block/m25p80.c | ||
19 | +++ b/hw/block/m25p80.c | ||
20 | @@ -XXX,XX +XXX,XX @@ static void decode_fast_read_cmd(Flash *s) | ||
21 | s->needed_bytes = get_addr_length(s); | ||
22 | switch (get_man(s)) { | ||
23 | /* Dummy cycles - modeled with bytes writes instead of bits */ | ||
24 | + case MAN_SST: | ||
25 | + s->needed_bytes += 1; | ||
26 | + break; | ||
27 | case MAN_WINBOND: | ||
28 | s->needed_bytes += 8; | ||
29 | break; | ||
30 | -- | ||
31 | 2.30.1 | ||
32 | |||
33 | diff view generated by jsdifflib |
Deleted patch | |||
---|---|---|---|
1 | From: Bin Meng <bin.meng@windriver.com> | ||
2 | 1 | ||
3 | Since HSS commit c20a89f8dcac, the Icicle Kit reference design has | ||
4 | been updated to use a register mapped at 0x4f000000 instead of a | ||
5 | GPIO to control whether eMMC or SD card is to be used. With this | ||
6 | support the same HSS image can be used for both eMMC and SD card | ||
7 | boot flow, while previously two different board configurations were | ||
8 | used. This is undocumented but one can take a look at the HSS code | ||
9 | HSS_MMCInit() in services/mmc/mmc_api.c. | ||
10 | |||
11 | With this commit, HSS image built from 2020.12 release boots again. | ||
12 | |||
13 | Signed-off-by: Bin Meng <bin.meng@windriver.com> | ||
14 | Reviewed-by: Alistair Francis <alistair.francis@wdc.com> | ||
15 | Message-id: 20210322075248.136255-1-bmeng.cn@gmail.com | ||
16 | Signed-off-by: Alistair Francis <alistair.francis@wdc.com> | ||
17 | --- | ||
18 | include/hw/riscv/microchip_pfsoc.h | 1 + | ||
19 | hw/riscv/microchip_pfsoc.c | 6 ++++++ | ||
20 | 2 files changed, 7 insertions(+) | ||
21 | |||
22 | diff --git a/include/hw/riscv/microchip_pfsoc.h b/include/hw/riscv/microchip_pfsoc.h | ||
23 | index XXXXXXX..XXXXXXX 100644 | ||
24 | --- a/include/hw/riscv/microchip_pfsoc.h | ||
25 | +++ b/include/hw/riscv/microchip_pfsoc.h | ||
26 | @@ -XXX,XX +XXX,XX @@ enum { | ||
27 | MICROCHIP_PFSOC_ENVM_DATA, | ||
28 | MICROCHIP_PFSOC_QSPI_XIP, | ||
29 | MICROCHIP_PFSOC_IOSCB, | ||
30 | + MICROCHIP_PFSOC_EMMC_SD_MUX, | ||
31 | MICROCHIP_PFSOC_DRAM_LO, | ||
32 | MICROCHIP_PFSOC_DRAM_LO_ALIAS, | ||
33 | MICROCHIP_PFSOC_DRAM_HI, | ||
34 | diff --git a/hw/riscv/microchip_pfsoc.c b/hw/riscv/microchip_pfsoc.c | ||
35 | index XXXXXXX..XXXXXXX 100644 | ||
36 | --- a/hw/riscv/microchip_pfsoc.c | ||
37 | +++ b/hw/riscv/microchip_pfsoc.c | ||
38 | @@ -XXX,XX +XXX,XX @@ static const MemMapEntry microchip_pfsoc_memmap[] = { | ||
39 | [MICROCHIP_PFSOC_ENVM_DATA] = { 0x20220000, 0x20000 }, | ||
40 | [MICROCHIP_PFSOC_QSPI_XIP] = { 0x21000000, 0x1000000 }, | ||
41 | [MICROCHIP_PFSOC_IOSCB] = { 0x30000000, 0x10000000 }, | ||
42 | + [MICROCHIP_PFSOC_EMMC_SD_MUX] = { 0x4f000000, 0x4 }, | ||
43 | [MICROCHIP_PFSOC_DRAM_LO] = { 0x80000000, 0x40000000 }, | ||
44 | [MICROCHIP_PFSOC_DRAM_LO_ALIAS] = { 0xc0000000, 0x40000000 }, | ||
45 | [MICROCHIP_PFSOC_DRAM_HI] = { 0x1000000000, 0x0 }, | ||
46 | @@ -XXX,XX +XXX,XX @@ static void microchip_pfsoc_soc_realize(DeviceState *dev, Error **errp) | ||
47 | sysbus_mmio_map(SYS_BUS_DEVICE(&s->ioscb), 0, | ||
48 | memmap[MICROCHIP_PFSOC_IOSCB].base); | ||
49 | |||
50 | + /* eMMC/SD mux */ | ||
51 | + create_unimplemented_device("microchip.pfsoc.emmc_sd_mux", | ||
52 | + memmap[MICROCHIP_PFSOC_EMMC_SD_MUX].base, | ||
53 | + memmap[MICROCHIP_PFSOC_EMMC_SD_MUX].size); | ||
54 | + | ||
55 | /* QSPI Flash */ | ||
56 | memory_region_init_rom(qspi_xip_mem, OBJECT(dev), | ||
57 | "microchip.pfsoc.qspi_xip", | ||
58 | -- | ||
59 | 2.30.1 | ||
60 | |||
61 | diff view generated by jsdifflib |