Re: [XEN PATCH v2 00/10] address violations of MISRA C:2012 Directive 4.10

2023-10-17 Thread Jan Beulich
On 18.10.2023 02:48, Stefano Stabellini wrote: > On Mon, 16 Oct 2023, Jan Beulich wrote: >> On 29.09.2023 00:24, Stefano Stabellini wrote: >>> If it is not a MISRA requirement, then I think we should go for the path >>> of least resistance and try to make the smallest amount of changes >>>

[xen-unstable test] 183403: tolerable FAIL - PUSHED

2023-10-17 Thread osstest service owner
flight 183403 xen-unstable real [real] flight 183406 xen-unstable real-retest [real] http://logs.test-lab.xenproject.org/osstest/logs/183403/ http://logs.test-lab.xenproject.org/osstest/logs/183406/ Failures :-/ but no regressions. Tests which are failing intermittently (not blocking):

Re: [PATCH for-4.18 v3] x86/pvh: fix identity mapping of low 1MB

2023-10-17 Thread Henry Wang
Hi Roger, > On Oct 17, 2023, at 16:29, Roger Pau Monne wrote: > > The mapping of memory regions below the 1MB mark was all done by the PVH dom0 > builder code, causing the region to be avoided by the arch specific IOMMU > hardware domain initialization code. That lead to the IOMMU being

Re: [PATCH v7 8/8] xen/arm: mmu: move MMU specific P2M code to mmu/p2m.{c,h}

2023-10-17 Thread Henry Wang
Hi Julien, > On Oct 18, 2023, at 02:13, Julien Grall wrote: > > Hi Henry, > > On 17/10/2023 06:55, Henry Wang wrote: >>> On Oct 14, 2023, at 02:22, Julien Grall wrote: >>> >>> Hi Henry, >>> >>> On 09/10/2023 02:03, Henry Wang wrote: diff --git a/xen/arch/arm/include/asm/p2m.h

Re: [PATCH for-4.18] iommu/vt-d: use max supported AGAW

2023-10-17 Thread Henry Wang
Hi Roger, > On Oct 17, 2023, at 21:09, Roger Pau Monne wrote: > > SAGAW is a bitmap field, with bits 1 and 2 signaling support for AGAW 1 and > AGAW 2 respectively. According to the Intel VT-d specification, an IOMMU > might > support multiple AGAW values. > > The AGAW value for each device

[xen-unstable-smoke test] 183404: tolerable all pass - PUSHED

2023-10-17 Thread osstest service owner
flight 183404 xen-unstable-smoke real [real] http://logs.test-lab.xenproject.org/osstest/logs/183404/ Failures :-/ but no regressions. Tests which did not succeed, but are not blocking: test-amd64-amd64-libvirt 15 migrate-support-checkfail never pass test-arm64-arm64-xl-xsm

Re: [XEN PATCH 10/10] arm/smmu: address violation of MISRA C:2012 Rule 8.2

2023-10-17 Thread Stefano Stabellini
On Tue, 17 Oct 2023, Julien Grall wrote: > Hi Stefano, > > On 16/10/2023 21:47, Stefano Stabellini wrote: > > On Mon, 16 Oct 2023, Bertrand Marquis wrote: > > > > On 16 Oct 2023, at 15:38, Julien Grall wrote: > > > > > > > > > > > > > > > > On 16/10/2023 14:31, Bertrand Marquis wrote: > > > >

Re: [XEN PATCH v2 00/10] address violations of MISRA C:2012 Directive 4.10

2023-10-17 Thread Stefano Stabellini
On Mon, 16 Oct 2023, Jan Beulich wrote: > On 29.09.2023 00:24, Stefano Stabellini wrote: > > On Thu, 28 Sep 2023, Jan Beulich wrote: > >> On 28.09.2023 15:17, Simone Ballarin wrote: > >>> On 28/09/23 14:51, Jan Beulich wrote: > On 28.09.2023 14:46, Simone Ballarin wrote: > > On 13/09/23

[PATCH] hvc/xen: fix event channel handling for secondary consoles

2023-10-17 Thread David Woodhouse
From: David Woodhouse The xencons_connect_backend() function allocates a local interdomain event channel with xenbus_alloc_evtchn(), then calls bind_interdomain_evtchn_to_irq_lateeoi() to bind to that port# on the *remote* domain. That doesn't work very well: (qemu) device_add

[xen-unstable test] 183399: tolerable FAIL

