[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCH 13/22] x86: FRED enumerations


  • To: Andrew Cooper <andrew.cooper3@xxxxxxxxxx>
  • From: Nicola Vetrini <nicola.vetrini@xxxxxxxxxxx>
  • Date: Thu, 14 Aug 2025 21:37:07 +0200
  • Arc-authentication-results: i=1; bugseng.com; arc=none smtp.remote-ip=162.55.131.47
  • Arc-message-signature: i=1; d=bugseng.com; s=openarc; a=rsa-sha256; c=relaxed/relaxed; t=1755200227; h=DKIM-Signature:MIME-Version:Date:From:To:Cc:Subject:In-Reply-To: References:Message-ID:X-Sender:Organization:Content-Type: Content-Transfer-Encoding; bh=ph7jdZQ9NX/u8qetWLQ4Vkglvn/rONeb5m5p/5MafIo=; b=ibHsmJhqBIpZ28PUIqHVvCsky1kr9cmruwYB7TPA9Sdx7wOwhbHWdJEhieyTByeoRXBz +QR5lreIf6WskOp7H/y7g5fD21t8/kUud5BCMVTXZ4Y6X1r/Y8zC8mi7qm4OS/NySHPte Tb+0lVA4iWKTa6vhacrN4v3QkjvTY3CqyPrGNuHlyRtsJxAamRMIAnqx/NWntaTXiLWIi hZK8I8x423l4ummytWs//4sMbCjZkfAJEGiRGz+i9fuJx3hldjNN6IuGk5ZFH3lk+y7Ju 7lLeZs8/xmKn23Zcmh4fA9yl1HYdDusSAckoOInkIzNZKt3jeGEL7enjb3MLBcQcFWWMd KiYRLmPJr5Si58lvs8qSLfwtMF3JDNOz8oAptmyZv45VKfiJo+5c2uKQGztfhlkYsm43Q 3HLzwE4mOV6X/bnJooTDrDy1Wzlyd+zHzzn8/lB1Y/PHUmfKata33R6ClS3Q4Gp2LxxM7 nCbsuCv95iEif58wUOaey02P4pNqMZVR0gHHMAjPFrUb+6A/PJa1fubNFdnTJdYkyxHvT W3xcfRKscUfWz/ChAZ6HpRpvdMt88BIqz8xpWirUd/62sDFw9AjOXNJpzzQUow3aDrTXj VoxzdAsWGnoQLo3bHMWlTf4Icgrl1obkZu+y05FsFWzUmP7hyeavYEJOsVnJaso=
  • Arc-seal: i=1; d=bugseng.com; s=openarc; a=rsa-sha256; cv=none; t=1755200227; b=VoehlsPTRNB/8vXLEW1Voa6kyf1wqS463teExrvejTltdPPrQ+L4Mdhar7uD5o+outlL BTKEz4++reDQqiLyaI3ohvwEw6JJZPjPYETya6hFEhW/vWPNNQVzn18u1jSg6OaNxb52P +LbJ2E1h+nOKj0QpW3Q1Uzq4aernLxG3+BvUgSAfX6WdWVyWIVnfuNRyePWzmc2p4XbYH MZvSKN8YealOlmLjLH4X+UyPkLeY7xGP63VcfgtUgbe/dNhNLdHkZnWvN18Cd4j01dLis Iw5IwJqK+0XPYRKe1TRPrO+YugEsm3JiLEHREMxTLpkxStxMPeo20vtkupK863aYtle52 s00lS5zQ80OY2z7ecmQO2bI/Z6i7JGEMkCH87H5s7TTIG0m0r/0H0Kt6p4SOEa2D4kB/s K4hxDXwti3rje4NRXly4lYGzoOzq8VewZ4lQFN2NalnF7Eed/MIyVG2IqQI36HcqbcEwe +/5heTQRAdSC+1TrtrbpiVqalcl2WiBTnBM4A6eswumIxrowSGwoqbTgS1lT2ghmQCVJc zp62d9/zRQljpJZb+u4PuSZraP5FcWuBpFNklrTgYzetBUjxNrePgZ4ZxcFzZzE/UMFcK IzGsMf8il0Tdpz+/b90sQoLGpb91OKdfUo413SGWCxngJCSiOpOuIhVFCHay+7E=
  • Authentication-results: bugseng.com; arc=none smtp.remote-ip=162.55.131.47
  • Cc: Jan Beulich <jbeulich@xxxxxxxx>, Roger Pau Monné <roger.pau@xxxxxxxxxx>, Xen-devel <xen-devel@xxxxxxxxxxxxxxxxxxxx>
  • Delivery-date: Thu, 14 Aug 2025 19:37:17 +0000
  • List-id: Xen developer discussion <xen-devel.lists.xenproject.org>

On 2025-08-14 13:47, Andrew Cooper wrote:
On 14/08/2025 12:44 pm, Jan Beulich wrote:
On 14.08.2025 13:42, Andrew Cooper wrote:
On 14/08/2025 12:20 pm, Jan Beulich wrote:
On 08.08.2025 22:23, Andrew Cooper wrote:
--- a/xen/arch/x86/include/asm/x86-defns.h
+++ b/xen/arch/x86/include/asm/x86-defns.h
@@ -75,6 +75,7 @@
 #define X86_CR4_PKE        0x00400000 /* enable PKE */
#define X86_CR4_CET 0x00800000 /* Control-flow Enforcement Technology */ #define X86_CR4_PKS 0x01000000 /* Protection Key Supervisor */ +#define X86_CR4_FRED 0x100000000 /* Fast Return and Event Delivery */
... a UL suffix added here for Misra.
I was surprised, but Eclair is entirely fine with this.
And there is a use of the identifier in a monitored C file?

Yes.  traps-setup.c which definitely has not been added to an exclusion
list.


Might look into it before the end of the week, if time allows. Is [1] the right branch to look at?

[1] https://gitlab.com/xen-project/hardware/xen-staging/-/commits/andrew/fred

~Andrew

--
Nicola Vetrini, B.Sc.
Software Engineer
BUGSENG (https://bugseng.com)
LinkedIn: https://www.linkedin.com/in/nicola-vetrini-a42471253



 


Rackspace

Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.