Re: [XEN PATCH v2 1/6][RESEND] automation/eclair: address violations of MISRA C Rule 20.7

2024-06-24 Thread Nicola Vetrini
On 2024-06-21 02:18, Stefano Stabellini wrote: On Mon, 16 Jun 2024, Nicola Vetrini wrote: MISRA C Rule 20.7 states: "Expressions resulting from the expansion of macro parameters shall be enclosed in parentheses". The helper macro bitmap_switch has parameters that cannot be parenthesized in ord

Re: [XEN PATCH v2 01/13] automation/eclair: fix deviation of MISRA C Rule 16.3

2024-06-24 Thread Federico Serafini
On 24/06/24 12:57, Jan Beulich wrote: On 24.06.2024 11:04, Federico Serafini wrote: Escape the final dot of the comment and extend the search of a fallthrough comment up to 2 lines after the last statement. Fixes: a128d8da913b21eff6c6d2e2a7d4c54c054b78db "automation/eclair: add deviations for

[xen-unstable test] 186471: regressions - FAIL

2024-06-24 Thread osstest service owner
flight 186471 xen-unstable real [real] flight 186478 xen-unstable real-retest [real] http://logs.test-lab.xenproject.org/osstest/logs/186471/ http://logs.test-lab.xenproject.org/osstest/logs/186478/ Regressions :-( Tests which did not succeed and are blocking, including tests which could not be r

[XEN PATCH v4] automation/eclair: extend existing deviations of MISRA C Rule 16.3

2024-06-24 Thread Federico Serafini
Update ECLAIR configuration to deviate more cases where an unintentional fallthrough cannot happen. Tag Rule 16.3 as clean for arm. Signed-off-by: Federico Serafini Acked-by: Stefano Stabellini --- Changes from v3: - do not add the rule to the monitored set (it is already there). --- Changes fr

Re: [XEN PATCH v2 05/13] x86/traps: address violations of MISRA C Rule 16.3

2024-06-24 Thread Jan Beulich
On 25.06.2024 02:54, Stefano Stabellini wrote: > On Mon, 24 Jun 2024, Federico Serafini wrote: >> Add break or pseudo keyword fallthrough to address violations of >> MISRA C Rule 16.3: "An unconditional `break' statement shall terminate >> every switch-clause". >> >> No functional change. >> >> Sig

Re: [XEN PATCH v2 0/6][RESEND] address violations of MISRA C Rule 20.7

2024-06-24 Thread Jan Beulich
On 25.06.2024 02:47, Stefano Stabellini wrote: > I would like to ask for a release-ack as the patch series makes very few > changes outside of the static analysis configuration. The few changes to > the Xen code are very limited, straightforward and makes the code > better, see patch #3 and #5. Wh

Re: [XEN PATCH] common/sched: address a violation of MISRA C Rule 17.7

2024-06-24 Thread Jan Beulich
On 25.06.2024 02:15, victorm.l...@amd.com wrote: > From: Victor Lira > > Rule 17.7: "The value returned by a function having non-void return type > shall be used" > > This patch fixes this by adding a check to the return value. > No functional changes. > > Signed-off-by: Victor Lira > --- > Cc

Re: [XEN PATCH v2] xen: add explicit comment to identify notifier patterns

2024-06-24 Thread Jan Beulich
On 25.06.2024 02:14, Stefano Stabellini wrote: > I do realize that some of the notifier pattern switches might want to > handle all parameters but Bugseng or anyone else looking for simple > improvements are not in the position to tell which ones they are. We > need to wait for a maintainer or expe

Re: [XEN PATCH] MAINTAINERS: Update my email address again

2024-06-24 Thread Jan Beulich
On 24.06.2024 23:40, Julien Grall wrote: > On 24/06/2024 17:27, Stefano Stabellini wrote: >> On Mon, 24 Jun 2024, Anthony PERARD wrote: >>> Signed-off-by: Anthony PERARD >> >> Acked-by: Stefano Stabellini > > I guess this technically need an ack from the release manager. So CC > Oleksii. Hmm,

Re: Regression in xen-blkfront regarding sector sizes

2024-06-24 Thread Rusty Bird
Christoph Hellwig: > On Mon, Jun 24, 2024 at 04:29:15PM +0200, Jürgen Groß wrote: > >> Rusty suspects it's related to > >> https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/commit/drivers/block/xen-blkfront.c?id=ba3f67c1163812b5d7ec33705c31edaa30ce6c51, > >> so I'm cc-ing people me

Re: [PATCH 1/2] Add libfuzzer target to fuzz/x86_instruction_emulator

2024-06-24 Thread Jan Beulich
On 24.06.2024 23:23, Tamas K Lengyel wrote: > On Mon, Jun 24, 2024 at 11:55 AM Jan Beulich wrote: >> >> On 21.06.2024 21:14, Tamas K Lengyel wrote: >>> @@ -58,6 +58,9 @@ afl-harness: afl-harness.o $(OBJS) cpuid.o wrappers.o >>> afl-harness-cov: afl-harness-cov.o $(patsubst %.o,%-cov.o,$(OBJS)) cp

[PATCH] xen-blkfront: fix sector_size propagation to the block layer

