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

2024-02-14 Thread osstest service owner
flight 184660 xen-unstable real [real] flight 184664 xen-unstable real-retest [real] http://logs.test-lab.xenproject.org/osstest/logs/184660/ http://logs.test-lab.xenproject.org/osstest/logs/184664/ Failures :-/ but no regressions. Tests which are failing intermittently (not blocking): test-amd6

Re: [PATCH v6 1/3] xen: introduce Kconfig function alignment option

2024-02-14 Thread Michal Orzel
Hi, On 07/02/2024 15:55, Roger Pau Monne wrote: > > > And use it to replace CODE_ALIGN in assembly. This allows to generalize the > way the code alignment gets set across all architectures. > > No functional change intended. > > Signed-off-by: Roger Pau Monné In xen/linkage.h, there is still

Re: [PATCH v2 2/3] docs/misra/rules.rst: add rule 5.5

2024-02-14 Thread Jan Beulich
On 13.02.2024 23:33, Stefano Stabellini wrote: > Signed-off-by: Stefano Stabellini > --- > docs/misra/rules.rst | 6 ++ > 1 file changed, 6 insertions(+) > > diff --git a/docs/misra/rules.rst b/docs/misra/rules.rst > index c185366966..931158b354 100644 > --- a/docs/misra/rules.rst > +++ b/do

Re: [regression] Re: [PATCH v2 2/2] iommu/vt-d: switch to common RMRR checker

2024-02-14 Thread Roger Pau Monné
On Wed, Feb 14, 2024 at 08:45:28AM +0100, Jan Beulich wrote: > On 13.02.2024 23:37, Andrew Cooper wrote: > > On 12/02/2024 2:38 pm, Jan Beulich wrote: > >> On 07.02.2024 16:34, Roger Pau Monne wrote: > >>> Use the newly introduced generic unity map checker. > >>> > >>> Also drop the message recomme

Re: [regression] Re: [PATCH v2 2/2] iommu/vt-d: switch to common RMRR checker

2024-02-14 Thread Andrew Cooper
On 14/02/2024 8:45 am, Roger Pau Monné wrote: > On Wed, Feb 14, 2024 at 08:45:28AM +0100, Jan Beulich wrote: >> On 13.02.2024 23:37, Andrew Cooper wrote: >>> On 12/02/2024 2:38 pm, Jan Beulich wrote: On 07.02.2024 16:34, Roger Pau Monne wrote: > Use the newly introduced generic unity map c

Re: [regression] Re: [PATCH v2 2/2] iommu/vt-d: switch to common RMRR checker

2024-02-14 Thread Jan Beulich
On 14.02.2024 09:45, Roger Pau Monné wrote: > On Wed, Feb 14, 2024 at 08:45:28AM +0100, Jan Beulich wrote: >> On 13.02.2024 23:37, Andrew Cooper wrote: >>> It's very likely something in this series, but the link to Intel might >>> just be chance of which hardware got selected, and I've got no clue

Re: [PATCH v13 01/14] vpci: use per-domain PCI lock to protect vpci structure

2024-02-14 Thread Jan Beulich
On 13.02.2024 17:58, Stewart Hildebrand wrote: > On 2/13/24 04:05, Jan Beulich wrote: >> On 13.02.2024 10:01, Roger Pau Monné wrote: >>> On Tue, Feb 13, 2024 at 09:44:58AM +0100, Jan Beulich wrote: On 13.02.2024 09:35, Roger Pau Monné wrote: > On Fri, Feb 02, 2024 at 04:33:05PM -0500, Stew

Re: [PATCH v8 3/7] xen/asm-generic: introduce stub header monitor.h

2024-02-14 Thread Oleksii
Hi Julien, > On 13/02/2024 17:40, Julien Grall wrote: > > Hi Oleksii, > > > > On 09/02/2024 18:00, Oleksii Kurochko wrote: > > > The header is shared between several archs so it is > > > moved to asm-generic. > > > > > > Switch partly Arm and PPC to asm-generic/monitor.h and only > > > arch_mo

Re: [PATCH v8 5/7] xen/asm-generic: introduce generic device.h

2024-02-14 Thread Oleksii
On Mon, 2024-02-12 at 15:19 +0100, Jan Beulich wrote: > On 09.02.2024 19:00, Oleksii Kurochko wrote: > > --- /dev/null > > +++ b/xen/include/asm-generic/device.h > > @@ -0,0 +1,149 @@ > > +/* SPDX-License-Identifier: GPL-2.0-only */ > > +#ifndef __ASM_GENERIC_DEVICE_H__ > > +#define __ASM_GENERIC_D

Re: [regression] Re: [PATCH v2 2/2] iommu/vt-d: switch to common RMRR checker

2024-02-14 Thread Roger Pau Monné
On Wed, Feb 14, 2024 at 10:01:43AM +0100, Jan Beulich wrote: > On 14.02.2024 09:45, Roger Pau Monné wrote: > > On Wed, Feb 14, 2024 at 08:45:28AM +0100, Jan Beulich wrote: > >> On 13.02.2024 23:37, Andrew Cooper wrote: > >>> It's very likely something in this series, but the link to Intel might > >

Re: [regression] Re: [PATCH v2 2/2] iommu/vt-d: switch to common RMRR checker

2024-02-14 Thread Roger Pau Monné
On Wed, Feb 14, 2024 at 09:00:25AM +, Andrew Cooper wrote: > On 14/02/2024 8:45 am, Roger Pau Monné wrote: > > On Wed, Feb 14, 2024 at 08:45:28AM +0100, Jan Beulich wrote: > >> On 13.02.2024 23:37, Andrew Cooper wrote: > >>> On 12/02/2024 2:38 pm, Jan Beulich wrote: > On 07.02.2024 16:34,

Re: [PATCH v8 5/7] xen/asm-generic: introduce generic device.h