2023-10-17 Thread osstest service owner
flight 183399 xen-unstable real [real] http://logs.test-lab.xenproject.org/osstest/logs/183399/ Failures :-/ but no regressions. Tests which are failing intermittently (not blocking): test-amd64-i386-xl-qemuu-debianhvm-i386-xsm 12 debian-hvm-install fail in 183392 pass in 183399

Re: [PATCH] ui/input: Constify QemuInputHandler structure

2023-10-17 Thread Mark Cave-Ayland
On 17/10/2023 14:12, Philippe Mathieu-Daudé wrote: Access to QemuInputHandlerState::handler are read-only. Signed-off-by: Philippe Mathieu-Daudé --- include/hw/virtio/virtio-input.h | 2 +- include/ui/input.h | 2 +- chardev/msmouse.c| 2 +-

Re: [PATCH v4 2/2] xen/arm: Enlarge identity map space to 10TB

2023-10-17 Thread Stefano Stabellini
On Mon, 15 Oct 2023, Julien Grall wrote: > On 16/10/2023 16:07, Bertrand Marquis wrote: > > > On 16 Oct 2023, at 16:46, Julien Grall wrote: > > > CC Henry > > > > > > Hi Alexey, > > > > > > On 16/10/2023 15:24, Alexey Klimov wrote: > > > > On Mon, 16 Oct 2023 at 15:13, Luca Fancellu > > > >

Re: [PATCH 3/4] [WTF] avoid qemu_del_nic() in xen_netdev_unrealize() on shutdown

2023-10-17 Thread David Woodhouse
On Tue, 2023-10-17 at 19:25 +0100, David Woodhouse wrote: > From: David Woodhouse > > When QEMU is exiting, qemu_cleanup() calls net_cleanup(), which deletes > the NIC from underneath the xen-net-device. When xen_netdev_unrealize() > is later called via the xenbus exit notifier, it crashes. > >

[PATCH 0/4] Update QEMU qnic driver to "new" XenDevice model

2023-10-17 Thread David Woodhouse
This has been on my TODO list for a while, and Paul's since 2019. Having converted the console driver just to get PV guests booting, I figured I should do this one while I still remember how. The fact that net_cleanup() frees my NIC from underneath me confused me for a while. Not entirely sure

[PATCH 2/4] hw/xen: update Xen PV NIC to XenDevice model

2023-10-17 Thread David Woodhouse
From: David Woodhouse Signed-off-by: David Woodhouse --- hw/net/meson.build| 2 +- hw/net/trace-events | 9 + hw/net/xen_nic.c | 426 +- hw/xenpv/xen_machine_pv.c | 1 - 4 files changed, 342 insertions(+), 96 deletions(-) diff

[PATCH 1/4] hw/xen: only remove peers of PCI NICs on unplug

2023-10-17 Thread David Woodhouse
From: David Woodhouse When the Xen guest asks to unplug *emulated* NICs, it's kind of unhelpful also to unplug the peer of the *Xen* PV NIC. Signed-off-by: David Woodhouse --- hw/i386/xen/xen_platform.c | 9 +++-- 1 file changed, 7 insertions(+), 2 deletions(-) diff --git

[PATCH 4/4] hw/i386/pc: support '-nic' for xen-net-device

2023-10-17 Thread David Woodhouse
From: David Woodhouse The default NIC creation seems a bit hackish to me. I don't understand why each platform ha to call pci_nic_init_nofail() from a point in the code where it actually has a pointer to the PCI bus, and then we have the special cases for things like ne2k_isa. If

[PATCH 3/4] [WTF] avoid qemu_del_nic() in xen_netdev_unrealize() on shutdown

2023-10-17 Thread David Woodhouse
From: David Woodhouse When QEMU is exiting, qemu_cleanup() calls net_cleanup(), which deletes the NIC from underneath the xen-net-device. When xen_netdev_unrealize() is later called via the xenbus exit notifier, it crashes. Signed-off-by: David Woodhouse --- hw/net/xen_nic.c | 8 +++- 1

Re: [PATCH v7 8/8] xen/arm: mmu: move MMU specific P2M code to mmu/p2m.{c,h}

2023-10-17 Thread Julien Grall
Hi Henry, On 17/10/2023 06:55, Henry Wang wrote: On Oct 14, 2023, at 02:22, Julien Grall wrote: Hi Henry, On 09/10/2023 02:03, Henry Wang wrote: diff --git a/xen/arch/arm/include/asm/p2m.h b/xen/arch/arm/include/asm/p2m.h index 940495d42b..a9622dac9a 100644 ---