2024-06-24 Thread Christoph Hellwig
Ensure that info->sector_size and info->physical_sector_size are set before the call to blkif_set_queue_limits by doing away with the local variables and arguments that propagate them. Thanks to Marek Marczykowski-Górecki and Jürgen Groß for root causing the issue. Fixes: ba3f67c11638 ("xen-blkfr

Re: [XEN PATCH v3] automation/eclair: extend existing deviations of MISRA C Rule 16.3

2024-06-24 Thread Federico Serafini
On 25/06/24 02:38, Stefano Stabellini wrote: On Wed, 19 Jun 2024, Stefano Stabellini wrote: On Fri, 14 Jun 2024, Federico Serafini wrote: Update ECLAIR configuration to deviate more cases where an unintentional fallthrough cannot happen. Add Rule 16.3 to the monitored set and tag it as clean f

[xen-unstable-smoke test] 186473: regressions - FAIL

2024-06-24 Thread osstest service owner
flight 186473 xen-unstable-smoke real [real] flight 186476 xen-unstable-smoke real-retest [real] http://logs.test-lab.xenproject.org/osstest/logs/186473/ http://logs.test-lab.xenproject.org/osstest/logs/186476/ Regressions :-( Tests which did not succeed and are blocking, including tests which co

[axboe-block:for-next] [block] 1122c0c1cc: aim7.jobs-per-min 22.6% improvement

2024-06-24 Thread kernel test robot
Hello, kernel test robot noticed a 22.6% improvement of aim7.jobs-per-min on: commit: 1122c0c1cc71f740fa4d5f14f239194e06a1d5e7 ("block: move cache control settings out of queue->flags") https://git.kernel.org/cgit/linux/kernel/git/axboe/linux-block.git for-next testcase: aim7 test machine:

[linux-linus test] 186469: regressions - FAIL

2024-06-24 Thread osstest service owner
flight 186469 linux-linus real [real] flight 186472 linux-linus real-retest [real] http://logs.test-lab.xenproject.org/osstest/logs/186469/ http://logs.test-lab.xenproject.org/osstest/logs/186472/ Regressions :-( Tests which did not succeed and are blocking, including tests which could not be run

Re: [RFC PATCH] iommu/xen: Add Xen PV-IOMMU driver

2024-06-24 Thread Baolu Lu
On 6/24/24 7:09 PM, Robin Murphy wrote: On 2024-06-23 4:21 am, Baolu Lu wrote: On 6/21/24 11:09 PM, Teddy Astie wrote: Le 19/06/2024 à 18:30, Jason Gunthorpe a écrit : On Thu, Jun 13, 2024 at 01:50:22PM +, Teddy Astie wrote: +struct iommu_domain *xen_iommu_domain_alloc(unsigned type) +{

Re: [XEN PATCH v2 13/13] x86/vlapic: address a violation of MISRA C Rule 16.3

2024-06-24 Thread Stefano Stabellini
On Mon, 24 Jun 2024, Federico Serafini wrote: > Add missing break statement to address a violation of MISRA C > Rule 16.3: "An unconditional `break' statement shall terminate every > switch-clause". > > No functional change. > > Signed-off-by: Federico Serafini Reviewed-by: Stefano Stabellini

Re: [XEN PATCH v2 12/13] x86/vPIC: address a violation of MISRA C Rule 16.3

2024-06-24 Thread Stefano Stabellini
On Mon, 24 Jun 2024, Federico Serafini wrote: > Add pseudokeyword fallthrough to meet the requirements to deviate > a violation of MISRA C Rul 16.3: "An unconditional `break' statement > shall terminate every switch-clause". > > No functional change. > > Signed-off-by: Federico Serafini Reviewe

Re: [XEN PATCH v2 11/13] x86/pmtimer: address a violation of MISRA C Rule 16.3

2024-06-24 Thread Stefano Stabellini
On Mon, 24 Jun 2024, Federico Serafini wrote: > Add missing break statement to address a violation of MISRA C Rule 16.3 > ("An unconditional `break' statement shall terminate every > switch-clause"). > > No functional change. > > Signed-off-by: Federico Serafini Reviewed-by: Stefano Stabellini

Re: [XEN PATCH v2 10/13] x86/mpparse: address a violation of MISRA C Rule 16.3

2024-06-24 Thread Stefano Stabellini
On Mon, 24 Jun 2024, Federico Serafini wrote: > Add a missing break statement to address a violation of > MISRA C Rule 16.3: "An unconditional `break' statement shall terminate > every switch-clause". > > No functional change. > > Signed-off-by: Federico Serafini Reviewed-by: Stefano Stabellini

Re: [XEN PATCH v2 09/13] x86/mm: add defensive return

2024-06-24 Thread Stefano Stabellini
On Mon, 24 Jun 2024, Federico Serafini wrote: > Add defensive return statement at the end of an unreachable > default case. Other than improve safety, this meets the requirements > to deviate a violation of MISRA C Rule 16.3: "An unconditional `break' > statement shall terminate every switch-clause

Re: [XEN PATCH v2 08/13] x86/vpt: address a violation of MISRA C Rule 16.3x

2024-06-24 Thread Stefano Stabellini
On Mon, 24 Jun 2024, Federico Serafini wrote: > Add pseudo keyword fallthrough to meet the requirements to deviate > a violation of MISRA C Rule 16.3 ("An unconditional `break' > statement shall terminate every switch-clause"). > > No functional change. > > Signed-off-by: Federico Serafini Revi

Re: [XEN PATCH v2 07/13] x86/hvm: address violations of MISRA C Rule 16.3

2024-06-24 Thread Stefano Stabellini
On Mon, 24 Jun 2024, Federico Serafini wrote: > MISRA C Rule 16.3 states that "An unconditional `break' statement shall > terminate every switch-clause". > > Add pseudo keyword fallthrough or missing break statement > to address violations of the rule. > > As a defensive measure, return -EOPNOTSU

Re: [XEN PATCH v2 06/13] x86/mce: address violations of MISRA C Rule 16.3

2024-06-24 Thread Stefano Stabellini
On Mon, 24 Jun 2024, Federico Serafini wrote: > Add missing break statements to address violations of > MISRA C Rule 16.3: "An unconditional `break' statement shall terminate > every switch-clause". > > No functional change. > > Signed-off-by: Federico Serafini Reviewed-by: Stefano Stabellini

Re: [XEN PATCH v2 05/13] x86/traps: address violations of MISRA C Rule 16.3

2024-06-24 Thread Stefano Stabellini
On Mon, 24 Jun 2024, Federico Serafini wrote: > Add break or pseudo keyword fallthrough to address violations of > MISRA C Rule 16.3: "An unconditional `break' statement shall terminate > every switch-clause". > > No functional change. > > Signed-off-by: Federico Serafini > --- > xen/arch/x86/t

Re: [XEN PATCH v2 04/13] x86/vpmu: address violations of MISRA C Rule 16.3

2024-06-24 Thread Stefano Stabellini
On Mon, 24 Jun 2024, Federico Serafini wrote: > Add missing break statements to address violations of MISRA C Rule > 16.3: "An unconditional `break' statement shall terminate every > switch-clause". > > No functional change. > > Signed-off-by: Federico Serafini Reviewed-by: Stefano Stabellini

Re: [XEN PATCH v2 03/13] x86/domctl: address a violation of MISRA C Rule 16.3

2024-06-24 Thread Stefano Stabellini
On Mon, 24 Jun 2024, Federico Serafini wrote: > Add missing break statement to address a violation of > MISRA C Rule 16.3: "An unconditional `break' statement shall terminate > every switch-clause". > > No functional change. > > Signed-off-by: Federico Serafini Reviewed-by: Stefano Stabellini

Re: [XEN PATCH v2 02/13] x86/cpuid: use fallthrough pseudo keyword

2024-06-24 Thread Stefano Stabellini
On Mon, 24 Jun 2024, Federico Serafini wrote: > The current comment making explicit the fallthrough intention does > not follow the agreed syntax: replace it with the pseduo keyword. > > No functional change. > > Signed-off-by: Federico Serafini Reviewed-by: Stefano Stabellini > --- > xen/a

Re: [XEN PATCH v2 01/13] automation/eclair: fix deviation of MISRA C Rule 16.3

2024-06-24 Thread Stefano Stabellini
On Mon, 24 Jun 2024, Federico Serafini wrote: > Escape the final dot of the comment and extend the search of a > fallthrough comment up to 2 lines after the last statement. > > Fixes: a128d8da913b21eff6c6d2e2a7d4c54c054b78db "automation/eclair: add > deviations for MISRA C:2012 Rule 16.3" > Repor

Re: [XEN PATCH v2 0/6][RESEND] address violations of MISRA C Rule 20.7

2024-06-24 Thread Stefano Stabellini
Hi Oleksii, I would like to ask for a release-ack as the patch series makes very few changes outside of the static analysis configuration. The few changes to the Xen code are very limited, straightforward and makes the code better, see patch #3 and #5. On Mon, 17 Jun 2024, Nicola Vetrini wrote:

Re: [XEN PATCH v2 1/6][RESEND] automation/eclair: address violations of MISRA C Rule 20.7

2024-06-24 Thread Stefano Stabellini
On Mon, 17 Jun 2024, Nicola Vetrini wrote: > MISRA C Rule 20.7 states: "Expressions resulting from the expansion > of macro parameters shall be enclosed in parentheses". > > The helper macro bitmap_switch has parameters that cannot be parenthesized > in order to comply with the rule, as that would

Re: [XEN PATCH v2 4/6][RESEND] automation/eclair_analysis: address violations of MISRA C Rule 20.7

2024-06-24 Thread Stefano Stabellini
On Mon, 17 Jun 2024, Nicola Vetrini wrote: > MISRA C Rule 20.7 states: "Expressions resulting from the expansion > of macro parameters shall be enclosed in parentheses". > > The local helpers GRP2 and XADD in the x86 emulator use their first > argument as the constant expression for a case label.

Re: [XEN PATCH v2 6/6][RESEND] automation/eclair_analysis: clean ECLAIR configuration scripts

2024-06-24 Thread Stefano Stabellini
On Mon, 17 Jun 2024, Nicola Vetrini wrote: > Remove from the ECLAIR integration scripts an unused option, which > was already ignored, and make the help texts consistent > with the rest of the scripts. > > No functional change. > > Signed-off-by: Nicola Vetrini Reviewed-by: Stefano Stabellini

Re: [XEN PATCH v3] automation/eclair: extend existing deviations of MISRA C Rule 16.3

2024-06-24 Thread Stefano Stabellini
On Wed, 19 Jun 2024, Stefano Stabellini wrote: > On Fri, 14 Jun 2024, Federico Serafini wrote: > > Update ECLAIR configuration to deviate more cases where an > > unintentional fallthrough cannot happen. > > > > Add Rule 16.3 to the monitored set and tag it as clean for arm. > > > > Signed-off-by:

Re: [XEN PATCH v2] automation/eclair: configure Rule 13.6 and custom service B.UNEVALEFF

2024-06-24 Thread Stefano Stabellini
On Mon, 24 Jun 2024, Stefano Stabellini wrote: > On Mon, 24 Jun 2024, Federico Serafini wrote: > > Rule 13.6 states that "The operand of the `sizeof' operator shall not > > contain any expression which has potential side effects". > > > > Define service B.UNEVALEFF as an extension of Rule 13.6 to

Re: [PATCH v3] automation/eclair_analysis: deviate and|or|xor|not for MISRA C Rule 21.2

2024-06-24 Thread Stefano Stabellini
On Mon, 24 Jun 2024, Alessandro Zucchelli wrote: > Rule 21.2 reports identifiers reserved for the C and POSIX standard > libraries: or, and, not and xor are reserved identifiers because they > constitute alternate spellings for the corresponding operators (they are > defined as macros by iso646.h);

[XEN PATCH] common/sched: address a violation of MISRA C Rule 17.7

2024-06-24 Thread victorm.lira
From: Victor Lira Rule 17.7: "The value returned by a function having non-void return type shall be used" This patch fixes this by adding a check to the return value. No functional changes. Signed-off-by: Victor Lira --- Cc: George Dunlap Cc: Dario Faggioli Cc: Juergen Gross Cc: xen-devel@l

Re: [XEN PATCH v2] xen: add explicit comment to identify notifier patterns

2024-06-24 Thread Stefano Stabellini
On Sat, 22 Jun 2024, Julien Grall wrote: > On 21/06/2024 23:34, Stefano Stabellini wrote: > > > > > Yes, I also think this could be an opportunity to check the pattern > > > > > but no one has yet been identified to do this. > > > > > > > > I don't think I understand Julien's question and/or your

Re: [XEN PATCH v2] automation/eclair: configure Rule 13.6 and custom service B.UNEVALEFF

2024-06-24 Thread Stefano Stabellini
On Mon, 24 Jun 2024, Federico Serafini wrote: > Rule 13.6 states that "The operand of the `sizeof' operator shall not > contain any expression which has potential side effects". > > Define service B.UNEVALEFF as an extension of Rule 13.6 to > check for unevalued side effects also for typeof and al

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

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

Re: [PATCH 2/2] Add scripts/oss-fuzz/build.sh

2024-06-24 Thread Tamas K Lengyel
On Mon, Jun 24, 2024 at 5:58 PM Julien Grall wrote: > > Hi, > > On 21/06/2024 20:14, Tamas K Lengyel wrote: > > The build integration script for oss-fuzz targets. > > Do you have any details how this is meant and/or will be used? https://google.github.io/oss-fuzz/getting-started/new-project-guide

Re: [PATCH 2/2] Add scripts/oss-fuzz/build.sh

2024-06-24 Thread Julien Grall
Hi, On 21/06/2024 20:14, Tamas K Lengyel wrote: The build integration script for oss-fuzz targets. Do you have any details how this is meant and/or will be used? I also couldn't find a cover letter. For series with more than one patch, it is recommended to have one as it help threading and c

Re: [XEN PATCH] MAINTAINERS: Update my email address again

2024-06-24 Thread Julien Grall
Hi, On 24/06/2024 17:27, Stefano Stabellini wrote: On Mon, 24 Jun 2024, Anthony PERARD wrote: Signed-off-by: Anthony PERARD Acked-by: Stefano Stabellini I guess this technically need an ack from the release manager. So CC Oleksii. Cheers, -- Julien Grall

Re: [PATCH 1/2] Add libfuzzer target to fuzz/x86_instruction_emulator

2024-06-24 Thread Tamas K Lengyel
On Mon, Jun 24, 2024 at 11:55 AM Jan Beulich wrote: > > On 21.06.2024 21:14, Tamas K Lengyel wrote: > > @@ -58,6 +58,9 @@ afl-harness: afl-harness.o $(OBJS) cpuid.o wrappers.o > > afl-harness-cov: afl-harness-cov.o $(patsubst %.o,%-cov.o,$(OBJS)) cpuid.o > > wrappers.o > > $(CC) $(CFLAGS)

Re: [RFC XEN PATCH] x86/mctelem: address violations of MISRA C: 2012 Rule 5.3

2024-06-24 Thread Nicola Vetrini
On 2024-06-24 11:00, Jan Beulich wrote: On 21.06.2024 11:50, Nicola Vetrini wrote: From: Alessandro Zucchelli This addresses violations of MISRA C:2012 Rule 5.3 which states as following: An identifier declared in an inner scope shall not hide an identifier declared in an outer scope. In this

Re: [RFC PATCH v2] iommu/xen: Add Xen PV-IOMMU driver

2024-06-24 Thread Easwar Hariharan
Hi Jason, On 6/24/2024 9:32 AM, Jason Gunthorpe wrote: > On Mon, Jun 24, 2024 at 02:36:45PM +, Teddy Astie wrote: +bool xen_iommu_capable(struct device *dev, enum iommu_cap cap) +{ +    switch (cap) { +    case IOMMU_CAP_CACHE_COHERENCY: +    return true; >>> >>> W

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

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

Re: [RFC PATCH v2] iommu/xen: Add Xen PV-IOMMU driver

2024-06-24 Thread Robin Murphy
On 2024-06-24 6:36 pm, Easwar Hariharan wrote: Hi Jason, On 6/24/2024 9:32 AM, Jason Gunthorpe wrote: On Mon, Jun 24, 2024 at 02:36:45PM +, Teddy Astie wrote: +bool xen_iommu_capable(struct device *dev, enum iommu_cap cap) +{ +    switch (cap) { +    case IOMMU_CAP_CACHE_COHERENCY: +  

Re: [RFC PATCH v2] iommu/xen: Add Xen PV-IOMMU driver

2024-06-24 Thread Jason Gunthorpe
On Mon, Jun 24, 2024 at 10:36:13AM -0700, Easwar Hariharan wrote: > Hi Jason, > > On 6/24/2024 9:32 AM, Jason Gunthorpe wrote: > > On Mon, Jun 24, 2024 at 02:36:45PM +, Teddy Astie wrote: > +bool xen_iommu_capable(struct device *dev, enum iommu_cap cap) > +{ > +    switch (cap)

[linux-linus test] 186466: regressions - FAIL

2024-06-24 Thread osstest service owner
flight 186466 linux-linus real [real] flight 186468 linux-linus real-retest [real] http://logs.test-lab.xenproject.org/osstest/logs/186466/ http://logs.test-lab.xenproject.org/osstest/logs/186468/ Regressions :-( Tests which did not succeed and are blocking, including tests which could not be run

Re: [PATCH 14/26] block: move the nonrot flag to queue_limits

2024-06-24 Thread Christoph Hellwig
On Mon, Jun 24, 2024 at 11:08:16AM -0600, Keith Busch wrote: > On Mon, Jun 17, 2024 at 08:04:41AM +0200, Christoph Hellwig wrote: > > -#define blk_queue_nonrot(q)test_bit(QUEUE_FLAG_NONROT, > > &(q)->queue_flags) > > +#define blk_queue_nonrot(q)((q)->limits.features & > > BLK_FEAT

Re: [PATCH 14/26] block: move the nonrot flag to queue_limits

2024-06-24 Thread Keith Busch
On Mon, Jun 17, 2024 at 08:04:41AM +0200, Christoph Hellwig wrote: > -#define blk_queue_nonrot(q) test_bit(QUEUE_FLAG_NONROT, &(q)->queue_flags) > +#define blk_queue_nonrot(q) ((q)->limits.features & BLK_FEAT_ROTATIONAL) This is inverted. Should be: #define blk_queue_nonrot(q)(!((q)->limit

Re: [PATCH for-4.19] xen/arm: static-shmem: request host address to be specified for 1:1 domains

2024-06-24 Thread Julien Grall
On 24/06/2024 11:43, Michal Orzel wrote: Hi Julien, On 24/06/2024 12:22, Julien Grall wrote: Hi Michal, On 21/06/2024 10:22, Michal Orzel wrote: As a follow up to commit cb1ddafdc573 ("xen/arm/static-shmem: Static-shmem should be direct-mapped for direct-mapped domains") add a check to r

Re: [RFC PATCH v2] iommu/xen: Add Xen PV-IOMMU driver

2024-06-24 Thread Jason Gunthorpe
On Mon, Jun 24, 2024 at 02:36:45PM +, Teddy Astie wrote: > >> +bool xen_iommu_capable(struct device *dev, enum iommu_cap cap) > >> +{ > >> +    switch (cap) { > >> +    case IOMMU_CAP_CACHE_COHERENCY: > >> +    return true; > > > > Will the PV-IOMMU only ever be exposed on hardware where th

Re: [XEN PATCH] MAINTAINERS: Update my email address again

2024-06-24 Thread Stefano Stabellini
On Mon, 24 Jun 2024, Anthony PERARD wrote: > Signed-off-by: Anthony PERARD Acked-by: Stefano Stabellini

Re: E820 memory allocation issue on Threadripper platforms

2024-06-24 Thread Branden Sherrell
Sorry about that. The thread quickly diverged from the core issue to helping diagnose GPU issues, so I thought it best to circle back to the ticket reference to realign. In any event, if there is any aid I can provide on this front please let me know. I have worked around this issue for now by

Re: [PATCH 1/2] Add libfuzzer target to fuzz/x86_instruction_emulator

2024-06-24 Thread Jan Beulich
On 21.06.2024 21:14, Tamas K Lengyel wrote: > @@ -58,6 +58,9 @@ afl-harness: afl-harness.o $(OBJS) cpuid.o wrappers.o > afl-harness-cov: afl-harness-cov.o $(patsubst %.o,%-cov.o,$(OBJS)) cpuid.o > wrappers.o > $(CC) $(CFLAGS) $(GCOV_FLAGS) $(addprefix > -Wl$(comma)--wrap=,$(WRAPPED)) $^ -o

Re: [XEN PATCH v2 13/13] x86/vlapic: address a violation of MISRA C Rule 16.3

2024-06-24 Thread Jan Beulich
On 24.06.2024 11:04, Federico Serafini wrote: > Add missing break statement to address a violation of MISRA C > Rule 16.3: "An unconditional `break' statement shall terminate every > switch-clause". > > No functional change. > > Signed-off-by: Federico Serafini Acked-by: Jan Beulich

Re: [XEN PATCH v2 12/13] x86/vPIC: address a violation of MISRA C Rule 16.3

2024-06-24 Thread Jan Beulich
On 24.06.2024 11:04, Federico Serafini wrote: > Add pseudokeyword fallthrough to meet the requirements to deviate > a violation of MISRA C Rul 16.3: "An unconditional `break' statement > shall terminate every switch-clause". > > No functional change. > > Signed-off-by: Federico Serafini Acked-b

Re: [XEN PATCH v2 11/13] x86/pmtimer: address a violation of MISRA C Rule 16.3

2024-06-24 Thread Jan Beulich
On 24.06.2024 11:04, Federico Serafini wrote: > Add missing break statement to address a violation of MISRA C Rule 16.3 > ("An unconditional `break' statement shall terminate every > switch-clause"). > > No functional change. > > Signed-off-by: Federico Serafini Acked-by: Jan Beulich I'm curi

Re: [XEN PATCH v2 10/13] x86/mpparse: address a violation of MISRA C Rule 16.3

2024-06-24 Thread Jan Beulich
On 24.06.2024 11:04, Federico Serafini wrote: > Add a missing break statement to address a violation of > MISRA C Rule 16.3: "An unconditional `break' statement shall terminate > every switch-clause". > > No functional change. > > Signed-off-by: Federico Serafini Acked-by: Jan Beulich

Re: [XEN PATCH v2 09/13] x86/mm: add defensive return

2024-06-24 Thread Jan Beulich
On 24.06.2024 11:04, Federico Serafini wrote: > Add defensive return statement at the end of an unreachable > default case. Other than improve safety, It is particularly with this in mind that ... > this meets the requirements > to deviate a violation of MISRA C Rule 16.3: "An unconditional `brea

Re: [XEN PATCH v2 08/13] x86/vpt: address a violation of MISRA C Rule 16.3

2024-06-24 Thread Jan Beulich
On 24.06.2024 11:04, Federico Serafini wrote: > --- a/xen/arch/x86/hvm/vpt.c > +++ b/xen/arch/x86/hvm/vpt.c > @@ -121,6 +121,8 @@ static int pt_irq_masked(struct periodic_time *pt) > } > > /* Fallthrough to check if the interrupt is masked on the IO APIC. */ > +fallthrough; > + >

Re: [XEN PATCH v2 07/13] x86/hvm: address violations of MISRA C Rule 16.3

2024-06-24 Thread Jan Beulich
On 24.06.2024 11:04, Federico Serafini wrote: > --- a/xen/arch/x86/hvm/emulate.c > +++ b/xen/arch/x86/hvm/emulate.c > @@ -339,7 +339,7 @@ static int hvmemul_do_io( > } > case X86EMUL_UNIMPLEMENTED: > ASSERT_UNREACHABLE(); > -/* Fall-through */ > +fallthrough; >

Re: [XEN PATCH v2 06/13] x86/mce: address violations of MISRA C Rule 16.3

2024-06-24 Thread Jan Beulich
On 24.06.2024 11:04, Federico Serafini wrote: > Add missing break statements to address violations of > MISRA C Rule 16.3: "An unconditional `break' statement shall terminate > every switch-clause". > > No functional change. > > Signed-off-by: Federico Serafini Acked-by: Jan Beulich

Re: [axboe-block:for-next] [block] bd4a633b6f: fsmark.files_per_sec -64.5% regression

2024-06-24 Thread Christoph Hellwig
On Mon, Jun 24, 2024 at 03:45:57PM +0200, Niklas Cassel wrote: > Seems to be ATA SSD: > https://download.01.org/0day-ci/archive/20240624/202406241546.6bbd44a7-oliver.s...@intel.com/job.yaml > > ssd_partitions: > "/dev/disk/by-id/ata-INTEL_SSDSC2BG012T4_BTHC428201ZX1P2OGN-par

Re: [XEN PATCH v2 05/13] x86/traps: address violations of MISRA C Rule 16.3

2024-06-24 Thread Jan Beulich
On 24.06.2024 11:04, Federico Serafini wrote: > Add break or pseudo keyword fallthrough to address violations of > MISRA C Rule 16.3: "An unconditional `break' statement shall terminate > every switch-clause". > > No functional change. > > Signed-off-by: Federico Serafini Technically the change

Re: [XEN PATCH v2 04/13] x86/vpmu: address violations of MISRA C Rule 16.3

2024-06-24 Thread Jan Beulich
On 24.06.2024 11:04, Federico Serafini wrote: > --- a/xen/arch/x86/cpu/vpmu_intel.c > +++ b/xen/arch/x86/cpu/vpmu_intel.c > @@ -713,6 +713,7 @@ static int cf_check core2_vpmu_do_rdmsr(unsigned int msr, > uint64_t *msr_content) > break; > default: > rdmsrl(msr, *m

Re: [XEN PATCH v2 03/13] x86/domctl: address a violation of MISRA C Rule 16.3

2024-06-24 Thread Jan Beulich
On 24.06.2024 11:04, Federico Serafini wrote: > Add missing break statement to address a violation of > MISRA C Rule 16.3: "An unconditional `break' statement shall terminate > every switch-clause". > > No functional change. > > Signed-off-by: Federico Serafini Acked-by: Jan Beulich

Re: [XEN PATCH v2 02/13] x86/cpuid: use fallthrough pseudo keyword

2024-06-24 Thread Jan Beulich
On 24.06.2024 11:04, Federico Serafini wrote: > The current comment making explicit the fallthrough intention does > not follow the agreed syntax: replace it with the pseduo keyword. > > No functional change. > > Signed-off-by: Federico Serafini Acked-by: Jan Beulich

Re: Regression in xen-blkfront regarding sector sizes

2024-06-24 Thread Christoph Hellwig
On Mon, Jun 24, 2024 at 04:29:15PM +0200, Jürgen Groß wrote: >> Rusty suspects it's related to >> https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/commit/drivers/block/xen-blkfront.c?id=ba3f67c1163812b5d7ec33705c31edaa30ce6c51, >> so I'm cc-ing people mentioned there too. > > I th

Re: [RFC PATCH v2] iommu/xen: Add Xen PV-IOMMU driver

2024-06-24 Thread Teddy Astie
Hello Robin, Thanks for the thourough review. >> diff --git a/drivers/iommu/Kconfig b/drivers/iommu/Kconfig >> index 0af39bbbe3a3..242cefac77c9 100644 >> --- a/drivers/iommu/Kconfig >> +++ b/drivers/iommu/Kconfig >> @@ -480,6 +480,15 @@ config VIRTIO_IOMMU >>     Say Y here if you intend to ru

Re: Regression in xen-blkfront regarding sector sizes

2024-06-24 Thread Jürgen Groß
On 24.06.24 15:48, Marek Marczykowski-Górecki wrote: Hi, Some Qubes users report a regression in xen-blkfront regarding block size reporting. It works fine on 6.8.8, but appears broken on 6.9.2. The specific problem is that blkfront reports block size of 512, even for backend devices of 4096. T

Re: [axboe-block:for-next] [block] bd4a633b6f: fsmark.files_per_sec -64.5% regression

2024-06-24 Thread Anthony D'Atri
S3610 I think. Be sure to use sst or the chassis vendor’s tool to update the firmware. > On Jun 24, 2024, at 9:45 AM, Niklas Cassel wrote: > > SSDSC2BG012T4

Re: [PATCH v2] docs/misra: rules for mass adoption

2024-06-24 Thread Federico Serafini
Hi Stefano, On 22/06/24 02:14, Stefano Stabellini wrote: From: Stefano Stabellini This patch adds a bunch of rules to rules.rst that are uncontroversial and have zero violations in Xen. As such, they have been approved for adoption. All the ones that regard the standard library have the link

Re: [PATCH 2/4] xen/xlat: Sort structs per file

2024-06-24 Thread Andrew Cooper
On 18/04/2024 10:00 am, Jan Beulich wrote: > On 15.04.2024 17:41, Andrew Cooper wrote: >> Signed-off-by: Andrew Cooper > While I don't mind the change as is, "sort" is ambiguous here in one regard. > Personally I'd prefer if those parts of the change were dropped, but I can > live with the sorting

Re: ACPI NVS range conflicting with Dom0 page tables (or kernel image)

2024-06-24 Thread Jürgen Groß
On 17.06.24 16:25, Jan Beulich wrote: On 17.06.2024 16:03, Marek Marczykowski-Górecki wrote: On Mon, Jun 17, 2024 at 01:22:37PM +0200, Jan Beulich wrote: Hello, while it feels like we had a similar situation before, I can't seem to be able to find traces thereof, or associated (Linux) commits.

Regression in xen-blkfront regarding sector sizes

2024-06-24 Thread Marek Marczykowski-Górecki
Hi, Some Qubes users report a regression in xen-blkfront regarding block size reporting. It works fine on 6.8.8, but appears broken on 6.9.2. The specific problem is that blkfront reports block size of 512, even for backend devices of 4096. This, for example, fails 512-bytes reads with O_DIRECT,

Re: [axboe-block:for-next] [block] bd4a633b6f: fsmark.files_per_sec -64.5% regression

2024-06-24 Thread Niklas Cassel
A SSD: https://download.01.org/0day-ci/archive/20240624/202406241546.6bbd44a7-oliver.s...@intel.com/job.yaml ssd_partitions: "/dev/disk/by-id/ata-INTEL_SSDSC2BG012T4_BTHC428201ZX1P2OGN-part1" Most likely btrfs does something different depending on the nonrot flag being set or not. (And l

Re: E820 memory allocation issue on Threadripper platforms

2024-06-24 Thread Jan Beulich
On 24.06.2024 15:07, Branden Sherrell wrote: > What is the reasoning that this fix be applied only to PVH domains? Taking a > look at the fix logic it appears to walk the E820 to find a suitable range of > memory to load the kernel into (assuming it can be determined that the kernel > is also re

Re: {PATCH mini-os] mman: correct m{,un}lock() definitions

2024-06-24 Thread Samuel Thibault
Jan Beulich, le lun. 24 juin 2024 15:34:53 +0200, a ecrit: > From: Charles Arnold > > gcc14 no longer (silently) accepts functions with no return type > specified. > > Signed-off-by: Charles Arnold > Signed-off-by: Jan Beulich Reviewed-by: Samuel Thibault Thanks! > > --- a/include/posix/s

{PATCH mini-os] mman: correct m{,un}lock() definitions

2024-06-24 Thread Jan Beulich
From: Charles Arnold gcc14 no longer (silently) accepts functions with no return type specified. Signed-off-by: Charles Arnold Signed-off-by: Jan Beulich --- a/include/posix/sys/mman.h +++ b/include/posix/sys/mman.h @@ -16,7 +16,7 @@ void *mmap(void *start, size_t length, int prot, int fla

Re: [PATCH for-4.19] xen: re-add type checking to {,__}copy_from_guest_offset()

2024-06-24 Thread Andrew Cooper
On 24/06/2024 1:26 pm, Jan Beulich wrote: > When re-working them to avoid UB on guest address calculations, I failed > to add explicit type checks in exchange for the implicit ones that until > then had happened in assignments that were there anyway. > > Fixes: 43d5c5d5f70b ("xen: avoid UB in guest

Re: E820 memory allocation issue on Threadripper platforms

2024-06-24 Thread Branden Sherrell
What is the reasoning that this fix be applied only to PVH domains? Taking a look at the fix logic it appears to walk the E820 to find a suitable range of memory to load the kernel into (assuming it can be determined that the kernel is also relocatable). Why can this logic not be applied to dom0

Re: E820 memory allocation issue on Threadripper platforms

2024-06-24 Thread Jan Beulich
On 24.06.2024 14:40, Branden Sherrell wrote: > I recently found this mailing list thread when searching for information on a > related issue regarding conflicting E820 on a Threadripper platform. For > those interested in additional data points, I am using the ASUS WRX80E-SAGE > SE Wifi II mothe

Re: [PATCH for-4.19] tools/xenalyze: Remove argp_program_bug_address

2024-06-24 Thread Oleksii
On Mon, 2024-06-24 at 11:49 +0100, George Dunlap wrote: > xenalyze sets argp_program_bug_address to my old Citrix address.  > This > was done before xenalyze was in the xen.git tree; and it's the only > program in the tree which does so. > > Now that xenalyze is part of the normal Xen distribution

Re: [PATCH for-4.19 1/2] CHANGELOG.md: Fix indentation of "Removed" section

2024-06-24 Thread Oleksii
On Mon, 2024-06-24 at 10:04 +0100, George Dunlap wrote: > Signed-off-by: George Dunlap > --- > CC: Oleksii Kurochko > CC: Community Manager Release-Acked-by: Oleksii Kurochko ~ Oleksii > --- >  CHANGELOG.md | 12 ++-- >  1 file changed, 6 insertions(+), 6 deletions(-) > > diff --git

Re: [PATCH 1/3] xen/riscv: Drop legacy __ro_after_init definition

2024-06-24 Thread Oleksii
On Mon, 2024-06-24 at 10:04 +0200, Jan Beulich wrote: > On 24.06.2024 10:02, Oleksii wrote: > > On Fri, 2024-06-21 at 21:19 +0100, Andrew Cooper wrote: > > > Hide the legacy __ro_after_init definition in xen/cache.h for > > > RISC-V, > > > to avoid > > > its use creeping in.  Only mm.c needs adjust

Re: [PATCH 1/3] xen/riscv: Drop legacy __ro_after_init definition

2024-06-24 Thread Oleksii
On Fri, 2024-06-21 at 21:19 +0100, Andrew Cooper wrote: > Hide the legacy __ro_after_init definition in xen/cache.h for RISC-V, > to avoid > its use creeping in.  Only mm.c needs adjusting as a consequence > > No functional change. > > Signed-off-by: Andrew Cooper Reviewed-by: Oleksii Kurochko

Re: E820 memory allocation issue on Threadripper platforms

2024-06-24 Thread Branden Sherrell
Hi all, I recently found this mailing list thread when searching for information on a related issue regarding conflicting E820 on a Threadripper platform. For those interested in additional data points, I am using the ASUS WRX80E-SAGE SE Wifi II motherboard that presents the following E820 to X

Re: [XEN PATCH v10 5/5] domctl: Add XEN_DOMCTL_gsi_permission to grant gsi

2024-06-24 Thread Anthony PERARD
On Fri, Jun 21, 2024 at 08:20:55AM +, Chen, Jiqian wrote: > On 2024/6/20 18:42, Jan Beulich wrote: > > On 20.06.2024 11:40, Chen, Jiqian wrote: > >> On 2024/6/18 17:23, Jan Beulich wrote: > >>> On 18.06.2024 10:23, Chen, Jiqian wrote: > On 2024/6/17 23:32, Jan Beulich wrote: > > On 17.

[PATCH for-4.19?] xen: avoid UB in guest handle field accessors

2024-06-24 Thread Jan Beulich
Much like noted in 43d5c5d5f70b ("xen: avoid UB in guest handle arithmetic"), address calculations involved in accessing a struct field can overflow, too. Cast respective pointers to "unsigned long" and convert type checking accordingly. Remaining arithmetic is, despite there possibly being mathema

[PATCH for-4.19] xen: re-add type checking to {,__}copy_from_guest_offset()

2024-06-24 Thread Jan Beulich
When re-working them to avoid UB on guest address calculations, I failed to add explicit type checks in exchange for the implicit ones that until then had happened in assignments that were there anyway. Fixes: 43d5c5d5f70b ("xen: avoid UB in guest handle arithmetic") Signed-off-by: Jan Beulich -

Re: [XEN PATCH v10 4/5] tools: Add new function to get gsi from dev

2024-06-24 Thread Anthony PERARD
On Fri, Jun 21, 2024 at 08:34:11AM +, Chen, Jiqian wrote: > On 2024/6/20 22:38, Anthony PERARD wrote: > > On Mon, Jun 17, 2024 at 05:00:34PM +0800, Jiqian Chen wrote: > >> diff --git a/tools/include/xencall.h b/tools/include/xencall.h > >> index fc95ed0fe58e..750aab070323 100644 > >> --- a/tool

[xen-unstable test] 186465: tolerable FAIL

2024-06-24 Thread osstest service owner
flight 186465 xen-unstable real [real] http://logs.test-lab.xenproject.org/osstest/logs/186465/ Failures :-/ but no regressions. Tests which did not succeed, but are not blocking: test-armhf-armhf-libvirt 16 saverestore-support-checkfail like 186458 test-amd64-amd64-xl-qemut-win7-amd64

Re: [PATCH for-4.19] tools/xenalyze: Remove argp_program_bug_address

2024-06-24 Thread Andrew Cooper
On 24/06/2024 11:49 am, George Dunlap wrote: > xenalyze sets argp_program_bug_address to my old Citrix address. This > was done before xenalyze was in the xen.git tree; and it's the only > program in the tree which does so. > > Now that xenalyze is part of the normal Xen distribution, it should be

Re: [RFC PATCH] iommu/xen: Add Xen PV-IOMMU driver

2024-06-24 Thread Robin Murphy
On 2024-06-23 4:21 am, Baolu Lu wrote: On 6/21/24 11:09 PM, Teddy Astie wrote: Le 19/06/2024 à 18:30, Jason Gunthorpe a écrit : On Thu, Jun 13, 2024 at 01:50:22PM +, Teddy Astie wrote: +struct iommu_domain *xen_iommu_domain_alloc(unsigned type) +{ +    struct xen_iommu_domain *domain; +  

[PATCH for-4.19] tools/xenalyze: Remove argp_program_bug_address

2024-06-24 Thread George Dunlap
xenalyze sets argp_program_bug_address to my old Citrix address. This was done before xenalyze was in the xen.git tree; and it's the only program in the tree which does so. Now that xenalyze is part of the normal Xen distribution, it should be obvious where to report bugs. Signed-off-by: George

Re: [XEN PATCH v2 01/13] automation/eclair: fix deviation of MISRA C Rule 16.3

2024-06-24 Thread Jan Beulich
On 24.06.2024 11:04, Federico Serafini wrote: > Escape the final dot of the comment and extend the search of a > fallthrough comment up to 2 lines after the last statement. > > Fixes: a128d8da913b21eff6c6d2e2a7d4c54c054b78db "automation/eclair: add > deviations for MISRA C:2012 Rule 16.3" Nit: Y

  1   2   >