2024-02-14 Thread Oleksii
On Tue, 2024-02-13 at 18:09 +, Julien Grall wrote: > Hi Oleksii, > > On 09/02/2024 18:00, Oleksii Kurochko wrote: > > diff --git a/xen/include/asm-generic/device.h b/xen/include/asm- > > generic/device.h > > new file mode 100644 > > index 00..6e56658271 > > --- /dev/null > > +++ b/xen/

[libvirt test] 184662: tolerable all pass - PUSHED

2024-02-14 Thread osstest service owner
flight 184662 libvirt real [real] http://logs.test-lab.xenproject.org/osstest/logs/184662/ Failures :-/ but no regressions. Tests which did not succeed, but are not blocking: test-armhf-armhf-libvirt 16 saverestore-support-checkfail like 184655 test-armhf-armhf-libvirt-qcow2 15 saveres

Re: [PATCH v8 6/7] xen/arm: switch Arm to use asm-generic/device.h

2024-02-14 Thread Oleksii
Hi Julien, On Tue, 2024-02-13 at 18:12 +, Julien Grall wrote: > Hi Oleksii, > > On 09/02/2024 18:00, Oleksii Kurochko wrote: > > The following changes were done as a result of switching to > > asm-generic/device.h: > >   * DEVICE_GIC was renamed to DEVICE_INTERRUPT_CONTROLLER according > >   

Re: [PATCH v2] xen/lib: introduce generic find next bit operations

2024-02-14 Thread Oleksii
On Mon, 2024-02-12 at 15:15 +0100, Jan Beulich wrote: > On 09.02.2024 18:58, Oleksii Kurochko wrote: > > find-next-bit.c is common for Arm64, PPC and RISCV64, > > so it is moved to xen/lib. > > > > PPC has been transitioned to generic functions from find-next-bit.c > > since it now shares the same

Re: [PATCH v2] xen/lib: introduce generic find next bit operations

2024-02-14 Thread Oleksii
Hi Julien, On Tue, 2024-02-13 at 17:18 +, Julien Grall wrote: > Hi Oleksii, > > On 09/02/2024 17:58, Oleksii Kurochko wrote: > > find-next-bit.c is common for Arm64, PPC and RISCV64, > > so it is moved to xen/lib. > > > > PPC has been transitioned to generic functions from find-next-bit.c >

[PATCH v2] Constify some parameters

2024-02-14 Thread Frediano Ziglio
Make clear they are not changed in the functions. Signed-off-by: Frediano Ziglio Reviewed-by: Jan Beulich -- v2: - fixed typo in commit message. --- xen/arch/x86/pv/callback.c | 4 ++-- xen/common/sched/compat.c | 2 +- xen/common/sched/core.c| 2 +- xen/xsm/flask/flask_op.c | 8

Re: [PATCH v4 30/30] xen/README: add compiler and binutils versions for RISC-V64

2024-02-14 Thread Jan Beulich
On 05.02.2024 16:32, Oleksii Kurochko wrote: > Signed-off-by: Oleksii Kurochko > --- > Changes in V4: > - Update version of GCC (12.2) and GNU Binutils (2.39) to the version > which are in Xen's contrainter for RISC-V > --- > Changes in V3: > - new patch > --- > README | 3 +++ > 1 file

Re: [PATCH v4 02/30] xen/riscv: use some asm-generic headers