Re: [PATCH 11/12] hw/xen: automatically assign device index to block devices

2023-10-17 Thread David Woodhouse
On Tue, 2023-10-17 at 12:21 +0200, Kevin Wolf wrote: > Am 16.10.2023 um 17:19 hat David Woodhouse geschrieben: > > From: David Woodhouse > > > > There's no need to force the user to assign a vdev. We can automatically > > assign one, starting at xvda and searching until we find the first disk >

Re: [QEMU PATCH v5 05/13] virtio-gpu: Configure context init for virglrenderer

2023-10-17 Thread Dmitry Osipenko
On 10/10/23 14:51, Daniel P. Berrangé wrote: > On Tue, Oct 10, 2023 at 02:41:22PM +0300, Dmitry Osipenko wrote: >> On 9/15/23 14:11, Huang Rui wrote: >>> Configure context init feature flag for virglrenderer. >>> >>> Originally-by: Antonio Caggiano >>> Signed-off-by: Huang Rui >>> --- >>> >>> V4

Re: [XEN PATCH][for-4.19 v2 6/7] xen/console: make function static inline

2023-10-17 Thread Nicola Vetrini
On 17/10/2023 18:26, Jan Beulich wrote: On 17.10.2023 17:24, Nicola Vetrini wrote: On 16/10/2023 16:52, Jan Beulich wrote: On 09.10.2023 08:54, Nicola Vetrini wrote: --- a/xen/include/xen/consoled.h +++ b/xen/include/xen/consoled.h @@ -12,7 +12,7 @@ size_t consoled_guest_tx(char c); #else

[PATCH -tip v3 1/3] x86/percpu: Correct PER_CPU_VAR usage to include symbol and its addend

2023-10-17 Thread Uros Bizjak
PER_CPU_VAR macro should be applied to a symbol and its addend. Inconsistent usage is currently harmless, but needs to be corrected before %rip-relative addressing is introduced to PER_CPU_VAR macro. No functional changes intended. Cc: Thomas Gleixner Cc: Ingo Molnar Cc: Borislav Petkov Cc:

[PATCH -tip v3 3/3] x86/percpu: Introduce %rip-relative addressing to PER_CPU_VAR

2023-10-17 Thread Uros Bizjak
Introduce x86_64 %rip-relative addressing to PER_CPU_VAR macro. Instructions using %rip-relative address operand are one byte shorter than their absolute address counterparts and are also compatible with position independent executable (-fpie) build. The patch reduces code size of a test kernel

[PATCH -tip v3 2/3] x86/percpu, xen: Correct PER_CPU_VAR usage to include symbol and its addend

2023-10-17 Thread Uros Bizjak
PER_CPU_VAR macro should be applied to a symbol and its addend. Inconsistent usage is currently harmless, but needs to be corrected before %rip-relative addressing is introduced to PER_CPU_VAR macro. No functional changes intended. Cc: Juergen Gross Cc: Thomas Gleixner Cc: Ingo Molnar Cc:

Re: [XEN PATCH][for-4.19 v2 6/7] xen/console: make function static inline

2023-10-17 Thread Jan Beulich
On 17.10.2023 17:24, Nicola Vetrini wrote: > On 16/10/2023 16:52, Jan Beulich wrote: >> On 09.10.2023 08:54, Nicola Vetrini wrote: >>> --- a/xen/include/xen/consoled.h >>> +++ b/xen/include/xen/consoled.h >>> @@ -12,7 +12,7 @@ size_t consoled_guest_tx(char c); >>> >>> #else >>> >>> -size_t

Re: [XEN PATCH v2 3/7] x86: add deviation comments for asm-only functions

2023-10-17 Thread Nicola Vetrini
Now, concrete action items. Nicola, I think we should look into having a larger-than-usual ECLAIR scan every week which includes all of Intel files and in general as much as possible of the codebase. This can be arranged. I'll keep you posted about this. -- Nicola Vetrini, BSc Software

Re: [XEN PATCH][for-4.19 v2 6/7] xen/console: make function static inline

2023-10-17 Thread Nicola Vetrini
On 16/10/2023 16:52, Jan Beulich wrote: On 09.10.2023 08:54, Nicola Vetrini wrote: --- a/xen/include/xen/consoled.h +++ b/xen/include/xen/consoled.h @@ -12,7 +12,7 @@ size_t consoled_guest_tx(char c); #else -size_t consoled_guest_tx(char c) { return 0; } +static inline size_t

