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