2024-02-14 Thread Oleksii
On Mon, 2024-02-12 at 16:03 +0100, Jan Beulich wrote: > On 05.02.2024 16:32, Oleksii Kurochko wrote: > > Some headers are the same as asm-generic verions of them > > so use them instead of arch-specific headers. > > Just to mention it (I'll commit this as is, unless asked to do > otherwise): > Wit

Re: [PATCH v4 03/30] xen: add support in public/hvm/save.h for PPC and RISC-V

2024-02-14 Thread Oleksii
On Mon, 2024-02-12 at 16:05 +0100, Jan Beulich wrote: > On 05.02.2024 16:32, Oleksii Kurochko wrote: > > No specific header is needed to include in public/hvm/save.h for > > PPC and RISC-V for now. > > > > Code related to PPC was changed based on the comment: > > https://lore.kernel.org/xen-devel/

Re: [PATCH v4 05/30] xen/riscv: introduce guest_atomics.h

2024-02-14 Thread Oleksii
On Mon, 2024-02-12 at 16:07 +0100, Jan Beulich wrote: > On 05.02.2024 16:32, Oleksii Kurochko wrote: > > Signed-off-by: Oleksii Kurochko > > Acked-by: Jan Beulich Thanks! ~ Oleksii

Re: [PATCH v4 02/30] xen/riscv: use some asm-generic headers

2024-02-14 Thread Jan Beulich
On 14.02.2024 10:54, Oleksii wrote: > On Mon, 2024-02-12 at 16:03 +0100, Jan Beulich wrote: >> On 05.02.2024 16:32, Oleksii Kurochko wrote: >>>  As [PATCH v6 0/9] Introduce generic headers >>>  ( >>> https://lore.kernel.org/xen-devel/cover.1703072575.git.oleksii.kuroc...@gmail.com >>> /) >>>  is no

Re: [PATCH v4 06/30] xen: avoid generation of empty asm/iommu.h

2024-02-14 Thread Oleksii
On Mon, 2024-02-12 at 16:10 +0100, Jan Beulich wrote: > On 05.02.2024 16:32, Oleksii Kurochko wrote: > > asm/iommu.h shouldn't > > ... need to ... > > > be included when CONFIG_HAS_PASSTHROUGH > > isn't enabled. > > As is ifdef-ed by CONFIG_HAS_PASSTHROUGH it should > > be also ifdef-ed field "s

Re: [regression] Re: [PATCH v2 2/2] iommu/vt-d: switch to common RMRR checker

2024-02-14 Thread Andrew Cooper
On 14/02/2024 8:45 am, Roger Pau Monné wrote: > I've found it: > > for ( addr = start; mfn_x(addr) <= mfn_x(end); mfn_add(addr, 1) ) > > Should be: > > for ( addr = start; mfn_x(addr) <= mfn_x(end); addr = mfn_add(addr, 1) ) Coverity did end up spotting this. > New defect(s) Reported-by:

[PATCH v2] Argo: don't obtain excess page references

2024-02-14 Thread Jan Beulich
find_ring_mfn() already holds a page reference when trying to obtain a writable type reference. We shouldn't make assumptions on the general reference count limit being effectively "infinity". Obtain merely a type ref, re-using the general ref by only dropping the previously acquired one in the cas

Re: [PATCH v6 02/15] xen/arm: add initial support for LLC coloring on arm64

2024-02-14 Thread Michal Orzel
Hi Carlo, On 29/01/2024 18:17, Carlo Nonato wrote: > > > LLC coloring needs to know the last level cache layout in order to make the > best use of it. This can be probed by inspecting the CLIDR_EL1 register, > so the Last Level is defined as the last level visible by this register. > Note that t

[PATCH v2] x86: amend 'n' debug-key output with SMI count

2024-02-14 Thread Jan Beulich
... if available only, of course. Signed-off-by: Jan Beulich --- I don't really like issuing an IPI (and having another cf_check function) here, yet then again this is issued only when the debug key is actually used, and given how simple the handling function is (including that it doesn't use its

Re: [PATCH v5 15/22] tools/libs/light: add backend type for 9pfs PV devices

2024-02-14 Thread Jürgen Groß
On 13.02.24 19:03, Anthony PERARD wrote: On Thu, Feb 08, 2024 at 05:55:39PM +0100, Juergen Gross wrote: +struct libxl__aop9_state { +libxl__spawn_state spawn; +libxl__ao_device *aodev; +libxl_device_p9 p9; +uint32_t domid; +void (*callback)(libxl__egc *, libxl__aop9_state *,

[PATCH v2] Reduce assembly code size of exception entry points

2024-02-14 Thread Frediano Ziglio
We just pushed a 8-bytes zero and exception constants are small so we can just write a single byte saving 3 bytes for instruction. With ENDBR64 this reduces the size of many entry points from 32 to 16 bytes (due to alignment). Similar code is already used in autogen_stubs. Signed-off-by: Frediano

Re: [PATCH v4 09/30] xen/riscv: introduce bitops.h

2024-02-14 Thread Oleksii
On Mon, 2024-02-12 at 16:58 +0100, Jan Beulich wrote: > On 05.02.2024 16:32, Oleksii Kurochko wrote: > > --- /dev/null > > +++ b/xen/arch/riscv/include/asm/bitops.h > > @@ -0,0 +1,164 @@ > > +/* SPDX-License-Identifier: GPL-2.0 */ > > +/* Copyright (C) 2012 Regents of the University of California *

Re: [PATCH v4 11/30] xen/riscv: introduce smp.h

2024-02-14 Thread Oleksii
On Mon, 2024-02-12 at 16:13 +0100, Jan Beulich wrote: > On 05.02.2024 16:32, Oleksii Kurochko wrote: > > Signed-off-by: Oleksii Kurochko > > Acked-by: Jan Beulich Thanks for Ack. ~ Oleksii

[PULL 14/60] apic, i386/tcg: add x2apic transitions

2024-02-14 Thread Michael S. Tsirkin
From: Bui Quang Minh This commit adds support for x2APIC transitions when writing to MSR_IA32_APICBASE register and finally adds CPUID_EXT_X2APIC to TCG_EXT_FEATURES. The set_base in APICCommonClass now returns an integer to indicate error in execution. apic_set_base return -1 on invalid APIC st

Re: [PATCH v4 09/30] xen/riscv: introduce bitops.h

2024-02-14 Thread Jan Beulich
On 14.02.2024 12:06, Oleksii wrote: > On Mon, 2024-02-12 at 16:58 +0100, Jan Beulich wrote: >> On 05.02.2024 16:32, Oleksii Kurochko wrote: >>> +({  \ >>> +    unsigned long __res, __mask;    \ >> >> Leftover leading underscore

[XEN PATCH] automation/eclair_analysis: deviate certain macros for Rule 20.12

2024-02-14 Thread Nicola Vetrini
Certain macros are allowed to violate the Rule, since their meaning and intended use is well-known to all Xen developers. Variadic macros that rely on the GCC extension for removing a trailing comma when token pasting the variable argument are similarly well-understood and therefore allowed. No f

Re: [PATCH v2 2/3] docs/misra/rules.rst: add rule 5.5

2024-02-14 Thread Federico Serafini
On 14/02/24 09:28, Jan Beulich wrote: On 13.02.2024 23:33, Stefano Stabellini wrote: Signed-off-by: Stefano Stabellini --- docs/misra/rules.rst | 6 ++ 1 file changed, 6 insertions(+) diff --git a/docs/misra/rules.rst b/docs/misra/rules.rst index c185366966..931158b354 100644 --- a/docs

Re: [PATCH] tools/ocaml: Add missing vmtrace_buf_kb field

2024-02-14 Thread Petr Beneš
On Wed, Feb 14, 2024 at 8:12 AM Jan Beulich wrote: > > On 08.02.2024 10:13, Christian Lindig wrote: > >> On 7 Feb 2024, at 22:04, Petr Beneš wrote: > >> Add the missing `vmtrace_buf_kb` field to the OCaml bindings to match the > >> vm.cfg configuration, correcting an oversight from its initial >

Re: [PATCH v4 13/30] xen/riscv: introduce io.h

2024-02-14 Thread Oleksii
On Tue, 2024-02-13 at 12:05 +0100, Jan Beulich wrote: > On 05.02.2024 16:32, Oleksii Kurochko wrote: > > The header taken form Linux 6.4.0-rc1 and is based on > > arch/riscv/include/asm/mmio.h. > > > > Addionally, to the header was added definions of ioremap_*(). > > > > Signed-off-by: Oleksii Ku

Re: [PATCH v13 01/14] vpci: use per-domain PCI lock to protect vpci structure

2024-02-14 Thread Jan Beulich
On 02.02.2024 22:33, Stewart Hildebrand wrote: > --- a/xen/arch/x86/physdev.c > +++ b/xen/arch/x86/physdev.c > @@ -123,7 +123,9 @@ int physdev_map_pirq(domid_t domid, int type, int *index, > int *pirq_p, > > case MAP_PIRQ_TYPE_MSI: > case MAP_PIRQ_TYPE_MULTI_MSI: > +pcidevs_loc

[PATCH 1/5] iommu/x86: fix IVMD/RMRR range checker loop increment

2024-02-14 Thread Roger Pau Monne
mfn_add() doesn't store the incremented value in the parameter, and instead returns it to the caller. As a result, the loop in iommu_unity_region_ok() didn't make progress. Fix it by storing the incremented value. Fixes: e45801dea17b ('iommu/x86: introduce a generic IVMD/RMRR range validity hel

[PATCH 3/5] iommu/x86: use full addresses internally for the IVMD/RMRR range checks

2024-02-14 Thread Roger Pau Monne
Adjust the code in the checker to use full addresses rather than frame numbers, as it's only page_get_ram_type() that requires an mfn parameter. Suggested-by: Andrew Cooper Signed-off-by: Roger Pau Monné --- xen/drivers/passthrough/x86/iommu.c | 23 ++- 1 file changed, 10 in

[PATCH 5/5] mm: add the __must_check attribute to {gfn,mfn}_add()

2024-02-14 Thread Roger Pau Monne
It's not obvious from the function itself whether the incremented value will be stored in the parameter, or returned to the caller. That has leads to bugs in the past as callers assume the incremented value is stored in the parameter. Add the __must_check attribute to the function to easily spot

[PATCH 2/5] iommu/x86: print RMRR/IVMD ranges using full addresses

2024-02-14 Thread Roger Pau Monne
It's easier to correlate with the physical memory map if the addresses are fully printed, instead of using frame numbers. Requested-by: Andrew Cooper Signed-off-by: Roger Pau Monné --- xen/drivers/passthrough/x86/iommu.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/xe

[PATCH 0/5] Fix fallout from IVMD/RMRR unification checks

2024-02-14 Thread Roger Pau Monne
Hello, First patch is a fix for a silly mistake I introduced in iommu_unity_region_ok(). The rest are additional chances requested in that context. Last patch adds __must_check to the gfn/mfn addition handlers. Thanks, Roger. Roger Pau Monne (5): iommu/x86: fix IVMD/RMRR range checker loop i

[PATCH 4/5] iommu/x86: print page type in IVMD/RMRR check in case of error

2024-02-14 Thread Roger Pau Monne
Provide more information in case the page can't be converted, and print the original type(s). Requested-by: Andrew Cooper Signed-off-by: Roger Pau Monné --- xen/drivers/passthrough/x86/iommu.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/xen/drivers/passthrough/x86/io

Re: [PATCH] tools/ocaml: Add missing vmtrace_buf_kb field

2024-02-14 Thread Andrew Cooper
On 14/02/2024 7:11 am, Jan Beulich wrote: > On 08.02.2024 10:13, Christian Lindig wrote: >>> On 7 Feb 2024, at 22:04, Petr Beneš wrote: >>> Add the missing `vmtrace_buf_kb` field to the OCaml bindings to match the >>> vm.cfg configuration, correcting an oversight from its initial introduction. >>>

Re: [XEN PATCH] automation/eclair_analysis: deviate certain macros for Rule 20.12

2024-02-14 Thread Jan Beulich
On 14.02.2024 12:26, Nicola Vetrini wrote: > --- a/automation/eclair_analysis/ECLAIR/deviations.ecl > +++ b/automation/eclair_analysis/ECLAIR/deviations.ecl > @@ -387,6 +387,16 @@ in assignments." > {safe, "left_right(^[(,\\[]$,^[),\\]]$)"} > -doc_end > > +-doc_begin="The token pasting in varia

Re: [PATCH 1/5] iommu/x86: fix IVMD/RMRR range checker loop increment

2024-02-14 Thread Jan Beulich
On 14.02.2024 11:37, Roger Pau Monne wrote: > mfn_add() doesn't store the incremented value in the parameter, and instead > returns it to the caller. As a result, the loop in iommu_unity_region_ok() > didn't make progress. Fix it by storing the incremented value. > > Fixes: e45801dea17b ('iommu/

Re: [PATCH 5/5] mm: add the __must_check attribute to {gfn,mfn}_add()

2024-02-14 Thread Julien Grall
Hi, On 14/02/2024 10:37, Roger Pau Monne wrote: It's not obvious from the function itself whether the incremented value will be stored in the parameter, or returned to the caller. That has leads to bugs in the past as callers assume the incremented value is stored in the parameter. Add the __m

Re: [PATCH 1/5] iommu/x86: fix IVMD/RMRR range checker loop increment

2024-02-14 Thread Roger Pau Monné
On Wed, Feb 14, 2024 at 12:51:36PM +0100, Jan Beulich wrote: > On 14.02.2024 11:37, Roger Pau Monne wrote: > > mfn_add() doesn't store the incremented value in the parameter, and instead > > returns it to the caller. As a result, the loop in iommu_unity_region_ok() > > didn't make progress. Fix i

Re: [PATCH v8 5/7] xen/asm-generic: introduce generic device.h

2024-02-14 Thread Julien Grall
Hi Oleksii, On 14/02/2024 09:32, Oleksii wrote: On Tue, 2024-02-13 at 18:09 +, Julien Grall wrote: +#ifdef CONFIG_HAS_PASSTHROUGH +    struct iommu_fwspec *iommu_fwspec; /* per-device IOMMU instance data */ +#endif +}; + +typedef struct device device_t; + +#ifdef CONFIG_HAS_DEVICE_TREE +

Re: [PATCH v4 14/30] xen/riscv: introduce atomic.h

2024-02-14 Thread Oleksii
On Tue, 2024-02-13 at 12:36 +0100, Jan Beulich wrote: > On 05.02.2024 16:32, Oleksii Kurochko wrote: > > From: Bobby Eshleman > > > > Additionally, this patch introduces macros in fence.h, > > which are utilized in atomic.h. > > These are used in an earlier patch already, so either you want to >

Re: [PATCH v4 16/30] xen/riscv: introduce p2m.h

2024-02-14 Thread Oleksii
On Mon, 2024-02-12 at 16:16 +0100, Jan Beulich wrote: > On 05.02.2024 16:32, Oleksii Kurochko wrote: > > Signed-off-by: Oleksii Kurochko > > Acked-by: Jan Beulich > with two more nits: > > > --- /dev/null > > +++ b/xen/arch/riscv/include/asm/p2m.h > > @@ -0,0 +1,102 @@ > > +/* SPDX-License-Iden

Re: [PATCH v4 18/30] xen/riscv: introduce time.h

2024-02-14 Thread Oleksii
On Mon, 2024-02-12 at 16:18 +0100, Jan Beulich wrote: > On 05.02.2024 16:32, Oleksii Kurochko wrote: > > Signed-off-by: Oleksii Kurochko > > Acked-by: Jan Beulich > > Nevertheless ... > > > --- /dev/null > > +++ b/xen/arch/riscv/include/asm/time.h > > @@ -0,0 +1,29 @@ > > +/* SPDX-License-Ident

Re: [PATCH v4 19/30] xen/riscv: introduce event.h

2024-02-14 Thread Oleksii
On Mon, 2024-02-12 at 16:20 +0100, Jan Beulich wrote: > On 05.02.2024 16:32, Oleksii Kurochko wrote: > > Signed-off-by: Oleksii Kurochko > > Acked-by: Jan Beulich > again with a nit, though: > > > --- /dev/null > > +++ b/xen/arch/riscv/include/asm/event.h > > @@ -0,0 +1,40 @@ > > +/* SPDX-Licen

Re: [PATCH v4 30/30] xen/README: add compiler and binutils versions for RISC-V64

2024-02-14 Thread Oleksii
On Wed, 2024-02-14 at 10:52 +0100, Jan Beulich wrote: > On 05.02.2024 16:32, Oleksii Kurochko wrote: > > Signed-off-by: Oleksii Kurochko > > --- > >  Changes in V4: > >   - Update version of GCC (12.2) and GNU Binutils (2.39) to the > > version > >     which are in Xen's contrainter for RISC-V > >

Re: xen | Failed pipeline for staging | d670c1a3

2024-02-14 Thread Jan Beulich
On 14.02.2024 13:42, GitLab wrote: > > > Pipeline #1176167215 has failed! > > Project: xen ( https://gitlab.com/xen-project/xen ) > Branch: staging ( https://gitlab.com/xen-project/xen/-/commits/staging ) > > Commit: d670c1a3 ( > https://gitlab.com/xen-project/xen/-/commit/d670c1a38ba3561296f6

Re: [PATCH v4 30/30] xen/README: add compiler and binutils versions for RISC-V64

2024-02-14 Thread Jan Beulich
On 14.02.2024 13:21, Oleksii wrote: > On Wed, 2024-02-14 at 10:52 +0100, Jan Beulich wrote: >> On 05.02.2024 16:32, Oleksii Kurochko wrote: >>> Signed-off-by: Oleksii Kurochko >>> --- >>>  Changes in V4: >>>   - Update version of GCC (12.2) and GNU Binutils (2.39) to the >>> version >>>     which

Re: [PATCH v4 14/30] xen/riscv: introduce atomic.h

2024-02-14 Thread Jan Beulich
On 14.02.2024 13:11, Oleksii wrote: > On Tue, 2024-02-13 at 12:36 +0100, Jan Beulich wrote: >> On 05.02.2024 16:32, Oleksii Kurochko wrote: >>> --- /dev/null >>> +++ b/xen/arch/riscv/include/asm/atomic.h >>> @@ -0,0 +1,395 @@ >>> +/* SPDX-License-Identifier: GPL-2.0-only */ >>> +/* >>> + * Taken an

Re: [PATCH v4 19/30] xen/riscv: introduce event.h

2024-02-14 Thread Jan Beulich
On 14.02.2024 13:16, Oleksii wrote: > On Mon, 2024-02-12 at 16:20 +0100, Jan Beulich wrote: >> On 05.02.2024 16:32, Oleksii Kurochko wrote: >>> Signed-off-by: Oleksii Kurochko >> >> Acked-by: Jan Beulich >> again with a nit, though: >> >>> --- /dev/null >>> +++ b/xen/arch/riscv/include/asm/event.

Re: [PATCH v2 2/3] docs/misra/rules.rst: add rule 5.5

2024-02-14 Thread Jan Beulich
On 14.02.2024 12:27, Federico Serafini wrote: > On 14/02/24 09:28, Jan Beulich wrote: >> On 13.02.2024 23:33, Stefano Stabellini wrote: >>> Signed-off-by: Stefano Stabellini >>> --- >>> docs/misra/rules.rst | 6 ++ >>> 1 file changed, 6 insertions(+) >>> >>> diff --git a/docs/misra/rules.rs

Re: [PATCH 2/5] iommu/x86: print RMRR/IVMD ranges using full addresses

2024-02-14 Thread Jan Beulich
On 14.02.2024 11:37, Roger Pau Monne wrote: > It's easier to correlate with the physical memory map if the addresses are > fully printed, instead of using frame numbers. > > Requested-by: Andrew Cooper > Signed-off-by: Roger Pau Monné In principle Reviewed-by: Jan Beulich I'm not sure though t

Re: [PATCH 3/5] iommu/x86: use full addresses internally for the IVMD/RMRR range checks

2024-02-14 Thread Jan Beulich
On 14.02.2024 11:37, Roger Pau Monne wrote: > Adjust the code in the checker to use full addresses rather than frame > numbers, > as it's only page_get_ram_type() that requires an mfn parameter. > > Suggested-by: Andrew Cooper > Signed-off-by: Roger Pau Monné In this very shape I'd like to lea

Re: [PATCH] tools/ocaml: Add missing vmtrace_buf_kb field

2024-02-14 Thread Christian Lindig
> On 14 Feb 2024, at 11:45, Andrew Cooper wrote: > > Xapi is the only consumer of this interface. I've fixed up the build > against staging, but we're not going to be running KFX under Xapi any > time soon. > > Ultimately it's Christian's call. After a discussion with Andrew, we will not b

Re: [PATCH 4/5] iommu/x86: print page type in IVMD/RMRR check in case of error

2024-02-14 Thread Jan Beulich
On 14.02.2024 11:37, Roger Pau Monne wrote: > Provide more information in case the page can't be converted, and print the > original type(s). > > Requested-by: Andrew Cooper > Signed-off-by: Roger Pau Monné Acked-by: Jan Beulich

Re: [PATCH 5/5] mm: add the __must_check attribute to {gfn,mfn}_add()

2024-02-14 Thread Jan Beulich
On 14.02.2024 11:37, Roger Pau Monne wrote: > It's not obvious from the function itself whether the incremented value will > be s/the function itself/just the function name/ ? > stored in the parameter, or returned to the caller. That has leads to bugs in > the past as callers assume the increm

Re: [PATCH v6 02/15] xen/arm: add initial support for LLC coloring on arm64

2024-02-14 Thread Carlo Nonato
Hi Michal, On Wed, Feb 14, 2024 at 11:14 AM Michal Orzel wrote: > > Hi Carlo, > > On 29/01/2024 18:17, Carlo Nonato wrote: > > > > > > LLC coloring needs to know the last level cache layout in order to make the > > best use of it. This can be probed by inspecting the CLIDR_EL1 register, > > so th

Re: [PATCH v2 2/3] docs/misra/rules.rst: add rule 5.5

2024-02-14 Thread Federico Serafini
On 14/02/24 14:15, Jan Beulich wrote: On 14.02.2024 12:27, Federico Serafini wrote: On 14/02/24 09:28, Jan Beulich wrote: On 13.02.2024 23:33, Stefano Stabellini wrote: Signed-off-by: Stefano Stabellini --- docs/misra/rules.rst | 6 ++ 1 file changed, 6 insertions(+) diff --git a/do

Re: [PATCH v2] Reduce assembly code size of exception entry points

2024-02-14 Thread Jan Beulich
On 14.02.2024 11:35, Frediano Ziglio wrote: > We just pushed a 8-bytes zero This part is now somewhat stale. > and exception constants are > small so we can just write a single byte saving 3 bytes for > instruction. > With ENDBR64 this reduces the size of many entry points from 32 to > 16 bytes (

Re: [PATCH 5/5] mm: add the __must_check attribute to {gfn,mfn}_add()

2024-02-14 Thread Roger Pau Monné
On Wed, Feb 14, 2024 at 02:42:46PM +0100, Jan Beulich wrote: > On 14.02.2024 11:37, Roger Pau Monne wrote: > > It's not obvious from the function itself whether the incremented value > > will be > > s/the function itself/just the function name/ ? > > > stored in the parameter, or returned to the

Re: [PATCH 2/5] iommu/x86: print RMRR/IVMD ranges using full addresses

2024-02-14 Thread Roger Pau Monné
On Wed, Feb 14, 2024 at 02:22:09PM +0100, Jan Beulich wrote: > On 14.02.2024 11:37, Roger Pau Monne wrote: > > It's easier to correlate with the physical memory map if the addresses are > > fully printed, instead of using frame numbers. > > > > Requested-by: Andrew Cooper > > Signed-off-by: Roger

Re: [PATCH 3/5] iommu/x86: use full addresses internally for the IVMD/RMRR range checks

2024-02-14 Thread Roger Pau Monné
On Wed, Feb 14, 2024 at 02:29:35PM +0100, Jan Beulich wrote: > On 14.02.2024 11:37, Roger Pau Monne wrote: > > Adjust the code in the checker to use full addresses rather than frame > > numbers, > > as it's only page_get_ram_type() that requires an mfn parameter. > > > > Suggested-by: Andrew Coop

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

2024-02-14 Thread osstest service owner
flight 184666 xen-unstable-smoke real [real] http://logs.test-lab.xenproject.org/osstest/logs/184666/ 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 1

[PATCH v2 5/5] mm: add the __must_check attribute to {gfn,mfn,dfn}_add()

2024-02-14 Thread Roger Pau Monne
It's not obvious from just the function name whether the incremented value will be stored in the parameter, or returned to the caller. That has leads to bugs in the past as callers may assume the incremented value is stored in the parameter. Add the __must_check attribute to the function to easil

Re: [PATCH v6 14/15] xen/arm: add cache coloring support for Xen

2024-02-14 Thread Carlo Nonato
Hi Jan, On Wed, Feb 14, 2024 at 8:55 AM Jan Beulich wrote: > > On 13.02.2024 18:29, Carlo Nonato wrote: > > On Tue, Feb 13, 2024 at 4:25 PM Jan Beulich wrote: > >> On 29.01.2024 18:18, Carlo Nonato wrote: > >>> @@ -218,9 +230,44 @@ static void xen_pt_enforce_wnx(void) > >>> --- a/xen/common/llc-

Re: [PATCH v2] Reduce assembly code size of exception entry points

2024-02-14 Thread Jan Beulich
On 14.02.2024 11:35, Frediano Ziglio wrote: > @@ -898,105 +898,105 @@ END(handle_exception) > FUNC(entry_DE) > ENDBR64 > pushq $0 > -movl $X86_EXC_DE, 4(%rsp) > +movb $X86_EXC_DE, 4(%rsp) As we're trying to compact things: This writes 0 over the previously push

Re: [PATCH 3/5] iommu/x86: use full addresses internally for the IVMD/RMRR range checks

2024-02-14 Thread Jan Beulich
On 14.02.2024 15:05, Roger Pau Monné wrote: > On Wed, Feb 14, 2024 at 02:29:35PM +0100, Jan Beulich wrote: >> On 14.02.2024 11:37, Roger Pau Monne wrote: >>> Adjust the code in the checker to use full addresses rather than frame >>> numbers, >>> as it's only page_get_ram_type() that requires an mf

Re: [PATCH v2 5/5] mm: add the __must_check attribute to {gfn,mfn,dfn}_add()

2024-02-14 Thread Jan Beulich
On 14.02.2024 15:11, Roger Pau Monne wrote: > It's not obvious from just the function name whether the incremented value > will > be stored in the parameter, or returned to the caller. That has leads to bugs > in the past as callers may assume the incremented value is stored in the > parameter. >

[XEN PATCH] build: Replace `which` with `command -v`

2024-02-14 Thread Anthony PERARD
The `which` command is not standard, may not exist on the build host, or may not behave as expected. It is recommanded to use `command -v` to find out if a command exist and have it's path, and it's part of a POSIX shell standard. Signed-off-by: Anthony PERARD --- xen/Makefile | 4 ++-- 1 file c

Re: [PATCH v2] Reduce assembly code size of exception entry points

2024-02-14 Thread Roger Pau Monné
On Wed, Feb 14, 2024 at 10:35:58AM +, Frediano Ziglio wrote: > We just pushed a 8-bytes zero and exception constants are > small so we can just write a single byte saving 3 bytes for > instruction. > With ENDBR64 this reduces the size of many entry points from 32 to > 16 bytes (due to alignment

Re: [PATCH v2] Reduce assembly code size of exception entry points

2024-02-14 Thread Jan Beulich
On 14.02.2024 16:02, Roger Pau Monné wrote: > On Wed, Feb 14, 2024 at 10:35:58AM +, Frediano Ziglio wrote: >> We just pushed a 8-bytes zero and exception constants are >> small so we can just write a single byte saving 3 bytes for >> instruction. >> With ENDBR64 this reduces the size of many en

Re: [XEN PATCH] build: Replace `which` with `command -v`

2024-02-14 Thread Jan Beulich
On 14.02.2024 15:34, Anthony PERARD wrote: > The `which` command is not standard, may not exist on the build host, > or may not behave as expected. It is recommanded to use `command -v` > to find out if a command exist and have it's path, and it's part of a > POSIX shell standard. > > Signed-off-b

Re: [XEN PATCH] build: Replace `which` with `command -v`

2024-02-14 Thread Jan Beulich
On 14.02.2024 15:34, Anthony PERARD wrote: > The `which` command is not standard, may not exist on the build host, > or may not behave as expected. It is recommanded to use `command -v` > to find out if a command exist and have it's path, and it's part of a > POSIX shell standard. Just to mention

Re: [XEN PATCH] build: Replace `which` with `command -v`

2024-02-14 Thread Marek Marczykowski-Górecki
On Wed, Feb 14, 2024 at 02:34:11PM +, Anthony PERARD wrote: > The `which` command is not standard, may not exist on the build host, > or may not behave as expected. It is recommanded to use `command -v` > to find out if a command exist and have it's path, and it's part of a > POSIX shell standa

Re: [PATCH v2] Reduce assembly code size of exception entry points

2024-02-14 Thread Roger Pau Monné
On Wed, Feb 14, 2024 at 04:08:12PM +0100, Jan Beulich wrote: > On 14.02.2024 16:02, Roger Pau Monné wrote: > > On Wed, Feb 14, 2024 at 10:35:58AM +, Frediano Ziglio wrote: > >> We just pushed a 8-bytes zero and exception constants are > >> small so we can just write a single byte saving 3 bytes

[PATCH net v2 1/7] net: fill in MODULE_DESCRIPTION()s for xen-netback

2024-02-14 Thread Breno Leitao
W=1 builds now warn if module is built without a MODULE_DESCRIPTION(). Add descriptions to the Xen backend network module. Signed-off-by: Breno Leitao Acked-by: Paul Durrant --- drivers/net/xen-netback/netback.c | 1 + 1 file changed, 1 insertion(+) diff --git a/drivers/net/xen-netback/netback

[xen-unstable test] 184665: tolerable FAIL

2024-02-14 Thread osstest service owner
flight 184665 xen-unstable real [real] http://logs.test-lab.xenproject.org/osstest/logs/184665/ Failures :-/ but no regressions. Tests which are failing intermittently (not blocking): test-amd64-amd64-xl-qemuu-debianhvm-amd64-shadow 20 guest-start/debianhvm.repeat fail in 184660 pass in 184665

Re: [XEN PATCH] automation/eclair_analysis: deviate certain macros for Rule 20.12

2024-02-14 Thread Nicola Vetrini
On 2024-02-14 12:49, Jan Beulich wrote: On 14.02.2024 12:26, Nicola Vetrini wrote: --- a/automation/eclair_analysis/ECLAIR/deviations.ecl +++ b/automation/eclair_analysis/ECLAIR/deviations.ecl @@ -387,6 +387,16 @@ in assignments." {safe, "left_right(^[(,\\[]$,^[),\\]]$)"} -doc_end +-doc_begin

Re: [PATCH v13 10/14] vpci/header: emulate PCI_COMMAND register for guests

2024-02-14 Thread Jan Beulich
On 02.02.2024 22:33, Stewart Hildebrand wrote: > @@ -836,9 +870,20 @@ static int cf_check init_header(struct pci_dev *pdev) > if ( pdev->ignore_bars ) > return 0; > > -/* Disable memory decoding before sizing. */ > cmd = pci_conf_read16(pdev->sbdf, PCI_COMMAND); > -if (

Re: [XEN PATCH] automation/eclair_analysis: deviate certain macros for Rule 20.12

2024-02-14 Thread Jan Beulich
On 14.02.2024 16:31, Nicola Vetrini wrote: > On 2024-02-14 12:49, Jan Beulich wrote: >> On 14.02.2024 12:26, Nicola Vetrini wrote: >>> +-config=MC3R1.R20.12,macros+={deliberate, >>> "name(ASSERT||BUILD_BUG_ON||BUILD_BUG_ON_ZERO||GENERATE_CASE)"} >> >> I said in another context already that it is n

Re: [PATCH v2] Reduce assembly code size of exception entry points

2024-02-14 Thread Andrew Cooper
On 14/02/2024 3:29 pm, Roger Pau Monné wrote: > On Wed, Feb 14, 2024 at 04:08:12PM +0100, Jan Beulich wrote: >> On 14.02.2024 16:02, Roger Pau Monné wrote: >>> On Wed, Feb 14, 2024 at 10:35:58AM +, Frediano Ziglio wrote: We just pushed a 8-bytes zero and exception constants are small

Re: [PATCH v2] Reduce assembly code size of exception entry points

2024-02-14 Thread Roger Pau Monné
On Wed, Feb 14, 2024 at 03:53:24PM +, Andrew Cooper wrote: > On 14/02/2024 3:29 pm, Roger Pau Monné wrote: > > On Wed, Feb 14, 2024 at 04:08:12PM +0100, Jan Beulich wrote: > >> On 14.02.2024 16:02, Roger Pau Monné wrote: > >>> On Wed, Feb 14, 2024 at 10:35:58AM +, Frediano Ziglio wrote: > >

[PATCH v2 1/2] xen/arm: Add imx8q{m,x} platform glue

2024-02-14 Thread John Ernberg
When using Linux for dom0 there are a bunch of drivers that need to do SMC SIP calls into the firmware to enable certain hardware bits like the watchdog. Provide a basic platform glue that implements the needed SMC forwarding. The format of these calls are as follows: - reg 0: service ID - reg

[PATCH v2 0/2] Xen: ARM: Improved NXP iMX8 platform support

2024-02-14 Thread John Ernberg
The iMX lpuart driver added at 44e17aa60d47 ("xen/arm: Add i.MX lpuart driver") is not enough to boot a Linux based dom0 when certain drivers, such as the watchdog driver, are enabled. We're also fixing compatibles in imx-lpuart to allow Xen to use the UART on the QXP variant as well. NOTE: There

[PATCH v2 2/2] xen/drivers: imx-lpuart: Replace iMX8QM compatible with iMX8QXP

2024-02-14 Thread John Ernberg
Allow the uart to probe also with iMX8QXP. The ip-block is the same as in the QM. Since the fsl,imx8qm-lpuart compatible in Linux exists in name only and is not used in the driver any iMX8QM device tree that can boot Linux must set fsl,imx8qxp-lpuart compatible as well as the QM one. Thus we repl

Re: [XEN PATCH] automation/eclair_analysis: deviate certain macros for Rule 20.12

2024-02-14 Thread Nicola Vetrini
On 2024-02-14 16:45, Jan Beulich wrote: On 14.02.2024 16:31, Nicola Vetrini wrote: On 2024-02-14 12:49, Jan Beulich wrote: On 14.02.2024 12:26, Nicola Vetrini wrote: +-config=MC3R1.R20.12,macros+={deliberate, "name(ASSERT||BUILD_BUG_ON||BUILD_BUG_ON_ZERO||GENERATE_CASE)"} I said in another c

Re: [XEN PATCH v2 2/3] x86/uaccess: replace __{get,put}_user_bad() with STATIC_ASSERT_UNREACHABLE()

2024-02-14 Thread Federico Serafini
On 12/02/24 09:43, Jan Beulich wrote: On 09.02.2024 10:50, Federico Serafini wrote: On 08/02/24 12:14, Jan Beulich wrote: On 08.02.2024 11:45, Federico Serafini wrote: On 07/02/24 17:19, Jan Beulich wrote: On 07.02.2024 16:58, Federico Serafini wrote: On 07/02/24 16:24, Jan Beulich wrote: O

Re: [PATCH v5 16/22] tools/xl: support new 9pfs backend xen_9pfsd

2024-02-14 Thread Anthony PERARD
On Thu, Feb 08, 2024 at 05:55:40PM +0100, Juergen Gross wrote: > Add support for the new 9pfs backend "xen_9pfsd". For this backend type > the tag defaults to "Xen" and the host side path to > "/var/log/xen/guests/". > > Do most of the default settings in libxl. Unfortunately the default > path ca

Re: [PATCH v5 18/22] tools: add 9pfs device to xenstore-stubdom

2024-02-14 Thread Anthony PERARD
On Thu, Feb 08, 2024 at 05:55:42PM +0100, Juergen Gross wrote: > diff --git a/tools/include/libxl.h b/tools/include/libxl.h > index a554f2ccd6..e6ab5ddb94 100644 > --- a/tools/include/libxl.h > +++ b/tools/include/libxl.h > @@ -583,6 +583,13 @@ > * libxl_console_add_xenstore() in libxl. > */ >

Re: [PATCH v5 21/22] tools/xenstored: support complete log capabilities in stubdom

2024-02-14 Thread Anthony PERARD
On Thu, Feb 08, 2024 at 05:55:45PM +0100, Juergen Gross wrote: > With 9pfs being fully available in Xenstore-stubdom now, there is no > reason to not fully support all logging capabilities in stubdom. > > Open the logfile on stubdom only after the 9pfs file system has been > mounted. > > Signed-o

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

2024-02-14 Thread osstest service owner
flight 184667 xen-unstable-smoke real [real] http://logs.test-lab.xenproject.org/osstest/logs/184667/ 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 1

  1   2   >