Re: [PATCH for-4.18] docs/sphinx: Lifecycle of a domid

2023-10-17 Thread Alejandro Vallejo
The page is pretty nice overall and I quite liked it. Just a few extra questions below, as I'm not familiar with this side of things, On Mon, Oct 16, 2023 at 05:24:50PM +0100, Andrew Cooper wrote: > Signed-off-by: Andrew Cooper > --- > CC: George Dunlap > CC: Jan Beulich > CC: Stefano

[libvirt test] 183395: tolerable all pass - PUSHED

2023-10-17 Thread osstest service owner
flight 183395 libvirt real [real] http://logs.test-lab.xenproject.org/osstest/logs/183395/ Failures :-/ but no regressions. Tests which did not succeed, but are not blocking: test-armhf-armhf-libvirt-qcow2 15 saverestore-support-check fail like 183351 test-armhf-armhf-libvirt-raw 15

Re: [for-4.19] xen/arm64: head: only use the macro load_paddr() in the MMU code

2023-10-17 Thread Julien Grall
Hi, On 17/10/2023 15:07, Michal Orzel wrote: On 17/10/2023 14:52, Julien Grall wrote: The macro load_paddr() requires to know the offset between the physical location of Xen and the virtual location. When using the MPU, x20 will always be 0. Rather than wasting a register for a compile-time

[linux-linus test] 183393: tolerable FAIL - PUSHED

2023-10-17 Thread osstest service owner
flight 183393 linux-linus real [real] flight 183401 linux-linus real-retest [real] http://logs.test-lab.xenproject.org/osstest/logs/183393/ http://logs.test-lab.xenproject.org/osstest/logs/183401/ Failures :-/ but no regressions. Tests which are failing intermittently (not blocking):

Re: [for-4.19] xen/arm64: head: only use the macro load_paddr() in the MMU code

2023-10-17 Thread Michal Orzel
Hi Julien, On 17/10/2023 14:52, Julien Grall wrote: > > > The macro load_paddr() requires to know the offset between the > physical location of Xen and the virtual location. > > When using the MPU, x20 will always be 0. Rather than wasting > a register for a compile-time constant value, it

Re: [XEN PATCH 01/10] arm/gic: address violations of MISRA C:2012 Rule 8.2

2023-10-17 Thread Federico Serafini
On 16/10/23 10:53, Julien Grall wrote: Hi, On 13/10/2023 16:24, Federico Serafini wrote: Add missing parameter names, no functional change. Signed-off-by: Federico Serafini ---   xen/arch/arm/include/asm/gic.h | 12 ++--   1 file changed, 6 insertions(+), 6 deletions(-) diff --git

Re: [PATCH] ui/input: Constify QemuInputHandler structure

2023-10-17 Thread Marc-André Lureau
On Tue, Oct 17, 2023 at 5:13 PM Philippe Mathieu-Daudé wrote: > > Access to QemuInputHandlerState::handler are read-only. > > Signed-off-by: Philippe Mathieu-Daudé Reviewed-by: Marc-André Lureau > --- > include/hw/virtio/virtio-input.h | 2 +- > include/ui/input.h | 2 +- >

Re: MISRA C:2012 D4.11 caution on staging

2023-10-17 Thread Julien Grall
Hi Jan, On 17/10/2023 07:11, Jan Beulich wrote: On 16.10.2023 20:06, Julien Grall wrote: Instead, it would be best to find a way to help Eclair to detect this is not an issue and also improve readability. Would the following help Eclair? diff --git a/xen/common/domain.c b/xen/common/domain.c

[PATCH] ui/input: Constify QemuInputHandler structure

2023-10-17 Thread Philippe Mathieu-Daudé
Access to QemuInputHandlerState::handler are read-only. Signed-off-by: Philippe Mathieu-Daudé --- include/hw/virtio/virtio-input.h | 2 +- include/ui/input.h | 2 +- chardev/msmouse.c| 2 +- chardev/wctablet.c | 2 +- hw/char/escc.c

[PATCH for-4.18] iommu/vt-d: use max supported AGAW

