1 | target-arm queue for rc1 -- these are all bug fixes. | 1 | Nothing exciting here: two minor bug fixes, some fixes for |
---|---|---|---|
2 | running on a 32-bit host, and a docs tweak. | ||
2 | 3 | ||
3 | thanks | 4 | thanks |
4 | -- PMM | 5 | -- PMM |
5 | 6 | ||
6 | The following changes since commit b9404bf592e7ba74180e1a54ed7a266ec6ee67f2: | 7 | The following changes since commit 6af9d12c88b9720f209912f6e4b01fefe5906d59: |
7 | 8 | ||
8 | Merge remote-tracking branch 'remotes/dgilbert/tags/pull-hmp-20190715' into staging (2019-07-15 12:22:07 +0100) | 9 | Merge tag 'migration-20240331-pull-request' of https://gitlab.com/peterx/qemu into staging (2024-04-01 13:12:40 +0100) |
9 | 10 | ||
10 | are available in the Git repository at: | 11 | are available in the Git repository at: |
11 | 12 | ||
12 | https://git.linaro.org/people/pmaydell/qemu-arm.git tags/pull-target-arm-20190715 | 13 | https://git.linaro.org/people/pmaydell/qemu-arm.git tags/pull-target-arm-20240402 |
13 | 14 | ||
14 | for you to fetch changes up to 51c9122e92b776a3f16af0b9282f1dc5012e2a19: | 15 | for you to fetch changes up to 393770d7a02135e7468018f52da610712f151ec0: |
15 | 16 | ||
16 | target/arm: NS BusFault on vector table fetch escalates to NS HardFault (2019-07-15 14:17:04 +0100) | 17 | raspi4b: Reduce RAM to 1Gb on 32-bit hosts (2024-04-02 10:13:48 +0100) |
17 | 18 | ||
18 | ---------------------------------------------------------------- | 19 | ---------------------------------------------------------------- |
19 | target-arm queue: | 20 | target-arm queue: |
20 | * report ARMv8-A FP support for AArch32 -cpu max | 21 | * take HSTR traps of cp15 accesses to EL2, not EL1 |
21 | * hw/ssi/xilinx_spips: Avoid AXI writes to the LQSPI linear memory | 22 | * docs: sbsa: update specs, add dt note |
22 | * hw/ssi/xilinx_spips: Avoid out-of-bound access to lqspi_buf[] | 23 | * hw/intc/arm_gicv3: ICC_HPPIR* return SPURIOUS if int group is disabled |
23 | * hw/ssi/mss-spi: Avoid crash when reading empty RX FIFO | 24 | * tests/qtest: Fix STM32L4x5 GPIO test on 32-bit |
24 | * hw/display/xlnx_dp: Avoid crash when reading empty RX FIFO | 25 | * raspi4b: Reduce RAM to 1Gb on 32-bit hosts |
25 | * hw/arm/virt: Fix non-secure flash mode | ||
26 | * pl031: Correctly migrate state when using -rtc clock=host | ||
27 | * fix regression that meant arm926 and arm1026 lost VFP | ||
28 | double-precision support | ||
29 | * v8M: NS BusFault on vector table fetch escalates to NS HardFault | ||
30 | 26 | ||
31 | ---------------------------------------------------------------- | 27 | ---------------------------------------------------------------- |
32 | Alex Bennée (1): | 28 | Cédric Le Goater (2): |
33 | target/arm: report ARMv8-A FP support for AArch32 -cpu max | 29 | tests/qtest: Fix STM32L4x5 GPIO test on 32-bit |
30 | raspi4b: Reduce RAM to 1Gb on 32-bit hosts | ||
34 | 31 | ||
35 | David Engraf (1): | 32 | Marcin Juszkiewicz (1): |
36 | hw/arm/virt: Fix non-secure flash mode | 33 | docs: sbsa: update specs, add dt note |
37 | 34 | ||
38 | Peter Maydell (3): | 35 | Peter Maydell (2): |
39 | pl031: Correctly migrate state when using -rtc clock=host | 36 | target/arm: take HSTR traps of cp15 accesses to EL2, not EL1 |
40 | target/arm: Set VFP-related MVFR0 fields for arm926 and arm1026 | 37 | hw/intc/arm_gicv3: ICC_HPPIR* return SPURIOUS if int group is disabled |
41 | target/arm: NS BusFault on vector table fetch escalates to NS HardFault | ||
42 | 38 | ||
43 | Philippe Mathieu-Daudé (5): | 39 | docs/system/arm/sbsa.rst | 35 +++++++++++++++++------ |
44 | hw/ssi/xilinx_spips: Convert lqspi_read() to read_with_attrs | 40 | hw/arm/raspi4b.c | 4 +++ |
45 | hw/ssi/xilinx_spips: Avoid AXI writes to the LQSPI linear memory | 41 | hw/intc/arm_gicv3_cpuif.c | 4 +-- |
46 | hw/ssi/xilinx_spips: Avoid out-of-bound access to lqspi_buf[] | 42 | target/arm/tcg/translate.c | 2 +- |
47 | hw/ssi/mss-spi: Avoid crash when reading empty RX FIFO | 43 | tests/qtest/stm32l4x5_gpio-test.c | 59 +++++++++++++++++++++++---------------- |
48 | hw/display/xlnx_dp: Avoid crash when reading empty RX FIFO | 44 | 5 files changed, 68 insertions(+), 36 deletions(-) |
49 | 45 | ||
50 | include/hw/timer/pl031.h | 2 ++ | ||
51 | hw/arm/virt.c | 2 +- | ||
52 | hw/core/machine.c | 1 + | ||
53 | hw/display/xlnx_dp.c | 15 +++++--- | ||
54 | hw/ssi/mss-spi.c | 8 ++++- | ||
55 | hw/ssi/xilinx_spips.c | 43 +++++++++++++++------- | ||
56 | hw/timer/pl031.c | 92 +++++++++++++++++++++++++++++++++++++++++++++--- | ||
57 | target/arm/cpu.c | 16 +++++++++ | ||
58 | target/arm/m_helper.c | 21 ++++++++--- | ||
59 | 9 files changed, 174 insertions(+), 26 deletions(-) | ||
60 | diff view generated by jsdifflib |
1 | The ARMv5 architecture didn't specify detailed per-feature ID | 1 | The HSTR_EL2 register allows the hypervisor to trap AArch32 EL1 and |
---|---|---|---|
2 | registers. Now that we're using the MVFR0 register fields to | 2 | EL0 accesses to cp15 registers. We incorrectly implemented this so |
3 | gate the existence of VFP instructions, we need to set up | 3 | they trap to EL1 when we detect the need for a HSTR trap at code |
4 | the correct values in the cpu->isar structure so that we still | 4 | generation time. (The check in access_check_cp_reg() which we do at |
5 | provide an FPU to the guest. | 5 | runtime to catch traps from EL0 is correctly routing them to EL2.) |
6 | 6 | ||
7 | This fixes a regression in the arm926 and arm1026 CPUs, which | 7 | Use the correct target EL when generating the code to take the trap. |
8 | are the only ones that both have VFP and are ARMv5 or earlier. | ||
9 | This regression was introduced by the VFP refactoring, and more | ||
10 | specifically by commits 1120827fa182f0e76 and 266bd25c485597c, | ||
11 | which accidentally disabled VFP short-vector support and | ||
12 | double-precision support on these CPUs. | ||
13 | 8 | ||
14 | Fixes: 1120827fa182f0e | 9 | Cc: qemu-stable@nongnu.org |
15 | Fixes: 266bd25c485597c | 10 | Resolves: https://gitlab.com/qemu-project/qemu/-/issues/2226 |
16 | Fixes: https://bugs.launchpad.net/qemu/+bug/1836192 | 11 | Fixes: 049edada5e93df ("target/arm: Make HSTR_EL2 traps take priority over UNDEF-at-EL1") |
17 | Reported-by: Christophe Lyon <christophe.lyon@linaro.org> | ||
18 | Signed-off-by: Peter Maydell <peter.maydell@linaro.org> | 12 | Signed-off-by: Peter Maydell <peter.maydell@linaro.org> |
19 | Reviewed-by: Richard Henderson <richard.henderson@linaro.org> | 13 | Reviewed-by: Richard Henderson <richard.henderson@linaro.org> |
20 | Reviewed-by: Alex Bennée <alex.bennee@linaro.org> | 14 | Message-id: 20240325133116.2075362-1-peter.maydell@linaro.org |
21 | Tested-by: Christophe Lyon <christophe.lyon@linaro.org> | ||
22 | Message-id: 20190711131241.22231-1-peter.maydell@linaro.org | ||
23 | --- | 15 | --- |
24 | target/arm/cpu.c | 12 ++++++++++++ | 16 | target/arm/tcg/translate.c | 2 +- |
25 | 1 file changed, 12 insertions(+) | 17 | 1 file changed, 1 insertion(+), 1 deletion(-) |
26 | 18 | ||
27 | diff --git a/target/arm/cpu.c b/target/arm/cpu.c | 19 | diff --git a/target/arm/tcg/translate.c b/target/arm/tcg/translate.c |
28 | index XXXXXXX..XXXXXXX 100644 | 20 | index XXXXXXX..XXXXXXX 100644 |
29 | --- a/target/arm/cpu.c | 21 | --- a/target/arm/tcg/translate.c |
30 | +++ b/target/arm/cpu.c | 22 | +++ b/target/arm/tcg/translate.c |
31 | @@ -XXX,XX +XXX,XX @@ static void arm926_initfn(Object *obj) | 23 | @@ -XXX,XX +XXX,XX @@ static void do_coproc_insn(DisasContext *s, int cpnum, int is64, |
32 | * set the field to indicate Jazelle support within QEMU. | 24 | tcg_gen_andi_i32(t, t, 1u << maskbit); |
33 | */ | 25 | tcg_gen_brcondi_i32(TCG_COND_EQ, t, 0, over.label); |
34 | cpu->isar.id_isar1 = FIELD_DP32(cpu->isar.id_isar1, ID_ISAR1, JAZELLE, 1); | 26 | |
35 | + /* | 27 | - gen_exception_insn(s, 0, EXCP_UDEF, syndrome); |
36 | + * Similarly, we need to set MVFR0 fields to enable double precision | 28 | + gen_exception_insn_el(s, 0, EXCP_UDEF, syndrome, 2); |
37 | + * and short vector support even though ARMv5 doesn't have this register. | 29 | /* |
38 | + */ | 30 | * gen_exception_insn() will set is_jmp to DISAS_NORETURN, |
39 | + cpu->isar.mvfr0 = FIELD_DP32(cpu->isar.mvfr0, MVFR0, FPSHVEC, 1); | 31 | * but since we're conditionally branching over it, we want |
40 | + cpu->isar.mvfr0 = FIELD_DP32(cpu->isar.mvfr0, MVFR0, FPDP, 1); | ||
41 | } | ||
42 | |||
43 | static void arm946_initfn(Object *obj) | ||
44 | @@ -XXX,XX +XXX,XX @@ static void arm1026_initfn(Object *obj) | ||
45 | * set the field to indicate Jazelle support within QEMU. | ||
46 | */ | ||
47 | cpu->isar.id_isar1 = FIELD_DP32(cpu->isar.id_isar1, ID_ISAR1, JAZELLE, 1); | ||
48 | + /* | ||
49 | + * Similarly, we need to set MVFR0 fields to enable double precision | ||
50 | + * and short vector support even though ARMv5 doesn't have this register. | ||
51 | + */ | ||
52 | + cpu->isar.mvfr0 = FIELD_DP32(cpu->isar.mvfr0, MVFR0, FPSHVEC, 1); | ||
53 | + cpu->isar.mvfr0 = FIELD_DP32(cpu->isar.mvfr0, MVFR0, FPDP, 1); | ||
54 | |||
55 | { | ||
56 | /* The 1026 had an IFAR at c6,c0,0,1 rather than the ARMv6 c6,c0,0,2 */ | ||
57 | -- | 32 | -- |
58 | 2.20.1 | 33 | 2.34.1 |
59 | |||
60 | diff view generated by jsdifflib |
1 | From: Philippe Mathieu-Daudé <philmd@redhat.com> | 1 | From: Marcin Juszkiewicz <marcin.juszkiewicz@linaro.org> |
---|---|---|---|
2 | 2 | ||
3 | In the previous commit we fixed a crash when the guest read a | 3 | Hardware of sbsa-ref board is nowadays defined by both BSA and SBSA |
4 | register that pop from an empty FIFO. | 4 | specifications. Then BBR defines firmware interface. |
5 | By auditing the repository, we found another similar use with | ||
6 | an easy way to reproduce: | ||
7 | 5 | ||
8 | $ qemu-system-aarch64 -M xlnx-zcu102 -monitor stdio -S | 6 | Added note about DeviceTree data passed from QEMU to firmware. It is |
9 | QEMU 4.0.50 monitor - type 'help' for more information | 7 | very minimal and provides only data we use in firmware. |
10 | (qemu) xp/b 0xfd4a0134 | ||
11 | Aborted (core dumped) | ||
12 | 8 | ||
13 | (gdb) bt | 9 | Added NUMA information to list of things reported by DeviceTree. |
14 | #0 0x00007f6936dea57f in raise () at /lib64/libc.so.6 | ||
15 | #1 0x00007f6936dd4895 in abort () at /lib64/libc.so.6 | ||
16 | #2 0x0000561ad32975ec in xlnx_dp_aux_pop_rx_fifo (s=0x7f692babee70) at hw/display/xlnx_dp.c:431 | ||
17 | #3 0x0000561ad3297dc0 in xlnx_dp_read (opaque=0x7f692babee70, offset=77, size=4) at hw/display/xlnx_dp.c:667 | ||
18 | #4 0x0000561ad321b896 in memory_region_read_accessor (mr=0x7f692babf620, addr=308, value=0x7ffe05c1db88, size=4, shift=0, mask=4294967295, attrs=...) at memory.c:439 | ||
19 | #5 0x0000561ad321bd70 in access_with_adjusted_size (addr=308, value=0x7ffe05c1db88, size=1, access_size_min=4, access_size_max=4, access_fn=0x561ad321b858 <memory_region_read_accessor>, mr=0x7f692babf620, attrs=...) at memory.c:569 | ||
20 | #6 0x0000561ad321e9d5 in memory_region_dispatch_read1 (mr=0x7f692babf620, addr=308, pval=0x7ffe05c1db88, size=1, attrs=...) at memory.c:1420 | ||
21 | #7 0x0000561ad321ea9d in memory_region_dispatch_read (mr=0x7f692babf620, addr=308, pval=0x7ffe05c1db88, size=1, attrs=...) at memory.c:1447 | ||
22 | #8 0x0000561ad31bd742 in flatview_read_continue (fv=0x561ad69c04f0, addr=4249485620, attrs=..., buf=0x7ffe05c1dcf0 "\020\335\301\005\376\177", len=1, addr1=308, l=1, mr=0x7f692babf620) at exec.c:3385 | ||
23 | #9 0x0000561ad31bd895 in flatview_read (fv=0x561ad69c04f0, addr=4249485620, attrs=..., buf=0x7ffe05c1dcf0 "\020\335\301\005\376\177", len=1) at exec.c:3423 | ||
24 | #10 0x0000561ad31bd90b in address_space_read_full (as=0x561ad5bb3020, addr=4249485620, attrs=..., buf=0x7ffe05c1dcf0 "\020\335\301\005\376\177", len=1) at exec.c:3436 | ||
25 | #11 0x0000561ad33b1c42 in address_space_read (len=1, buf=0x7ffe05c1dcf0 "\020\335\301\005\376\177", attrs=..., addr=4249485620, as=0x561ad5bb3020) at include/exec/memory.h:2131 | ||
26 | #12 0x0000561ad33b1c42 in memory_dump (mon=0x561ad59c4530, count=1, format=120, wsize=1, addr=4249485620, is_physical=1) at monitor/misc.c:723 | ||
27 | #13 0x0000561ad33b1fc1 in hmp_physical_memory_dump (mon=0x561ad59c4530, qdict=0x561ad6c6fd00) at monitor/misc.c:795 | ||
28 | #14 0x0000561ad37b4a9f in handle_hmp_command (mon=0x561ad59c4530, cmdline=0x561ad59d0f22 "/b 0x00000000fd4a0134") at monitor/hmp.c:1082 | ||
29 | 10 | ||
30 | Fix by checking the FIFO is not empty before popping from it. | 11 | Signed-off-by: Marcin Juszkiewicz <marcin.juszkiewicz@linaro.org> |
31 | 12 | Message-id: 20240328163851.1386176-1-marcin.juszkiewicz@linaro.org | |
32 | The datasheet is not clear about the reset value of this register, | 13 | Reviewed-by: Leif Lindholm <quic_llindhol@quicinc.com> |
33 | we choose to return '0'. | ||
34 | |||
35 | Signed-off-by: Philippe Mathieu-Daudé <philmd@redhat.com> | ||
36 | Reviewed-by: Alistair Francis <alistair.francis@wdc.com> | ||
37 | Message-id: 20190709113715.7761-4-philmd@redhat.com | ||
38 | Signed-off-by: Peter Maydell <peter.maydell@linaro.org> | 14 | Signed-off-by: Peter Maydell <peter.maydell@linaro.org> |
39 | --- | 15 | --- |
40 | hw/display/xlnx_dp.c | 15 +++++++++++---- | 16 | docs/system/arm/sbsa.rst | 35 ++++++++++++++++++++++++++--------- |
41 | 1 file changed, 11 insertions(+), 4 deletions(-) | 17 | 1 file changed, 26 insertions(+), 9 deletions(-) |
42 | 18 | ||
43 | diff --git a/hw/display/xlnx_dp.c b/hw/display/xlnx_dp.c | 19 | diff --git a/docs/system/arm/sbsa.rst b/docs/system/arm/sbsa.rst |
44 | index XXXXXXX..XXXXXXX 100644 | 20 | index XXXXXXX..XXXXXXX 100644 |
45 | --- a/hw/display/xlnx_dp.c | 21 | --- a/docs/system/arm/sbsa.rst |
46 | +++ b/hw/display/xlnx_dp.c | 22 | +++ b/docs/system/arm/sbsa.rst |
47 | @@ -XXX,XX +XXX,XX @@ static uint8_t xlnx_dp_aux_pop_rx_fifo(XlnxDPState *s) | 23 | @@ -XXX,XX +XXX,XX @@ |
48 | uint8_t ret; | 24 | Arm Server Base System Architecture Reference board (``sbsa-ref``) |
49 | 25 | ================================================================== | |
50 | if (fifo8_is_empty(&s->rx_fifo)) { | 26 | |
51 | - DPRINTF("rx_fifo underflow..\n"); | 27 | -While the ``virt`` board is a generic board platform that doesn't match |
52 | - abort(); | 28 | -any real hardware the ``sbsa-ref`` board intends to look like real |
53 | + qemu_log_mask(LOG_GUEST_ERROR, | 29 | -hardware. The `Server Base System Architecture |
54 | + "%s: Reading empty RX_FIFO\n", | 30 | -<https://developer.arm.com/documentation/den0029/latest>`_ defines a |
55 | + __func__); | 31 | -minimum base line of hardware support and importantly how the firmware |
56 | + /* | 32 | -reports that to any operating system. |
57 | + * The datasheet is not clear about the reset value, it seems | 33 | +The ``sbsa-ref`` board intends to look like real hardware (while the ``virt`` |
58 | + * to be unspecified. We choose to return '0'. | 34 | +board is a generic board platform that doesn't match any real hardware). |
59 | + */ | 35 | + |
60 | + ret = 0; | 36 | +The hardware part is defined by two specifications: |
61 | + } else { | 37 | + |
62 | + ret = fifo8_pop(&s->rx_fifo); | 38 | + - `Base System Architecture <https://developer.arm.com/documentation/den0094/>`__ (BSA) |
63 | + DPRINTF("pop 0x%" PRIX8 " from rx_fifo.\n", ret); | 39 | + - `Server Base System Architecture <https://developer.arm.com/documentation/den0029/>`__ (SBSA) |
64 | } | 40 | + |
65 | - ret = fifo8_pop(&s->rx_fifo); | 41 | +The `Arm Base Boot Requirements <https://developer.arm.com/documentation/den0044/>`__ (BBR) |
66 | - DPRINTF("pop 0x%" PRIX8 " from rx_fifo.\n", ret); | 42 | +specification defines how the firmware reports that to any operating system. |
67 | return ret; | 43 | |
68 | } | 44 | It is intended to be a machine for developing firmware and testing |
69 | 45 | standards compliance with operating systems. | |
46 | @@ -XXX,XX +XXX,XX @@ includes both internal hardware and parts affected by the qemu command line | ||
47 | (i.e. CPUs and memory). As a result it must have a firmware specifically built | ||
48 | to expect a certain hardware layout (as you would in a real machine). | ||
49 | |||
50 | +Note | ||
51 | +'''' | ||
52 | + | ||
53 | +QEMU provides the guest EL3 firmware with minimal information about hardware | ||
54 | +platform using minimalistic devicetree. This is not a Linux devicetree. It is | ||
55 | +not even a firmware devicetree. | ||
56 | + | ||
57 | +It is information passed from QEMU to describe the information a hardware | ||
58 | +platform would have other mechanisms to discover at runtime, that are affected | ||
59 | +by the QEMU command line. | ||
60 | + | ||
61 | +Ultimately this devicetree may be replaced by IPC calls to an emulated SCP. | ||
62 | + | ||
63 | DeviceTree information | ||
64 | '''''''''''''''''''''' | ||
65 | |||
66 | -The devicetree provided by the board model to the firmware is not intended | ||
67 | -to be a complete compliant DT. It currently reports: | ||
68 | +The devicetree reports: | ||
69 | |||
70 | - CPUs | ||
71 | - memory | ||
72 | - platform version | ||
73 | - GIC addresses | ||
74 | + - NUMA node id for CPUs and memory | ||
75 | |||
76 | Platform version | ||
77 | '''''''''''''''' | ||
78 | @@ -XXX,XX +XXX,XX @@ Platform version changes: | ||
79 | GIC ITS information is present in devicetree. | ||
80 | |||
81 | 0.3 | ||
82 | - The USB controller is an XHCI device, not EHCI | ||
83 | + The USB controller is an XHCI device, not EHCI. | ||
70 | -- | 84 | -- |
71 | 2.20.1 | 85 | 2.34.1 |
72 | |||
73 | diff view generated by jsdifflib |
1 | From: David Engraf <david.engraf@sysgo.com> | 1 | If the group of the highest priority pending interrupt is disabled |
---|---|---|---|
2 | via ICC_IGRPEN*, the ICC_HPPIR* registers should return | ||
3 | INTID_SPURIOUS, not the interrupt ID. (See the GIC architecture | ||
4 | specification pseudocode functions ICC_HPPIR1_EL1[] and | ||
5 | HighestPriorityPendingInterrupt().) | ||
2 | 6 | ||
3 | Using the whole 128 MiB flash in non-secure mode is not working because | 7 | Make HPPIR reads honour the group disable, the way we already do |
4 | virt_flash_fdt() expects the same address for secure_sysmem and sysmem. | 8 | when determining whether to preempt in icc_hppi_can_preempt(). |
5 | This is not correctly handled by caller because it forwards NULL for | ||
6 | secure_sysmem in non-secure flash mode. | ||
7 | 9 | ||
8 | Fixed by using sysmem when secure_sysmem is NULL. | 10 | Cc: qemu-stable@nongnu.org |
11 | Signed-off-by: Peter Maydell <peter.maydell@linaro.org> | ||
12 | Reviewed-by: Richard Henderson <richard.henderson@linaro.org> | ||
13 | Message-id: 20240328153333.2522667-1-peter.maydell@linaro.org | ||
14 | --- | ||
15 | hw/intc/arm_gicv3_cpuif.c | 4 ++-- | ||
16 | 1 file changed, 2 insertions(+), 2 deletions(-) | ||
9 | 17 | ||
10 | Signed-off-by: David Engraf <david.engraf@sysgo.com> | 18 | diff --git a/hw/intc/arm_gicv3_cpuif.c b/hw/intc/arm_gicv3_cpuif.c |
11 | Message-id: 20190712075002.14326-1-david.engraf@sysgo.com | ||
12 | Reviewed-by: Peter Maydell <peter.maydell@linaro.org> | ||
13 | Signed-off-by: Peter Maydell <peter.maydell@linaro.org> | ||
14 | --- | ||
15 | hw/arm/virt.c | 2 +- | ||
16 | 1 file changed, 1 insertion(+), 1 deletion(-) | ||
17 | |||
18 | diff --git a/hw/arm/virt.c b/hw/arm/virt.c | ||
19 | index XXXXXXX..XXXXXXX 100644 | 19 | index XXXXXXX..XXXXXXX 100644 |
20 | --- a/hw/arm/virt.c | 20 | --- a/hw/intc/arm_gicv3_cpuif.c |
21 | +++ b/hw/arm/virt.c | 21 | +++ b/hw/intc/arm_gicv3_cpuif.c |
22 | @@ -XXX,XX +XXX,XX @@ static void machvirt_init(MachineState *machine) | 22 | @@ -XXX,XX +XXX,XX @@ static uint64_t icc_hppir0_value(GICv3CPUState *cs, CPUARMState *env) |
23 | &machine->device_memory->mr); | 23 | */ |
24 | bool irq_is_secure; | ||
25 | |||
26 | - if (cs->hppi.prio == 0xff) { | ||
27 | + if (icc_no_enabled_hppi(cs)) { | ||
28 | return INTID_SPURIOUS; | ||
24 | } | 29 | } |
25 | 30 | ||
26 | - virt_flash_fdt(vms, sysmem, secure_sysmem); | 31 | @@ -XXX,XX +XXX,XX @@ static uint64_t icc_hppir1_value(GICv3CPUState *cs, CPUARMState *env) |
27 | + virt_flash_fdt(vms, sysmem, secure_sysmem ?: sysmem); | 32 | */ |
28 | 33 | bool irq_is_secure; | |
29 | create_gic(vms, pic); | 34 | |
35 | - if (cs->hppi.prio == 0xff) { | ||
36 | + if (icc_no_enabled_hppi(cs)) { | ||
37 | return INTID_SPURIOUS; | ||
38 | } | ||
30 | 39 | ||
31 | -- | 40 | -- |
32 | 2.20.1 | 41 | 2.34.1 |
33 | |||
34 | diff view generated by jsdifflib |
1 | From: Philippe Mathieu-Daudé <philmd@redhat.com> | 1 | From: Cédric Le Goater <clg@redhat.com> |
---|---|---|---|
2 | 2 | ||
3 | Lei Sun found while auditing the code that a CPU write would | 3 | The test mangles the GPIO address and the pin number in the |
4 | trigger a NULL pointer dereference. | 4 | qtest_add_data_func data parameter. Doing so, it assumes that the host |
5 | pointer size is always 64-bit, which breaks on 32-bit : | ||
5 | 6 | ||
6 | >From UG1085 datasheet [*] AXI writes in this region are ignored | 7 | ../tests/qtest/stm32l4x5_gpio-test.c: In function ‘test_gpio_output_mode’: |
7 | and generates an AXI Slave Error (SLVERR). | 8 | ../tests/qtest/stm32l4x5_gpio-test.c:272:25: error: cast from pointer to integer of different size [-Werror=pointer-to-int-cast] |
9 | 272 | unsigned int pin = ((uint64_t)data) & 0xF; | ||
10 | | ^ | ||
11 | ../tests/qtest/stm32l4x5_gpio-test.c:273:22: error: cast from pointer to integer of different size [-Werror=pointer-to-int-cast] | ||
12 | 273 | uint32_t gpio = ((uint64_t)data) >> 32; | ||
13 | | ^ | ||
8 | 14 | ||
9 | Fix by implementing the write_with_attrs() handler. | 15 | To fix, improve the mangling of the GPIO address and pin number fields |
10 | Return MEMTX_ERROR when the region is accessed (this error maps | 16 | by using GPIO_SIZE so that the resulting value fits in a 32-bit pointer. |
11 | to an AXI slave error). | 17 | While at it, include some helpers to hide the details. |
12 | 18 | ||
13 | [*] https://www.xilinx.com/support/documentation/user_guides/ug1085-zynq-ultrascale-trm.pdf | 19 | Cc: Arnaud Minier <arnaud.minier@telecom-paris.fr> |
14 | 20 | Cc: Inès Varhol <ines.varhol@telecom-paris.fr> | |
15 | Reported-by: Lei Sun <slei.casper@gmail.com> | 21 | Signed-off-by: Cédric Le Goater <clg@redhat.com> |
16 | Reviewed-by: Francisco Iglesias <frasse.iglesias@gmail.com> | 22 | Message-id: 20240329092747.298259-1-clg@redhat.com |
17 | Tested-by: Francisco Iglesias <frasse.iglesias@gmail.com> | 23 | Reviewed-by: Peter Maydell <peter.maydell@linaro.org> |
18 | Signed-off-by: Philippe Mathieu-Daudé <philmd@redhat.com> | ||
19 | Signed-off-by: Peter Maydell <peter.maydell@linaro.org> | 24 | Signed-off-by: Peter Maydell <peter.maydell@linaro.org> |
20 | --- | 25 | --- |
21 | hw/ssi/xilinx_spips.c | 16 ++++++++++++++++ | 26 | tests/qtest/stm32l4x5_gpio-test.c | 59 ++++++++++++++++++------------- |
22 | 1 file changed, 16 insertions(+) | 27 | 1 file changed, 35 insertions(+), 24 deletions(-) |
23 | 28 | ||
24 | diff --git a/hw/ssi/xilinx_spips.c b/hw/ssi/xilinx_spips.c | 29 | diff --git a/tests/qtest/stm32l4x5_gpio-test.c b/tests/qtest/stm32l4x5_gpio-test.c |
25 | index XXXXXXX..XXXXXXX 100644 | 30 | index XXXXXXX..XXXXXXX 100644 |
26 | --- a/hw/ssi/xilinx_spips.c | 31 | --- a/tests/qtest/stm32l4x5_gpio-test.c |
27 | +++ b/hw/ssi/xilinx_spips.c | 32 | +++ b/tests/qtest/stm32l4x5_gpio-test.c |
28 | @@ -XXX,XX +XXX,XX @@ static MemTxResult lqspi_read(void *opaque, hwaddr addr, uint64_t *value, | 33 | @@ -XXX,XX +XXX,XX @@ const uint32_t idr_reset[NUM_GPIOS] = { |
29 | return lqspi_read(opaque, addr, value, size, attrs); | 34 | 0x00000000 |
30 | } | 35 | }; |
31 | 36 | ||
32 | +static MemTxResult lqspi_write(void *opaque, hwaddr offset, uint64_t value, | 37 | +#define PIN_MASK 0xF |
33 | + unsigned size, MemTxAttrs attrs) | 38 | +#define GPIO_ADDR_MASK (~(GPIO_SIZE - 1)) |
39 | + | ||
40 | +static inline void *test_data(uint32_t gpio_addr, uint8_t pin) | ||
34 | +{ | 41 | +{ |
35 | + /* | 42 | + return (void *)(uintptr_t)((gpio_addr & GPIO_ADDR_MASK) | (pin & PIN_MASK)); |
36 | + * From UG1085, Chapter 24 (Quad-SPI controllers): | ||
37 | + * - Writes are ignored | ||
38 | + * - AXI writes generate an external AXI slave error (SLVERR) | ||
39 | + */ | ||
40 | + qemu_log_mask(LOG_GUEST_ERROR, "%s Unexpected %u-bit access to 0x%" PRIx64 | ||
41 | + " (value: 0x%" PRIx64 "\n", | ||
42 | + __func__, size << 3, offset, value); | ||
43 | + | ||
44 | + return MEMTX_ERROR; | ||
45 | +} | 43 | +} |
46 | + | 44 | + |
47 | static const MemoryRegionOps lqspi_ops = { | 45 | +#define test_gpio_addr(data) ((uintptr_t)(data) & GPIO_ADDR_MASK) |
48 | .read_with_attrs = lqspi_read, | 46 | +#define test_pin(data) ((uintptr_t)(data) & PIN_MASK) |
49 | + .write_with_attrs = lqspi_write, | 47 | + |
50 | .endianness = DEVICE_NATIVE_ENDIAN, | 48 | static uint32_t gpio_readl(unsigned int gpio, unsigned int offset) |
51 | .valid = { | 49 | { |
52 | .min_access_size = 1, | 50 | return readl(gpio + offset); |
51 | @@ -XXX,XX +XXX,XX @@ static void test_gpio_output_mode(const void *data) | ||
52 | * Additionally, it checks that values written to ODR | ||
53 | * when not in output mode are stored and not discarded. | ||
54 | */ | ||
55 | - unsigned int pin = ((uint64_t)data) & 0xF; | ||
56 | - uint32_t gpio = ((uint64_t)data) >> 32; | ||
57 | + unsigned int pin = test_pin(data); | ||
58 | + uint32_t gpio = test_gpio_addr(data); | ||
59 | unsigned int gpio_id = get_gpio_id(gpio); | ||
60 | |||
61 | qtest_irq_intercept_in(global_qtest, "/machine/soc/syscfg"); | ||
62 | @@ -XXX,XX +XXX,XX @@ static void test_gpio_input_mode(const void *data) | ||
63 | * corresponding GPIO line high/low : it should set the | ||
64 | * right bit in IDR and send an irq to syscfg. | ||
65 | */ | ||
66 | - unsigned int pin = ((uint64_t)data) & 0xF; | ||
67 | - uint32_t gpio = ((uint64_t)data) >> 32; | ||
68 | + unsigned int pin = test_pin(data); | ||
69 | + uint32_t gpio = test_gpio_addr(data); | ||
70 | unsigned int gpio_id = get_gpio_id(gpio); | ||
71 | |||
72 | qtest_irq_intercept_in(global_qtest, "/machine/soc/syscfg"); | ||
73 | @@ -XXX,XX +XXX,XX @@ static void test_pull_up_pull_down(const void *data) | ||
74 | * Test that a floating pin with pull-up sets the pin | ||
75 | * high and vice-versa. | ||
76 | */ | ||
77 | - unsigned int pin = ((uint64_t)data) & 0xF; | ||
78 | - uint32_t gpio = ((uint64_t)data) >> 32; | ||
79 | + unsigned int pin = test_pin(data); | ||
80 | + uint32_t gpio = test_gpio_addr(data); | ||
81 | unsigned int gpio_id = get_gpio_id(gpio); | ||
82 | |||
83 | qtest_irq_intercept_in(global_qtest, "/machine/soc/syscfg"); | ||
84 | @@ -XXX,XX +XXX,XX @@ static void test_push_pull(const void *data) | ||
85 | * disconnects the pin, that the pin can't be set or reset | ||
86 | * externally afterwards. | ||
87 | */ | ||
88 | - unsigned int pin = ((uint64_t)data) & 0xF; | ||
89 | - uint32_t gpio = ((uint64_t)data) >> 32; | ||
90 | + unsigned int pin = test_pin(data); | ||
91 | + uint32_t gpio = test_gpio_addr(data); | ||
92 | uint32_t gpio2 = GPIO_BASE_ADDR + (GPIO_H - gpio); | ||
93 | |||
94 | qtest_irq_intercept_in(global_qtest, "/machine/soc/syscfg"); | ||
95 | @@ -XXX,XX +XXX,XX @@ static void test_open_drain(const void *data) | ||
96 | * However a pin set low externally shouldn't be disconnected, | ||
97 | * and it can be set low externally when in open-drain mode. | ||
98 | */ | ||
99 | - unsigned int pin = ((uint64_t)data) & 0xF; | ||
100 | - uint32_t gpio = ((uint64_t)data) >> 32; | ||
101 | + unsigned int pin = test_pin(data); | ||
102 | + uint32_t gpio = test_gpio_addr(data); | ||
103 | uint32_t gpio2 = GPIO_BASE_ADDR + (GPIO_H - gpio); | ||
104 | |||
105 | qtest_irq_intercept_in(global_qtest, "/machine/soc/syscfg"); | ||
106 | @@ -XXX,XX +XXX,XX @@ static void test_bsrr_brr(const void *data) | ||
107 | * has the desired effect on ODR. | ||
108 | * In BSRR, BSx has priority over BRx. | ||
109 | */ | ||
110 | - unsigned int pin = ((uint64_t)data) & 0xF; | ||
111 | - uint32_t gpio = ((uint64_t)data) >> 32; | ||
112 | + unsigned int pin = test_pin(data); | ||
113 | + uint32_t gpio = test_gpio_addr(data); | ||
114 | |||
115 | gpio_writel(gpio, BSRR, (1 << pin)); | ||
116 | g_assert_cmphex(gpio_readl(gpio, ODR), ==, reset(gpio, ODR) | (1 << pin)); | ||
117 | @@ -XXX,XX +XXX,XX @@ int main(int argc, char **argv) | ||
118 | * is problematic since the pin was already high. | ||
119 | */ | ||
120 | qtest_add_data_func("stm32l4x5/gpio/test_gpioc5_output_mode", | ||
121 | - (void *)((uint64_t)GPIO_C << 32 | 5), | ||
122 | + test_data(GPIO_C, 5), | ||
123 | test_gpio_output_mode); | ||
124 | qtest_add_data_func("stm32l4x5/gpio/test_gpioh3_output_mode", | ||
125 | - (void *)((uint64_t)GPIO_H << 32 | 3), | ||
126 | + test_data(GPIO_H, 3), | ||
127 | test_gpio_output_mode); | ||
128 | qtest_add_data_func("stm32l4x5/gpio/test_gpio_input_mode1", | ||
129 | - (void *)((uint64_t)GPIO_D << 32 | 6), | ||
130 | + test_data(GPIO_D, 6), | ||
131 | test_gpio_input_mode); | ||
132 | qtest_add_data_func("stm32l4x5/gpio/test_gpio_input_mode2", | ||
133 | - (void *)((uint64_t)GPIO_C << 32 | 10), | ||
134 | + test_data(GPIO_C, 10), | ||
135 | test_gpio_input_mode); | ||
136 | qtest_add_data_func("stm32l4x5/gpio/test_gpio_pull_up_pull_down1", | ||
137 | - (void *)((uint64_t)GPIO_B << 32 | 5), | ||
138 | + test_data(GPIO_B, 5), | ||
139 | test_pull_up_pull_down); | ||
140 | qtest_add_data_func("stm32l4x5/gpio/test_gpio_pull_up_pull_down2", | ||
141 | - (void *)((uint64_t)GPIO_F << 32 | 1), | ||
142 | + test_data(GPIO_F, 1), | ||
143 | test_pull_up_pull_down); | ||
144 | qtest_add_data_func("stm32l4x5/gpio/test_gpio_push_pull1", | ||
145 | - (void *)((uint64_t)GPIO_G << 32 | 6), | ||
146 | + test_data(GPIO_G, 6), | ||
147 | test_push_pull); | ||
148 | qtest_add_data_func("stm32l4x5/gpio/test_gpio_push_pull2", | ||
149 | - (void *)((uint64_t)GPIO_H << 32 | 3), | ||
150 | + test_data(GPIO_H, 3), | ||
151 | test_push_pull); | ||
152 | qtest_add_data_func("stm32l4x5/gpio/test_gpio_open_drain1", | ||
153 | - (void *)((uint64_t)GPIO_C << 32 | 4), | ||
154 | + test_data(GPIO_C, 4), | ||
155 | test_open_drain); | ||
156 | qtest_add_data_func("stm32l4x5/gpio/test_gpio_open_drain2", | ||
157 | - (void *)((uint64_t)GPIO_E << 32 | 11), | ||
158 | + test_data(GPIO_E, 11), | ||
159 | test_open_drain); | ||
160 | qtest_add_data_func("stm32l4x5/gpio/test_bsrr_brr1", | ||
161 | - (void *)((uint64_t)GPIO_A << 32 | 12), | ||
162 | + test_data(GPIO_A, 12), | ||
163 | test_bsrr_brr); | ||
164 | qtest_add_data_func("stm32l4x5/gpio/test_bsrr_brr2", | ||
165 | - (void *)((uint64_t)GPIO_D << 32 | 0), | ||
166 | + test_data(GPIO_D, 0), | ||
167 | test_bsrr_brr); | ||
168 | |||
169 | qtest_start("-machine b-l475e-iot01a"); | ||
53 | -- | 170 | -- |
54 | 2.20.1 | 171 | 2.34.1 |
55 | 172 | ||
56 | 173 | diff view generated by jsdifflib |
1 | From: Alex Bennée <alex.bennee@linaro.org> | 1 | From: Cédric Le Goater <clg@redhat.com> |
---|---|---|---|
2 | 2 | ||
3 | When we converted to using feature bits in 602f6e42cfbf we missed out | 3 | Change the board revision number and RAM size to 1Gb on 32-bit hosts. |
4 | the fact (dp && arm_dc_feature(s, ARM_FEATURE_V8)) was supported for | 4 | On these systems, RAM has a 2047 MB limit and this breaks the tests. |
5 | -cpu max configurations. This caused a regression in the GCC test | ||
6 | suite. Fix this by setting the appropriate bits in mvfr1.FPHP to | ||
7 | report ARMv8-A with FP support (but not ARMv8.2-FP16). | ||
8 | 5 | ||
9 | Fixes: https://bugs.launchpad.net/qemu/+bug/1836078 | 6 | Fixes: 7785e8ea2204 ("hw/arm: Introduce Raspberry PI 4 machine") |
10 | Signed-off-by: Alex Bennée <alex.bennee@linaro.org> | 7 | Signed-off-by: Cédric Le Goater <clg@redhat.com> |
11 | Reviewed-by: Richard Henderson <richard.henderson@linaro.org> | 8 | Message-id: 20240329150155.357043-1-clg@redhat.com |
12 | Message-id: 20190711103737.10017-1-alex.bennee@linaro.org | 9 | Reviewed-by: Peter Maydell <peter.maydell@linaro.org> |
13 | Signed-off-by: Peter Maydell <peter.maydell@linaro.org> | 10 | Signed-off-by: Peter Maydell <peter.maydell@linaro.org> |
14 | --- | 11 | --- |
15 | target/arm/cpu.c | 4 ++++ | 12 | hw/arm/raspi4b.c | 4 ++++ |
16 | 1 file changed, 4 insertions(+) | 13 | 1 file changed, 4 insertions(+) |
17 | 14 | ||
18 | diff --git a/target/arm/cpu.c b/target/arm/cpu.c | 15 | diff --git a/hw/arm/raspi4b.c b/hw/arm/raspi4b.c |
19 | index XXXXXXX..XXXXXXX 100644 | 16 | index XXXXXXX..XXXXXXX 100644 |
20 | --- a/target/arm/cpu.c | 17 | --- a/hw/arm/raspi4b.c |
21 | +++ b/target/arm/cpu.c | 18 | +++ b/hw/arm/raspi4b.c |
22 | @@ -XXX,XX +XXX,XX @@ static void arm_max_initfn(Object *obj) | 19 | @@ -XXX,XX +XXX,XX @@ static void raspi4b_machine_class_init(ObjectClass *oc, void *data) |
23 | t = FIELD_DP32(t, ID_ISAR6, SPECRES, 1); | 20 | MachineClass *mc = MACHINE_CLASS(oc); |
24 | cpu->isar.id_isar6 = t; | 21 | RaspiBaseMachineClass *rmc = RASPI_BASE_MACHINE_CLASS(oc); |
25 | 22 | ||
26 | + t = cpu->isar.mvfr1; | 23 | +#if HOST_LONG_BITS == 32 |
27 | + t = FIELD_DP32(t, MVFR1, FPHP, 2); /* v8.0 FP support */ | 24 | + rmc->board_rev = 0xa03111; /* Revision 1.1, 1 Gb RAM */ |
28 | + cpu->isar.mvfr1 = t; | 25 | +#else |
29 | + | 26 | rmc->board_rev = 0xb03115; /* Revision 1.5, 2 Gb RAM */ |
30 | t = cpu->isar.mvfr2; | 27 | +#endif |
31 | t = FIELD_DP32(t, MVFR2, SIMDMISC, 3); /* SIMD MaxNum */ | 28 | raspi_machine_class_common_init(mc, rmc->board_rev); |
32 | t = FIELD_DP32(t, MVFR2, FPMISC, 4); /* FP MaxNum */ | 29 | mc->init = raspi4b_machine_init; |
30 | } | ||
33 | -- | 31 | -- |
34 | 2.20.1 | 32 | 2.34.1 |
35 | 33 | ||
36 | 34 | diff view generated by jsdifflib |
Deleted patch | |||
---|---|---|---|
1 | From: Philippe Mathieu-Daudé <philmd@redhat.com> | ||
2 | 1 | ||
3 | In the next commit we will implement the write_with_attrs() | ||
4 | handler. To avoid using different APIs, convert the read() | ||
5 | handler first. | ||
6 | |||
7 | Reviewed-by: Francisco Iglesias <frasse.iglesias@gmail.com> | ||
8 | Tested-by: Francisco Iglesias <frasse.iglesias@gmail.com> | ||
9 | Signed-off-by: Philippe Mathieu-Daudé <philmd@redhat.com> | ||
10 | Signed-off-by: Peter Maydell <peter.maydell@linaro.org> | ||
11 | --- | ||
12 | hw/ssi/xilinx_spips.c | 23 +++++++++++------------ | ||
13 | 1 file changed, 11 insertions(+), 12 deletions(-) | ||
14 | |||
15 | diff --git a/hw/ssi/xilinx_spips.c b/hw/ssi/xilinx_spips.c | ||
16 | index XXXXXXX..XXXXXXX 100644 | ||
17 | --- a/hw/ssi/xilinx_spips.c | ||
18 | +++ b/hw/ssi/xilinx_spips.c | ||
19 | @@ -XXX,XX +XXX,XX @@ static void lqspi_load_cache(void *opaque, hwaddr addr) | ||
20 | } | ||
21 | } | ||
22 | |||
23 | -static uint64_t | ||
24 | -lqspi_read(void *opaque, hwaddr addr, unsigned int size) | ||
25 | +static MemTxResult lqspi_read(void *opaque, hwaddr addr, uint64_t *value, | ||
26 | + unsigned size, MemTxAttrs attrs) | ||
27 | { | ||
28 | - XilinxQSPIPS *q = opaque; | ||
29 | - uint32_t ret; | ||
30 | + XilinxQSPIPS *q = XILINX_QSPIPS(opaque); | ||
31 | |||
32 | if (addr >= q->lqspi_cached_addr && | ||
33 | addr <= q->lqspi_cached_addr + LQSPI_CACHE_SIZE - 4) { | ||
34 | uint8_t *retp = &q->lqspi_buf[addr - q->lqspi_cached_addr]; | ||
35 | - ret = cpu_to_le32(*(uint32_t *)retp); | ||
36 | - DB_PRINT_L(1, "addr: %08x, data: %08x\n", (unsigned)addr, | ||
37 | - (unsigned)ret); | ||
38 | - return ret; | ||
39 | - } else { | ||
40 | - lqspi_load_cache(opaque, addr); | ||
41 | - return lqspi_read(opaque, addr, size); | ||
42 | + *value = cpu_to_le32(*(uint32_t *)retp); | ||
43 | + DB_PRINT_L(1, "addr: %08" HWADDR_PRIx ", data: %08" PRIx64 "\n", | ||
44 | + addr, *value); | ||
45 | + return MEMTX_OK; | ||
46 | } | ||
47 | + | ||
48 | + lqspi_load_cache(opaque, addr); | ||
49 | + return lqspi_read(opaque, addr, value, size, attrs); | ||
50 | } | ||
51 | |||
52 | static const MemoryRegionOps lqspi_ops = { | ||
53 | - .read = lqspi_read, | ||
54 | + .read_with_attrs = lqspi_read, | ||
55 | .endianness = DEVICE_NATIVE_ENDIAN, | ||
56 | .valid = { | ||
57 | .min_access_size = 1, | ||
58 | -- | ||
59 | 2.20.1 | ||
60 | |||
61 | diff view generated by jsdifflib |
Deleted patch | |||
---|---|---|---|
1 | From: Philippe Mathieu-Daudé <philmd@redhat.com> | ||
2 | 1 | ||
3 | Both lqspi_read() and lqspi_load_cache() expect a 32-bit | ||
4 | aligned address. | ||
5 | |||
6 | >From UG1085 datasheet [*] chapter on 'Quad-SPI Controller': | ||
7 | |||
8 | Transfer Size Limitations | ||
9 | |||
10 | Because of the 32-bit wide TX, RX, and generic FIFO, all | ||
11 | APB/AXI transfers must be an integer multiple of 4-bytes. | ||
12 | Shorter transfers are not possible. | ||
13 | |||
14 | Set MemoryRegionOps.impl values to force 32-bit accesses, | ||
15 | this way we are sure we do not access the lqspi_buf[] array | ||
16 | out of bound. | ||
17 | |||
18 | [*] https://www.xilinx.com/support/documentation/user_guides/ug1085-zynq-ultrascale-trm.pdf | ||
19 | |||
20 | Reviewed-by: Francisco Iglesias <frasse.iglesias@gmail.com> | ||
21 | Tested-by: Francisco Iglesias <frasse.iglesias@gmail.com> | ||
22 | Signed-off-by: Philippe Mathieu-Daudé <philmd@redhat.com> | ||
23 | Signed-off-by: Peter Maydell <peter.maydell@linaro.org> | ||
24 | --- | ||
25 | hw/ssi/xilinx_spips.c | 4 ++++ | ||
26 | 1 file changed, 4 insertions(+) | ||
27 | |||
28 | diff --git a/hw/ssi/xilinx_spips.c b/hw/ssi/xilinx_spips.c | ||
29 | index XXXXXXX..XXXXXXX 100644 | ||
30 | --- a/hw/ssi/xilinx_spips.c | ||
31 | +++ b/hw/ssi/xilinx_spips.c | ||
32 | @@ -XXX,XX +XXX,XX @@ static const MemoryRegionOps lqspi_ops = { | ||
33 | .read_with_attrs = lqspi_read, | ||
34 | .write_with_attrs = lqspi_write, | ||
35 | .endianness = DEVICE_NATIVE_ENDIAN, | ||
36 | + .impl = { | ||
37 | + .min_access_size = 4, | ||
38 | + .max_access_size = 4, | ||
39 | + }, | ||
40 | .valid = { | ||
41 | .min_access_size = 1, | ||
42 | .max_access_size = 4 | ||
43 | -- | ||
44 | 2.20.1 | ||
45 | |||
46 | diff view generated by jsdifflib |
Deleted patch | |||
---|---|---|---|
1 | From: Philippe Mathieu-Daudé <philmd@redhat.com> | ||
2 | 1 | ||
3 | Reading the RX_DATA register when the RX_FIFO is empty triggers | ||
4 | an abort. This can be easily reproduced: | ||
5 | |||
6 | $ qemu-system-arm -M emcraft-sf2 -monitor stdio -S | ||
7 | QEMU 4.0.50 monitor - type 'help' for more information | ||
8 | (qemu) x 0x40001010 | ||
9 | Aborted (core dumped) | ||
10 | |||
11 | (gdb) bt | ||
12 | #1 0x00007f035874f895 in abort () at /lib64/libc.so.6 | ||
13 | #2 0x00005628686591ff in fifo8_pop (fifo=0x56286a9a4c68) at util/fifo8.c:66 | ||
14 | #3 0x00005628683e0b8e in fifo32_pop (fifo=0x56286a9a4c68) at include/qemu/fifo32.h:137 | ||
15 | #4 0x00005628683e0efb in spi_read (opaque=0x56286a9a4850, addr=4, size=4) at hw/ssi/mss-spi.c:168 | ||
16 | #5 0x0000562867f96801 in memory_region_read_accessor (mr=0x56286a9a4b60, addr=16, value=0x7ffeecb0c5c8, size=4, shift=0, mask=4294967295, attrs=...) at memory.c:439 | ||
17 | #6 0x0000562867f96cdb in access_with_adjusted_size (addr=16, value=0x7ffeecb0c5c8, size=4, access_size_min=1, access_size_max=4, access_fn=0x562867f967c3 <memory_region_read_accessor>, mr=0x56286a9a4b60, attrs=...) at memory.c:569 | ||
18 | #7 0x0000562867f99940 in memory_region_dispatch_read1 (mr=0x56286a9a4b60, addr=16, pval=0x7ffeecb0c5c8, size=4, attrs=...) at memory.c:1420 | ||
19 | #8 0x0000562867f99a08 in memory_region_dispatch_read (mr=0x56286a9a4b60, addr=16, pval=0x7ffeecb0c5c8, size=4, attrs=...) at memory.c:1447 | ||
20 | #9 0x0000562867f38721 in flatview_read_continue (fv=0x56286aec6360, addr=1073745936, attrs=..., buf=0x7ffeecb0c7c0 "\340ǰ\354\376\177", len=4, addr1=16, l=4, mr=0x56286a9a4b60) at exec.c:3385 | ||
21 | #10 0x0000562867f38874 in flatview_read (fv=0x56286aec6360, addr=1073745936, attrs=..., buf=0x7ffeecb0c7c0 "\340ǰ\354\376\177", len=4) at exec.c:3423 | ||
22 | #11 0x0000562867f388ea in address_space_read_full (as=0x56286aa3e890, addr=1073745936, attrs=..., buf=0x7ffeecb0c7c0 "\340ǰ\354\376\177", len=4) at exec.c:3436 | ||
23 | #12 0x0000562867f389c5 in address_space_rw (as=0x56286aa3e890, addr=1073745936, attrs=..., buf=0x7ffeecb0c7c0 "\340ǰ\354\376\177", len=4, is_write=false) at exec.c:3466 | ||
24 | #13 0x0000562867f3bdd7 in cpu_memory_rw_debug (cpu=0x56286aa19d00, addr=1073745936, buf=0x7ffeecb0c7c0 "\340ǰ\354\376\177", len=4, is_write=0) at exec.c:3976 | ||
25 | #14 0x000056286811ed51 in memory_dump (mon=0x56286a8c32d0, count=1, format=120, wsize=4, addr=1073745936, is_physical=0) at monitor/misc.c:730 | ||
26 | #15 0x000056286811eff1 in hmp_memory_dump (mon=0x56286a8c32d0, qdict=0x56286b15c400) at monitor/misc.c:785 | ||
27 | #16 0x00005628684740ee in handle_hmp_command (mon=0x56286a8c32d0, cmdline=0x56286a8caeb2 "0x40001010") at monitor/hmp.c:1082 | ||
28 | |||
29 | From the datasheet "Actel SmartFusion Microcontroller Subsystem | ||
30 | User's Guide" Rev.1, Table 13-3 "SPI Register Summary", this | ||
31 | register has a reset value of 0. | ||
32 | |||
33 | Check the FIFO is not empty before accessing it, else log an | ||
34 | error message. | ||
35 | |||
36 | Signed-off-by: Philippe Mathieu-Daudé <philmd@redhat.com> | ||
37 | Reviewed-by: Alistair Francis <alistair.francis@wdc.com> | ||
38 | Message-id: 20190709113715.7761-3-philmd@redhat.com | ||
39 | Signed-off-by: Peter Maydell <peter.maydell@linaro.org> | ||
40 | --- | ||
41 | hw/ssi/mss-spi.c | 8 +++++++- | ||
42 | 1 file changed, 7 insertions(+), 1 deletion(-) | ||
43 | |||
44 | diff --git a/hw/ssi/mss-spi.c b/hw/ssi/mss-spi.c | ||
45 | index XXXXXXX..XXXXXXX 100644 | ||
46 | --- a/hw/ssi/mss-spi.c | ||
47 | +++ b/hw/ssi/mss-spi.c | ||
48 | @@ -XXX,XX +XXX,XX @@ spi_read(void *opaque, hwaddr addr, unsigned int size) | ||
49 | case R_SPI_RX: | ||
50 | s->regs[R_SPI_STATUS] &= ~S_RXFIFOFUL; | ||
51 | s->regs[R_SPI_STATUS] &= ~S_RXCHOVRF; | ||
52 | - ret = fifo32_pop(&s->rx_fifo); | ||
53 | + if (fifo32_is_empty(&s->rx_fifo)) { | ||
54 | + qemu_log_mask(LOG_GUEST_ERROR, | ||
55 | + "%s: Reading empty RX_FIFO\n", | ||
56 | + __func__); | ||
57 | + } else { | ||
58 | + ret = fifo32_pop(&s->rx_fifo); | ||
59 | + } | ||
60 | if (fifo32_is_empty(&s->rx_fifo)) { | ||
61 | s->regs[R_SPI_STATUS] |= S_RXFIFOEMP; | ||
62 | } | ||
63 | -- | ||
64 | 2.20.1 | ||
65 | |||
66 | diff view generated by jsdifflib |
Deleted patch | |||
---|---|---|---|
1 | The PL031 RTC tracks the difference between the guest RTC | ||
2 | and the host RTC using a tick_offset field. For migration, | ||
3 | however, we currently always migrate the offset between | ||
4 | the guest and the vm_clock, even if the RTC clock is not | ||
5 | the same as the vm_clock; this was an attempt to retain | ||
6 | migration backwards compatibility. | ||
7 | 1 | ||
8 | Unfortunately this results in the RTC behaving oddly across | ||
9 | a VM state save and restore -- since the VM clock stands still | ||
10 | across save-then-restore, regardless of how much real world | ||
11 | time has elapsed, the guest RTC ends up out of sync with the | ||
12 | host RTC in the restored VM. | ||
13 | |||
14 | Fix this by migrating the raw tick_offset. To retain migration | ||
15 | compatibility as far as possible, we have a new property | ||
16 | migrate-tick-offset; by default this is 'true' and we will | ||
17 | migrate the true tick offset in a new subsection; if the | ||
18 | incoming data has no subsection we fall back to the old | ||
19 | vm_clock-based offset information, so old->new migration | ||
20 | compatibility is preserved. For complete new->old migration | ||
21 | compatibility, the property is set to 'false' for 4.0 and | ||
22 | earlier machine types (this will only affect 'virt-4.0' | ||
23 | and below, as none of the other pl031-using machines are | ||
24 | versioned). | ||
25 | |||
26 | Reported-by: Russell King <rmk@armlinux.org.uk> | ||
27 | Signed-off-by: Peter Maydell <peter.maydell@linaro.org> | ||
28 | Reviewed-by: Dr. David Alan Gilbert <dgilbert@redhat.com> | ||
29 | Message-id: 20190709143912.28905-1-peter.maydell@linaro.org | ||
30 | --- | ||
31 | include/hw/timer/pl031.h | 2 + | ||
32 | hw/core/machine.c | 1 + | ||
33 | hw/timer/pl031.c | 92 ++++++++++++++++++++++++++++++++++++++-- | ||
34 | 3 files changed, 91 insertions(+), 4 deletions(-) | ||
35 | |||
36 | diff --git a/include/hw/timer/pl031.h b/include/hw/timer/pl031.h | ||
37 | index XXXXXXX..XXXXXXX 100644 | ||
38 | --- a/include/hw/timer/pl031.h | ||
39 | +++ b/include/hw/timer/pl031.h | ||
40 | @@ -XXX,XX +XXX,XX @@ typedef struct PL031State { | ||
41 | */ | ||
42 | uint32_t tick_offset_vmstate; | ||
43 | uint32_t tick_offset; | ||
44 | + bool tick_offset_migrated; | ||
45 | + bool migrate_tick_offset; | ||
46 | |||
47 | uint32_t mr; | ||
48 | uint32_t lr; | ||
49 | diff --git a/hw/core/machine.c b/hw/core/machine.c | ||
50 | index XXXXXXX..XXXXXXX 100644 | ||
51 | --- a/hw/core/machine.c | ||
52 | +++ b/hw/core/machine.c | ||
53 | @@ -XXX,XX +XXX,XX @@ GlobalProperty hw_compat_4_0[] = { | ||
54 | { "virtio-gpu-pci", "edid", "false" }, | ||
55 | { "virtio-device", "use-started", "false" }, | ||
56 | { "virtio-balloon-device", "qemu-4-0-config-size", "true" }, | ||
57 | + { "pl031", "migrate-tick-offset", "false" }, | ||
58 | }; | ||
59 | const size_t hw_compat_4_0_len = G_N_ELEMENTS(hw_compat_4_0); | ||
60 | |||
61 | diff --git a/hw/timer/pl031.c b/hw/timer/pl031.c | ||
62 | index XXXXXXX..XXXXXXX 100644 | ||
63 | --- a/hw/timer/pl031.c | ||
64 | +++ b/hw/timer/pl031.c | ||
65 | @@ -XXX,XX +XXX,XX @@ static int pl031_pre_save(void *opaque) | ||
66 | { | ||
67 | PL031State *s = opaque; | ||
68 | |||
69 | - /* tick_offset is base_time - rtc_clock base time. Instead, we want to | ||
70 | - * store the base time relative to the QEMU_CLOCK_VIRTUAL for backwards-compatibility. */ | ||
71 | + /* | ||
72 | + * The PL031 device model code uses the tick_offset field, which is | ||
73 | + * the offset between what the guest RTC should read and what the | ||
74 | + * QEMU rtc_clock reads: | ||
75 | + * guest_rtc = rtc_clock + tick_offset | ||
76 | + * and so | ||
77 | + * tick_offset = guest_rtc - rtc_clock | ||
78 | + * | ||
79 | + * We want to migrate this offset, which sounds straightforward. | ||
80 | + * Unfortunately older versions of QEMU migrated a conversion of this | ||
81 | + * offset into an offset from the vm_clock. (This was in turn an | ||
82 | + * attempt to be compatible with even older QEMU versions, but it | ||
83 | + * has incorrect behaviour if the rtc_clock is not the same as the | ||
84 | + * vm_clock.) So we put the actual tick_offset into a migration | ||
85 | + * subsection, and the backwards-compatible time-relative-to-vm_clock | ||
86 | + * in the main migration state. | ||
87 | + * | ||
88 | + * Calculate base time relative to QEMU_CLOCK_VIRTUAL: | ||
89 | + */ | ||
90 | int64_t delta = qemu_clock_get_ns(rtc_clock) - qemu_clock_get_ns(QEMU_CLOCK_VIRTUAL); | ||
91 | s->tick_offset_vmstate = s->tick_offset + delta / NANOSECONDS_PER_SECOND; | ||
92 | |||
93 | return 0; | ||
94 | } | ||
95 | |||
96 | +static int pl031_pre_load(void *opaque) | ||
97 | +{ | ||
98 | + PL031State *s = opaque; | ||
99 | + | ||
100 | + s->tick_offset_migrated = false; | ||
101 | + return 0; | ||
102 | +} | ||
103 | + | ||
104 | static int pl031_post_load(void *opaque, int version_id) | ||
105 | { | ||
106 | PL031State *s = opaque; | ||
107 | |||
108 | - int64_t delta = qemu_clock_get_ns(rtc_clock) - qemu_clock_get_ns(QEMU_CLOCK_VIRTUAL); | ||
109 | - s->tick_offset = s->tick_offset_vmstate - delta / NANOSECONDS_PER_SECOND; | ||
110 | + /* | ||
111 | + * If we got the tick_offset subsection, then we can just use | ||
112 | + * the value in that. Otherwise the source is an older QEMU and | ||
113 | + * has given us the offset from the vm_clock; convert it back to | ||
114 | + * an offset from the rtc_clock. This will cause time to incorrectly | ||
115 | + * go backwards compared to the host RTC, but this is unavoidable. | ||
116 | + */ | ||
117 | + | ||
118 | + if (!s->tick_offset_migrated) { | ||
119 | + int64_t delta = qemu_clock_get_ns(rtc_clock) - | ||
120 | + qemu_clock_get_ns(QEMU_CLOCK_VIRTUAL); | ||
121 | + s->tick_offset = s->tick_offset_vmstate - | ||
122 | + delta / NANOSECONDS_PER_SECOND; | ||
123 | + } | ||
124 | pl031_set_alarm(s); | ||
125 | return 0; | ||
126 | } | ||
127 | |||
128 | +static int pl031_tick_offset_post_load(void *opaque, int version_id) | ||
129 | +{ | ||
130 | + PL031State *s = opaque; | ||
131 | + | ||
132 | + s->tick_offset_migrated = true; | ||
133 | + return 0; | ||
134 | +} | ||
135 | + | ||
136 | +static bool pl031_tick_offset_needed(void *opaque) | ||
137 | +{ | ||
138 | + PL031State *s = opaque; | ||
139 | + | ||
140 | + return s->migrate_tick_offset; | ||
141 | +} | ||
142 | + | ||
143 | +static const VMStateDescription vmstate_pl031_tick_offset = { | ||
144 | + .name = "pl031/tick-offset", | ||
145 | + .version_id = 1, | ||
146 | + .minimum_version_id = 1, | ||
147 | + .needed = pl031_tick_offset_needed, | ||
148 | + .post_load = pl031_tick_offset_post_load, | ||
149 | + .fields = (VMStateField[]) { | ||
150 | + VMSTATE_UINT32(tick_offset, PL031State), | ||
151 | + VMSTATE_END_OF_LIST() | ||
152 | + } | ||
153 | +}; | ||
154 | + | ||
155 | static const VMStateDescription vmstate_pl031 = { | ||
156 | .name = "pl031", | ||
157 | .version_id = 1, | ||
158 | .minimum_version_id = 1, | ||
159 | .pre_save = pl031_pre_save, | ||
160 | + .pre_load = pl031_pre_load, | ||
161 | .post_load = pl031_post_load, | ||
162 | .fields = (VMStateField[]) { | ||
163 | VMSTATE_UINT32(tick_offset_vmstate, PL031State), | ||
164 | @@ -XXX,XX +XXX,XX @@ static const VMStateDescription vmstate_pl031 = { | ||
165 | VMSTATE_UINT32(im, PL031State), | ||
166 | VMSTATE_UINT32(is, PL031State), | ||
167 | VMSTATE_END_OF_LIST() | ||
168 | + }, | ||
169 | + .subsections = (const VMStateDescription*[]) { | ||
170 | + &vmstate_pl031_tick_offset, | ||
171 | + NULL | ||
172 | } | ||
173 | }; | ||
174 | |||
175 | +static Property pl031_properties[] = { | ||
176 | + /* | ||
177 | + * True to correctly migrate the tick offset of the RTC. False to | ||
178 | + * obtain backward migration compatibility with older QEMU versions, | ||
179 | + * at the expense of the guest RTC going backwards compared with the | ||
180 | + * host RTC when the VM is saved/restored if using -rtc host. | ||
181 | + * (Even if set to 'true' older QEMU can migrate forward to newer QEMU; | ||
182 | + * 'false' also permits newer QEMU to migrate to older QEMU.) | ||
183 | + */ | ||
184 | + DEFINE_PROP_BOOL("migrate-tick-offset", | ||
185 | + PL031State, migrate_tick_offset, true), | ||
186 | + DEFINE_PROP_END_OF_LIST() | ||
187 | +}; | ||
188 | + | ||
189 | static void pl031_class_init(ObjectClass *klass, void *data) | ||
190 | { | ||
191 | DeviceClass *dc = DEVICE_CLASS(klass); | ||
192 | |||
193 | dc->vmsd = &vmstate_pl031; | ||
194 | + dc->props = pl031_properties; | ||
195 | } | ||
196 | |||
197 | static const TypeInfo pl031_info = { | ||
198 | -- | ||
199 | 2.20.1 | ||
200 | |||
201 | diff view generated by jsdifflib |
Deleted patch | |||
---|---|---|---|
1 | In the M-profile architecture, when we do a vector table fetch and it | ||
2 | fails, we need to report a HardFault. Whether this is a Secure HF or | ||
3 | a NonSecure HF depends on several things. If AIRCR.BFHFNMINS is 0 | ||
4 | then HF is always Secure, because there is no NonSecure HardFault. | ||
5 | Otherwise, the answer depends on whether the 'underlying exception' | ||
6 | (MemManage, BusFault, SecureFault) targets Secure or NonSecure. (In | ||
7 | the pseudocode, this is handled in the Vector() function: the final | ||
8 | exc.isSecure is calculated by looking at the exc.isSecure from the | ||
9 | exception returned from the memory access, not the isSecure input | ||
10 | argument.) | ||
11 | 1 | ||
12 | We weren't doing this correctly, because we were looking at | ||
13 | the target security domain of the exception we were trying to | ||
14 | load the vector table entry for. This produces errors of two kinds: | ||
15 | * a load from the NS vector table which hits the "NS access | ||
16 | to S memory" SecureFault should end up as a Secure HardFault, | ||
17 | but we were raising an NS HardFault | ||
18 | * a load from the S vector table which causes a BusFault | ||
19 | should raise an NS HardFault if BFHFNMINS == 1 (because | ||
20 | in that case all BusFaults are NonSecure), but we were raising | ||
21 | a Secure HardFault | ||
22 | |||
23 | Correct the logic. | ||
24 | |||
25 | We also fix a comment error where we claimed that we might | ||
26 | be escalating MemManage to HardFault, and forgot about SecureFault. | ||
27 | (Vector loads can never hit MPU access faults, because they're | ||
28 | always aligned and always use the default address map.) | ||
29 | |||
30 | Signed-off-by: Peter Maydell <peter.maydell@linaro.org> | ||
31 | Message-id: 20190705094823.28905-1-peter.maydell@linaro.org | ||
32 | --- | ||
33 | target/arm/m_helper.c | 21 +++++++++++++++++---- | ||
34 | 1 file changed, 17 insertions(+), 4 deletions(-) | ||
35 | |||
36 | diff --git a/target/arm/m_helper.c b/target/arm/m_helper.c | ||
37 | index XXXXXXX..XXXXXXX 100644 | ||
38 | --- a/target/arm/m_helper.c | ||
39 | +++ b/target/arm/m_helper.c | ||
40 | @@ -XXX,XX +XXX,XX @@ static bool arm_v7m_load_vector(ARMCPU *cpu, int exc, bool targets_secure, | ||
41 | if (sattrs.ns) { | ||
42 | attrs.secure = false; | ||
43 | } else if (!targets_secure) { | ||
44 | - /* NS access to S memory */ | ||
45 | + /* | ||
46 | + * NS access to S memory: the underlying exception which we escalate | ||
47 | + * to HardFault is SecureFault, which always targets Secure. | ||
48 | + */ | ||
49 | + exc_secure = true; | ||
50 | goto load_fail; | ||
51 | } | ||
52 | } | ||
53 | @@ -XXX,XX +XXX,XX @@ static bool arm_v7m_load_vector(ARMCPU *cpu, int exc, bool targets_secure, | ||
54 | vector_entry = address_space_ldl(arm_addressspace(cs, attrs), addr, | ||
55 | attrs, &result); | ||
56 | if (result != MEMTX_OK) { | ||
57 | + /* | ||
58 | + * Underlying exception is BusFault: its target security state | ||
59 | + * depends on BFHFNMINS. | ||
60 | + */ | ||
61 | + exc_secure = !(cpu->env.v7m.aircr & R_V7M_AIRCR_BFHFNMINS_MASK); | ||
62 | goto load_fail; | ||
63 | } | ||
64 | *pvec = vector_entry; | ||
65 | @@ -XXX,XX +XXX,XX @@ load_fail: | ||
66 | /* | ||
67 | * All vector table fetch fails are reported as HardFault, with | ||
68 | * HFSR.VECTTBL and .FORCED set. (FORCED is set because | ||
69 | - * technically the underlying exception is a MemManage or BusFault | ||
70 | + * technically the underlying exception is a SecureFault or BusFault | ||
71 | * that is escalated to HardFault.) This is a terminal exception, | ||
72 | * so we will either take the HardFault immediately or else enter | ||
73 | * lockup (the latter case is handled in armv7m_nvic_set_pending_derived()). | ||
74 | + * The HardFault is Secure if BFHFNMINS is 0 (meaning that all HFs are | ||
75 | + * secure); otherwise it targets the same security state as the | ||
76 | + * underlying exception. | ||
77 | */ | ||
78 | - exc_secure = targets_secure || | ||
79 | - !(cpu->env.v7m.aircr & R_V7M_AIRCR_BFHFNMINS_MASK); | ||
80 | + if (!(cpu->env.v7m.aircr & R_V7M_AIRCR_BFHFNMINS_MASK)) { | ||
81 | + exc_secure = true; | ||
82 | + } | ||
83 | env->v7m.hfsr |= R_V7M_HFSR_VECTTBL_MASK | R_V7M_HFSR_FORCED_MASK; | ||
84 | armv7m_nvic_set_pending_derived(env->nvic, ARMV7M_EXCP_HARD, exc_secure); | ||
85 | return false; | ||
86 | -- | ||
87 | 2.20.1 | ||
88 | |||
89 | diff view generated by jsdifflib |