On 08.11.2023 14:28, Nicola Vetrini wrote:
> On 2023-11-08 12:19, Jan Beulich wrote:
>> On 08.11.2023 12:03, Nicola Vetrini wrote:
>>> On 2023-11-08 09:24, Jan Beulich wrote:
On 03.11.2023 18:58, Nicola Vetrini wrote:
> Static analysis tools may detect a possible null
> pointer derefer
On 08.11.2023 14:33, Julien Grall wrote:
> Hi Jan,
>
> On 08/11/2023 11:19, Jan Beulich wrote:
>> On 08.11.2023 12:03, Nicola Vetrini wrote:
>>> On 2023-11-08 09:24, Jan Beulich wrote:
On 03.11.2023 18:58, Nicola Vetrini wrote:
> Static analysis tools may detect a possible null
> poin
On 31.10.2023 08:43, Jan Beulich wrote:
> What I would consider scope creep I
> specifically didn't even ask for: I'd like this macro to be overridable
> by an arch. Specifically (see my earlier naming hint) I'd like to use
> x86's BMI insn BLSI in the context of "x86: allow Kconfig control over
>
flight 183714 linux-5.4 real [real]
flight 183719 linux-5.4 real-retest [real]
http://logs.test-lab.xenproject.org/osstest/logs/183714/
http://logs.test-lab.xenproject.org/osstest/logs/183719/
Failures :-/ but no regressions.
Tests which are failing intermittently (not blocking):
test-armhf-armh
Hi,
> On Nov 8, 2023, at 23:30, Luca Fancellu wrote:
>
>> On 8 Nov 2023, at 15:27, Andrew Cooper wrote:
>>
>> sphinx-build reports:
>>
>> docs/misra/exclude-list.rst:47: WARNING: Unexpected indentation.
>> docs/misra/exclude-list.rst:50: WARNING: Inline emphasis start-string
>> without end-s
Hi,
> On Nov 8, 2023, at 23:27, Andrew Cooper wrote:
>
> sphinx-build reports:
>
> docs/designs/launch/hyperlaunch.rst: WARNING: document isn't included in any
> toctree
> docs/designs/launch/hyperlaunch-devicetree.rst: WARNING: document isn't
> included in any toctree
> docs/misc/xen-make
Hi Andrew,
> On Nov 8, 2023, at 23:27, Andrew Cooper wrote:
>
> sphinx-build reports:
>
> docs/designs/launch/hyperlaunch.rst:111: WARNING: Title underline too short.
> docs/designs/launch/hyperlaunch.rst:203: WARNING: Unexpected indentation.
> docs/designs/launch/hyperlaunch.rst:216: WARNIN
flight 183713 linux-linus real [real]
http://logs.test-lab.xenproject.org/osstest/logs/183713/
Failures :-/ but no regressions.
Tests which did not succeed, but are not blocking:
test-amd64-amd64-xl-qemut-win7-amd64 19 guest-stopfail like 183708
test-amd64-amd64-xl-qemuu-win7-amd64
From: Roger Pau Monne
The Processor capability bits notify ACPI of the OS capabilities, and
so ACPI can adjust the return of other Processor methods taking the OS
capabilities into account.
When Linux is running as a Xen dom0, the hypervisor is the entity
in charge of processor power management,
On 08/11/2023 4:24 pm, Nicola Vetrini wrote:
> Hi everyone,
>
> I was looking at leftover violations for MISRA Rule 7.4:
> 'A string literal shall not be assigned to an object unless the
> object's type
> is "pointer to const-qualified char" '
>
> You can see the referenced violations at [1] and [2
flight 183712 xen-unstable real [real]
flight 183716 xen-unstable real-retest [real]
http://logs.test-lab.xenproject.org/osstest/logs/183712/
http://logs.test-lab.xenproject.org/osstest/logs/183716/
Failures :-/ but no regressions.
Tests which are failing intermittently (not blocking):
test-armh
On 10/10/23 03:26, Henry Wang wrote:
Hi,
On Oct 10, 2023, at 09:25, Stefano Stabellini wrote:
On Mon, 9 Oct 2023, Federico Serafini wrote:
Add missing parameter names. No functional change.
Signed-off-by: Federico Serafini
Reviewed-by: Stefano Stabellini
Release-acked-by: Henry Wang
On 2023-11-08 17:25, Julien Grall wrote:
Hi Stefano,
On 07/11/2023 20:41, Stefano Stabellini wrote:
+Julien, Andrew
Julien and Andrew raised concerns on this patch on the Xen Matrix
channel. Please provide further details.
Thanks! It looks like I was already CCed but this likely got lost wit
On Wed, Nov 01, 2023 at 09:41:52AM -0400, Jason Andryuk wrote:
> From: Roger Pau Monne
>
> The Processor capability bits notify ACPI of the OS capabilities, and
> so ACPI can adjust the return of other Processor methods taking the OS
> capabilities into account.
>
> When Linux is running as a Xe
On 08/11/23 17:30, Julien Grall wrote:
Hi Federico,
On 08/11/2023 16:21, Federico Serafini wrote:
On 08/11/23 17:04, Julien Grall wrote:
Hi,
On 08/11/2023 15:42, Federico Serafini wrote:
Add missing parameter name "regs" and introduce function type
bug_fn_t: this improves readability and hel
Hi Federico,
On 08/11/2023 16:21, Federico Serafini wrote:
On 08/11/23 17:04, Julien Grall wrote:
Hi,
On 08/11/2023 15:42, Federico Serafini wrote:
Add missing parameter name "regs" and introduce function type
bug_fn_t: this improves readability and helps to validate that the
function passed
Hi Stefano,
On 07/11/2023 20:41, Stefano Stabellini wrote:
+Julien, Andrew
Julien and Andrew raised concerns on this patch on the Xen Matrix
channel. Please provide further details.
Thanks! It looks like I was already CCed but this likely got lost with
all the MISRA patches...
On Matrix, t
Hi everyone,
I was looking at leftover violations for MISRA Rule 7.4:
'A string literal shall not be assigned to an object unless the object's
type
is "pointer to const-qualified char" '
You can see the referenced violations at [1] and [2].
I think the ones in x86/setup.c can be taken care of
On 08/11/23 17:04, Julien Grall wrote:
Hi,
On 08/11/2023 15:42, Federico Serafini wrote:
Add missing parameter name "regs" and introduce function type
bug_fn_t: this improves readability and helps to validate that the
function passed to run_in_exception_handle() has the expected
prototype.
No f
Hi,
On 08/11/2023 15:42, Federico Serafini wrote:
Add missing parameter name "regs" and introduce function type
bug_fn_t: this improves readability and helps to validate that the
function passed to run_in_exception_handle() has the expected
prototype.
No functional change.
Suggested-by: Julien
Add missing parameter name "regs" and introduce function type
bug_fn_t: this improves readability and helps to validate that the
function passed to run_in_exception_handle() has the expected
prototype.
No functional change.
Suggested-by: Julien Grall
Signed-off-by: Federico Serafini
---
Changes
> On 8 Nov 2023, at 15:27, Andrew Cooper wrote:
>
> sphinx-build reports:
>
> docs/misra/exclude-list.rst:47: WARNING: Unexpected indentation.
> docs/misra/exclude-list.rst:50: WARNING: Inline emphasis start-string
> without end-string.
>
> Nested lists require newlines as delimiters, and
sphinx-build reports:
docs/designs/launch/hyperlaunch.rst: WARNING: document isn't included in any
toctree
docs/designs/launch/hyperlaunch-devicetree.rst: WARNING: document isn't
included in any toctree
docs/misc/xen-makefiles/makefiles.rst: WARNING: document isn't included in
any toctree
Given the two mandatory 4.18 fixes, this is the remainder of the work I have
been threatening to do for a while. Preferrably for 4.18 too, seeing as this
gets our Sphinx docs into better shape.
I still want to make sphinx problems fatal in gitlab, but that will have to
wait for now.
Andrew Coope
sphinx-build reports:
docs/misra/exclude-list.rst:47: WARNING: Unexpected indentation.
docs/misra/exclude-list.rst:50: WARNING: Inline emphasis start-string without
end-string.
Nested lists require newlines as delimiters, and * either needs escaping, or
put in a literal block.
Signed-off-by
sphinx-build reports:
docs/designs/launch/hyperlaunch.rst:111: WARNING: Title underline too short.
docs/designs/launch/hyperlaunch.rst:203: WARNING: Unexpected indentation.
docs/designs/launch/hyperlaunch.rst:216: WARNING: Unexpected indentation.
Nested lists require newlines as delimiters.
These 3 Kconfig docs were imported from Linux erroneously. They are
GPL-2.0-only in Linux, but have no SPDX tag and were placed in such a way to
be included by the blanket statement saying that all RST files are CC-BY-4.0.
We should not be carrying a shadow copy of these docs. They aren't even w
Hi Andrew,
> On Nov 8, 2023, at 22:18, Andrew Cooper wrote:
>
> Two files are missing SDPX tags, but are covered by the blanketing license
> statement in docs/README.sources saying that RST files are CC-BY-4.0
>
> Fixes: 3c911be55f1c ("docs/misra: document the C dialect and translation
> toolc
Two files are missing SDPX tags, but are covered by the blanketing license
statement in docs/README.sources saying that RST files are CC-BY-4.0
Fixes: 3c911be55f1c ("docs/misra: document the C dialect and translation
toolchain assumptions.")
Fixes: 7211904e09bd ("docs/misra: add documentation ske
On 2023-11-08 14:37, Andrew Cooper wrote:
On 03/11/2023 5:58 pm, Nicola Vetrini wrote:
Static analysis tools may detect a possible null
pointer dereference at line 760 (the memcpy call)
of xen/common/domain.c. This ASSERT helps them in
detecting that such a condition is not possible
and also pro
On 03/11/2023 5:58 pm, Nicola Vetrini wrote:
> Static analysis tools may detect a possible null
> pointer dereference at line 760 (the memcpy call)
> of xen/common/domain.c. This ASSERT helps them in
> detecting that such a condition is not possible
> and also provides a basic sanity check.
>
> Sig
Hi Jan,
On 08/11/2023 11:19, Jan Beulich wrote:
On 08.11.2023 12:03, Nicola Vetrini wrote:
On 2023-11-08 09:24, Jan Beulich wrote:
On 03.11.2023 18:58, Nicola Vetrini wrote:
Static analysis tools may detect a possible null
pointer dereference at line 760 (the memcpy call)
of xen/common/domain
On 2023-11-08 12:19, Jan Beulich wrote:
On 08.11.2023 12:03, Nicola Vetrini wrote:
On 2023-11-08 09:24, Jan Beulich wrote:
On 03.11.2023 18:58, Nicola Vetrini wrote:
Static analysis tools may detect a possible null
pointer dereference at line 760 (the memcpy call)
of xen/common/domain.c. This
On Mon, Oct 02, 2023 at 11:24:22PM -0700, Xin Li wrote:
> Subject: Re: [PATCH v12 01/37] x86/cpufeatures: Add the cpu feature bit for
> WRMSRNS
For all your text:
s/cpu/CPU/g
> WRMSRNS is an instruction that behaves exactly like WRM
On 08.11.2023 12:03, Nicola Vetrini wrote:
> On 2023-11-08 09:24, Jan Beulich wrote:
>> On 03.11.2023 18:58, Nicola Vetrini wrote:
>>> Static analysis tools may detect a possible null
>>> pointer dereference at line 760 (the memcpy call)
>>> of xen/common/domain.c. This ASSERT helps them in
>>> det
On 2023-11-08 09:24, Jan Beulich wrote:
On 03.11.2023 18:58, Nicola Vetrini wrote:
Static analysis tools may detect a possible null
pointer dereference at line 760 (the memcpy call)
of xen/common/domain.c. This ASSERT helps them in
detecting that such a condition is not possible
and also provide
On 2023-11-08 09:17, Nicola Vetrini wrote:
Hi Stefano,
sorry for the late reply; see my response below.
On 2023-10-31 22:47, Stefano Stabellini wrote:
Hi Simone,
As you might have noticed, all the eclair-ARM64 jobs have been failing
recently for the upstream Xen "staging" branch:
https://git
On 2023-11-07 18:35, Julien Grall wrote:
On 07/11/2023 14:45, Nicola Vetrini wrote:
Hi Julien,
Hi,
On 2023-11-07 13:44, Julien Grall wrote:
+in the community."
+-config=MC3R1.R15.2,reports+={deliberate,
"any_area(any_loc(text(^.*goto (again|retry).*$)))"}
+-doc_end
+
#
# Series 20.
Hi all,
Let’s kick off the discussion about clang-format configuration, with this part
1 I would like to discuss some configurable
that I feel are not controversial.
You can find the serie introducing clang-format here:
https://patchwork.kernel.org/project/xen-devel/cover/20231031132304.2573924-
On 08/11/23 10:18, Jan Beulich wrote:
(re-adding xen-devel@)
On 08.11.2023 09:43, Federico Serafini wrote:
On 08/11/23 09:07, Jan Beulich wrote:
On 07.11.2023 16:18, Federico Serafini wrote:
Add missing parameter names and make function declarations and
definitions consistent.
Mismatches betw
flight 183708 linux-linus real [real]
http://logs.test-lab.xenproject.org/osstest/logs/183708/
Failures :-/ but no regressions.
Tests which did not succeed, but are not blocking:
test-amd64-amd64-xl-qemut-win7-amd64 19 guest-stopfail like 183698
test-amd64-amd64-xl-qemuu-win7-amd64
(re-adding xen-devel@)
On 08.11.2023 09:43, Federico Serafini wrote:
> On 08/11/23 09:07, Jan Beulich wrote:
>> On 07.11.2023 16:18, Federico Serafini wrote:
>>> Add missing parameter names and make function declarations and
>>> definitions consistent.
>>> Mismatches between parameter names "count
On 03.11.2023 18:58, Nicola Vetrini wrote:
> Static analysis tools may detect a possible null
> pointer dereference at line 760 (the memcpy call)
> of xen/common/domain.c. This ASSERT helps them in
> detecting that such a condition is not possible
> and also provides a basic sanity check.
I disagr
Hi Stefano,
sorry for the late reply; see my response below.
On 2023-10-31 22:47, Stefano Stabellini wrote:
Hi Simone,
As you might have noticed, all the eclair-ARM64 jobs have been failing
recently for the upstream Xen "staging" branch:
https://gitlab.com/xen-project/xen/-/pipelines/10565274
On 07.11.2023 16:18, Federico Serafini wrote:
> Add missing parameter names and make function declarations and
> definitions consistent.
> Mismatches between parameter names "count" and "n" are resolved
> in favor of "n", being the same name used by the C standard.
I'm afraid this wasn't done cons
45 matches
Mail list logo