2023-10-17 Thread Roger Pau Monne
SAGAW is a bitmap field, with bits 1 and 2 signaling support for AGAW 1 and AGAW 2 respectively. According to the Intel VT-d specification, an IOMMU might support multiple AGAW values. The AGAW value for each device is set in the device context entry, however there's a caveat related to the

[for-4.19] xen/arm64: head: only use the macro load_paddr() in the MMU code

2023-10-17 Thread Julien Grall
The macro load_paddr() requires to know the offset between the physical location of Xen and the virtual location. When using the MPU, x20 will always be 0. Rather than wasting a register for a compile-time constant value, it would be best if we can avoid using load_paddr() altogher in the common

[xen-unstable-smoke test] 183396: tolerable all pass - PUSHED

2023-10-17 Thread osstest service owner
flight 183396 xen-unstable-smoke real [real] http://logs.test-lab.xenproject.org/osstest/logs/183396/ Failures :-/ but no regressions. Tests which did not succeed, but are not blocking: test-amd64-amd64-libvirt 15 migrate-support-checkfail never pass test-arm64-arm64-xl-xsm

[xen-unstable test] 183392: tolerable FAIL - PUSHED

2023-10-17 Thread osstest service owner
flight 183392 xen-unstable real [real] flight 183398 xen-unstable real-retest [real] http://logs.test-lab.xenproject.org/osstest/logs/183392/ http://logs.test-lab.xenproject.org/osstest/logs/183398/ Failures :-/ but no regressions. Tests which are failing intermittently (not blocking):

Re: [PATCH for-4.18] docs/sphinx: Lifecycle of a domid

2023-10-17 Thread Juergen Gross
On 17.10.23 12:09, Andrew Cooper wrote: On 17/10/2023 6:24 am, Juergen Gross wrote: On 16.10.23 18:24, Andrew Cooper wrote: +command to ``xenstored``.  This instructs ``xenstored`` to connect to the +guest's xenstore ring, and fire the ``@introduceDomain`` watch.  The firing of +this watch is

Re: [PATCH 11/12] hw/xen: automatically assign device index to block devices

2023-10-17 Thread Kevin Wolf
Am 16.10.2023 um 17:19 hat David Woodhouse geschrieben: > From: David Woodhouse > > There's no need to force the user to assign a vdev. We can automatically > assign one, starting at xvda and searching until we find the first disk > name that's unused. > > This means we can now allow '-drive

Re: [PATCH for-4.18] docs/sphinx: Lifecycle of a domid

2023-10-17 Thread Jan Beulich
On 17.10.2023 12:15, Andrew Cooper wrote: > On 17/10/2023 7:34 am, Jan Beulich wrote: >> On 16.10.2023 18:24, Andrew Cooper wrote: >>> +Termination >>> +--- >>> + >>> +The VM runs for a period of time, but eventually stops. It can stop for a >>> +number of reasons, including: >>> + >>> +

Re: [PATCH for-4.18] docs/sphinx: Lifecycle of a domid

2023-10-17 Thread Andrew Cooper
On 17/10/2023 7:34 am, Jan Beulich wrote: > On 16.10.2023 18:24, Andrew Cooper wrote: >> +Termination >> +--- >> + >> +The VM runs for a period of time, but eventually stops. It can stop for a >> +number of reasons, including: >> + >> + * Directly at the guest kernel's request, via the

[ovmf test] 183397: all pass - PUSHED

2023-10-17 Thread osstest service owner
flight 183397 ovmf real [real] http://logs.test-lab.xenproject.org/osstest/logs/183397/ Perfect :-) All tests in this flight passed as required version targeted for testing: ovmf 772ec92577a8c786b6c9f8643fa60f1cf893bcd9 baseline version: ovmf

Re: [PATCH for-4.18] docs/sphinx: Lifecycle of a domid

2023-10-17 Thread Andrew Cooper
On 17/10/2023 6:24 am, Juergen Gross wrote: > On 16.10.23 18:24, Andrew Cooper wrote: >> +command to ``xenstored``.  This instructs ``xenstored`` to connect to >> the >> +guest's xenstore ring, and fire the ``@introduceDomain`` watch.  The >> firing of >> +this watch is the signal to all other

Re: [XEN PATCH][for-next v2 6/8] x86/mce: Move MC_NCLASSES into the enum mctelem_class

2023-10-17 Thread Jan Beulich
On 17.10.2023 11:43, Nicola Vetrini wrote: > On 17/10/2023 10:26, Jan Beulich wrote: >> On 17.10.2023 10:12, Nicola Vetrini wrote: >>> On 17/10/2023 09:02, Jan Beulich wrote: On 16.10.2023 18:05, Nicola Vetrini wrote: > On 16/10/2023 17:45, Jan Beulich wrote: >> On 12.10.2023 17:28,

Re: [XEN PATCH 10/10] arm/smmu: address violation of MISRA C:2012 Rule 8.2

2023-10-17 Thread Julien Grall
Hi Stefano, On 16/10/2023 21:47, Stefano Stabellini wrote: On Mon, 16 Oct 2023, Bertrand Marquis wrote: On 16 Oct 2023, at 15:38, Julien Grall wrote: On 16/10/2023 14:31, Bertrand Marquis wrote: Hi Julien, Hi Bertrand, On 16 Oct 2023, at 11:07, Julien Grall wrote: Hi, On 13/10/2023

Re: [XEN PATCH][for-next v2 7/7] x86/mem_access: make function static

2023-10-17 Thread Nicola Vetrini
On 16/10/2023 16:29, Jan Beulich wrote: On 09.10.2023 08:54, Nicola Vetrini wrote: --- a/xen/arch/x86/mm/mem_access.c +++ b/xen/arch/x86/mm/mem_access.c @@ -249,7 +249,7 @@ bool p2m_mem_access_check(paddr_t gpa, unsigned long gla, return (p2ma != p2m_access_n2rwx); } -int

Re: [XEN PATCH][for-next v2 6/8] x86/mce: Move MC_NCLASSES into the enum mctelem_class

2023-10-17 Thread Nicola Vetrini
On 17/10/2023 10:26, Jan Beulich wrote: On 17.10.2023 10:12, Nicola Vetrini wrote: On 17/10/2023 09:02, Jan Beulich wrote: On 16.10.2023 18:05, Nicola Vetrini wrote: On 16/10/2023 17:45, Jan Beulich wrote: On 12.10.2023 17:28, Nicola Vetrini wrote: The definition of MC_NCLASSES contained a

Re: [PATCH v3] x86/amd: Address AMD erratum #1485

2023-10-17 Thread Roger Pau Monné
On Tue, Oct 17, 2023 at 11:21:47AM +0200, Jan Beulich wrote: > On 17.10.2023 11:13, Roger Pau Monné wrote: > > On Tue, Oct 17, 2023 at 08:50:45AM +0100, Andrew Cooper wrote: > >> On 17/10/2023 8:44 am, Jan Beulich wrote: > >>> On 13.10.2023 17:38, Alejandro Vallejo wrote: > Fix adapted off

Re: [PATCH v3] x86/amd: Address AMD erratum #1485

2023-10-17 Thread Andrew Cooper
On 17/10/2023 10:13 am, Roger Pau Monné wrote: > On Tue, Oct 17, 2023 at 08:50:45AM +0100, Andrew Cooper wrote: >> On 17/10/2023 8:44 am, Jan Beulich wrote: >>> On 13.10.2023 17:38, Alejandro Vallejo wrote: Fix adapted off Linux's mailing list:

Re: [PATCH v3] x86/amd: Address AMD erratum #1485

2023-10-17 Thread Jan Beulich
On 17.10.2023 11:13, Roger Pau Monné wrote: > On Tue, Oct 17, 2023 at 08:50:45AM +0100, Andrew Cooper wrote: >> On 17/10/2023 8:44 am, Jan Beulich wrote: >>> On 13.10.2023 17:38, Alejandro Vallejo wrote: Fix adapted off Linux's mailing list:

Re: [PATCH v3] x86/amd: Address AMD erratum #1485

2023-10-17 Thread Roger Pau Monné
On Tue, Oct 17, 2023 at 08:50:45AM +0100, Andrew Cooper wrote: > On 17/10/2023 8:44 am, Jan Beulich wrote: > > On 13.10.2023 17:38, Alejandro Vallejo wrote: > >> Fix adapted off Linux's mailing list: > >> > >> https://lore.kernel.org/lkml/d99589f4-bc5d-430b-87b2-72c20370c...@exactcode.com/T/#u

Re: [XEN PATCH][for-4.19 v2 7/8] xen/types: address Rule 10.1 for DECLARE_BITMAP use

2023-10-17 Thread Nicola Vetrini
On 16/10/2023 17:49, Jan Beulich wrote: On 12.10.2023 17:28, Nicola Vetrini wrote: --- a/xen/include/xen/types.h +++ b/xen/include/xen/types.h @@ -22,6 +22,14 @@ typedef signed long ssize_t; typedef __PTRDIFF_TYPE__ ptrdiff_t; +/* + * Users of this macro are expected to pass a positive

[PATCH for-4.18 v3] x86/pvh: fix identity mapping of low 1MB

2023-10-17 Thread Roger Pau Monne
The mapping of memory regions below the 1MB mark was all done by the PVH dom0 builder code, causing the region to be avoided by the arch specific IOMMU hardware domain initialization code. That lead to the IOMMU being enabled without reserved regions in the low 1MB identity mapped in the p2m for

Re: [PATCH for-4.18 v2] x86/pvh: fix identity mapping of low 1MB

2023-10-17 Thread Roger Pau Monné
On Mon, Oct 16, 2023 at 04:55:30PM +0200, Jan Beulich wrote: > On 16.10.2023 16:51, Roger Pau Monné wrote: > > On Mon, Oct 16, 2023 at 04:07:22PM +0200, Jan Beulich wrote: > >> On 16.10.2023 15:51, Roger Pau Monné wrote: > >>> On Mon, Oct 16, 2023 at 03:32:54PM +0200, Jan Beulich wrote: > On

Re: [XEN PATCH][for-next v2 6/8] x86/mce: Move MC_NCLASSES into the enum mctelem_class

2023-10-17 Thread Jan Beulich
On 17.10.2023 10:12, Nicola Vetrini wrote: > On 17/10/2023 09:02, Jan Beulich wrote: >> On 16.10.2023 18:05, Nicola Vetrini wrote: >>> On 16/10/2023 17:45, Jan Beulich wrote: On 12.10.2023 17:28, Nicola Vetrini wrote: > The definition of MC_NCLASSES contained a violation of MISRA C:2012

Re: [XEN PATCH][for-4.19 v2 1/1] xen: introduce a deviation for Rule 11.9

2023-10-17 Thread Nicola Vetrini
On 17/10/2023 08:51, Jan Beulich wrote: On 16.10.2023 18:49, Nicola Vetrini wrote: On 16/10/2023 15:43, Jan Beulich wrote: On 11.10.2023 14:46, Nicola Vetrini wrote: --- a/xen/include/xen/compiler.h +++ b/xen/include/xen/compiler.h @@ -109,13 +109,16 @@ #define offsetof(a,b)

Re: [XEN PATCH][for-next v2 6/8] x86/mce: Move MC_NCLASSES into the enum mctelem_class

2023-10-17 Thread Nicola Vetrini
On 17/10/2023 09:02, Jan Beulich wrote: On 16.10.2023 18:05, Nicola Vetrini wrote: On 16/10/2023 17:45, Jan Beulich wrote: On 12.10.2023 17:28, Nicola Vetrini wrote: The definition of MC_NCLASSES contained a violation of MISRA C:2012 Rule 10.1, therefore by moving it as an enumeration

Re: [PATCH v8 1/4] x86/microcode: WARN->INFO for the "no ucode loading" log message

2023-10-17 Thread Jan Beulich
On 30.08.2023 17:53, Alejandro Vallejo wrote: > Currently there's a printk statement triggered when no ucode loading > facilities are discovered. This statement should have severity INFO rather > than WARNING because it's not reporting anything wrong. Warnings ought > to be reserved for

Re: [PATCH v3] x86/amd: Address AMD erratum #1485

2023-10-17 Thread Andrew Cooper
On 17/10/2023 8:44 am, Jan Beulich wrote: > On 13.10.2023 17:38, Alejandro Vallejo wrote: >> Fix adapted off Linux's mailing list: >> >> https://lore.kernel.org/lkml/d99589f4-bc5d-430b-87b2-72c20370c...@exactcode.com/T/#u > Why reference the bug report when there's a proper commit

Re: [PATCH v3] x86/amd: Address AMD erratum #1485

2023-10-17 Thread Jan Beulich
On 13.10.2023 17:38, Alejandro Vallejo wrote: > Fix adapted off Linux's mailing list: > > https://lore.kernel.org/lkml/d99589f4-bc5d-430b-87b2-72c20370c...@exactcode.com/T/#u Why reference the bug report when there's a proper commit (f454b18e07f5) now? Plus in any event a short summary of the

Re: [XEN PATCH][for-next v2 6/8] x86/mce: Move MC_NCLASSES into the enum mctelem_class

2023-10-17 Thread Jan Beulich
On 16.10.2023 18:05, Nicola Vetrini wrote: > On 16/10/2023 17:45, Jan Beulich wrote: >> On 12.10.2023 17:28, Nicola Vetrini wrote: >>> The definition of MC_NCLASSES contained a violation of MISRA C:2012 >>> Rule 10.1, therefore by moving it as an enumeration constant resolves >>> the >>>

Re: [XEN PATCH][for-next v2 5/8] x86/io_apic: address violation of MISRA C:2012 Rule 10.1

2023-10-17 Thread Jan Beulich
On 16.10.2023 18:36, Nicola Vetrini wrote: > On 16/10/2023 17:42, Jan Beulich wrote: >> On 12.10.2023 17:28, Nicola Vetrini wrote: >>> --- a/xen/arch/x86/include/asm/io_apic.h >>> +++ b/xen/arch/x86/include/asm/io_apic.h >>> @@ -14,9 +14,10 @@ >>> * Copyright (C) 1997, 1998, 1999, 2000 Ingo

Re: [XEN PATCH v2 3/7] x86: add deviation comments for asm-only functions

2023-10-17 Thread Jan Beulich
On 17.10.2023 00:34, Stefano Stabellini wrote: > On Mon, 16 Oct 2023, Jan Beulich wrote: >> On 09.10.2023 08:54, Nicola Vetrini wrote: >>> As stated in rules.rst, functions used only in asm code >>> are allowed to have no prior declaration visible when being >>> defined, hence these functions are

Re: [XEN PATCH][for-4.19 v2 1/1] xen: introduce a deviation for Rule 11.9

2023-10-17 Thread Jan Beulich
On 16.10.2023 18:49, Nicola Vetrini wrote: > On 16/10/2023 15:43, Jan Beulich wrote: >> On 11.10.2023 14:46, Nicola Vetrini wrote: >>> --- a/xen/include/xen/compiler.h >>> +++ b/xen/include/xen/compiler.h >>> @@ -109,13 +109,16 @@ >>> >>> #define offsetof(a,b) __builtin_offsetof(a,b) >>> >>> +/*

Re: [XEN PATCH v2 1/7] xen: add declarations for variables where needed

2023-10-17 Thread Jan Beulich
On 16.10.2023 19:05, Nicola Vetrini wrote: > On 16/10/2023 16:50, Jan Beulich wrote: >> On 09.10.2023 08:54, Nicola Vetrini wrote: >>> --- a/xen/arch/x86/include/asm/compat.h >>> +++ b/xen/arch/x86/include/asm/compat.h >>> @@ -13,6 +13,7 @@ typedef unsigned long full_ptr_t; >>> >>> struct domain;

Re: [PATCH for-4.18] docs/sphinx: Lifecycle of a domid

2023-10-17 Thread Jan Beulich
On 16.10.2023 18:24, Andrew Cooper wrote: > +Creation > + > + > +Within Xen, the ``domain_create()`` function is used to allocate and perform > +bare minimum construction of a domain. The :term:`control domain` accesses > +this functionality via the ``DOMCTL_createdomain`` hypercall. > +

[ovmf test] 183394: all pass - PUSHED

2023-10-17 Thread osstest service owner
flight 183394 ovmf real [real] http://logs.test-lab.xenproject.org/osstest/logs/183394/ Perfect :-) All tests in this flight passed as required version targeted for testing: ovmf a445e1a42ccf3cb9f70537c7cd80ece689bf4d9a baseline version: ovmf

Re: MISRA C:2012 D4.11 caution on staging

2023-10-17 Thread Jan Beulich
On 16.10.2023 20:06, Julien Grall wrote: > Instead, it would be best to find a way to help Eclair to detect this is > not an issue and also improve readability. Would the following help Eclair? > > diff --git a/xen/common/domain.c b/xen/common/domain.c > index 30c227967345..ab16124eabd6 100644 >

Re: [XEN PATCH][for-4.19 v2 8/8] xen/compat: use BUILD_BUG_ON in CHECK_SIZE macros

2023-10-17 Thread Jan Beulich
On 12.10.2023 17:28, Nicola Vetrini wrote: > BUILD_BUG_ON is the preferred way to induce a build error > upon statically determined incorrect conditions. > > This also fixes a MISRA C:2012 Rule 10.1 violation in the > previous formulation. > > Signed-off-by: Nicola Vetrini Hmm, looking back