From: Mauricio Faria de Oliveira <mfo@igalia.com>
To: Thomas Gleixner <tglx@kernel.org>, Ingo Molnar <mingo@redhat.com>,
Borislav Petkov <bp@alien8.de>,
Dave Hansen <dave.hansen@linux.intel.com>,
x86@kernel.org, "H. Peter Anvin" <hpa@zytor.com>,
Juergen Gross <jgross@suse.com>,
Alexey Dobriyan <adobriyan@gmail.com>,
Boris Ostrovsky <boris.ostrovsky@oracle.com>,
Jan Beulich <jbeulich@suse.com>, Brian Gerst <brgerst@gmail.com>
Cc: kernel-dev@igalia.com, linux-kernel@vger.kernel.org,
xen-devel@lists.xenproject.org,
Mauricio Faria de Oliveira <mfo@igalia.com>
Subject: [PATCH v9 0/5] x86/pvh: fix unbootable VMs again (PVH + KASAN)
Date: Sat, 22 Aug 2026 15:33:16 -0300 [thread overview]
Message-ID: <20260822-pvh-kasan-inline-v9-0-e70ef3b75b6a@igalia.com> (raw)
The issue of unbootable VMs with CONFIG_PVH due to CONFIG_KASAN is back.
Booting directly from vmlinux (instead of bzImage) now fails with gcc-14/15
(but works with gcc-12/13) if CONFIG_KASAN_GENERIC is set, on Ubuntu 25.10.
The PVH code is required/supposed not to use the KASAN memory access check
in the kernel entry point as KASAN has not yet been setup, or an exception
is hit and the boot fails.
This was previously described and addressed with __builtin_mem{cmp,set}():
- commit 661362e3dcab ("xen, pvh: fix unbootable VMs (PVH + KASAN - AMD_MEM_ENCRYPT)")
- commit 416a33c9afce ("x86/cpu: fix unbootable VMs by inlining memcmp() in hypervisor_cpuid_base()")
- commit fbe5a6dfe492 ("xen, pvh: fix unbootable VMs by inlining memset() in xen_prepare_pvh()")
However, even with __builtin the compiler may decide to use the out of line
function instead of the inline implementation. So, that does not really fix
the issue unconditionally; see details below.
In order to address this, it's required to switch to inline implementations
that do not depend on the compiler.
There's such a memset() in <asm/string.h> and memcmp() in 'boot/string.c'.
Use them instead of builtins in PVH entry.
Testing:
- Booting from vmlinux (fixed) and bzImage (still works) using
allnoconfig + CONFIG_PVH + CONFIG_KASAN with gcc-12/13/14/15.
- Building with CONFIG_KEXEC_FILE, CONFIG_CFI and !CONFIG_KASAN with LLVM 20
(check for a build error not caught previously).
Details/Debugging:
- Only CONFIG_PVH (works):
make allnoconfig
./scripts/config \
-e 64BIT -e HYPERVISOR_GUEST -e PVH \
-e SERIAL_8250 -e SERIAL_8250_CONSOLE
make olddefconfig
make -j$(nproc) vmlinux
qemu-system-x86_64 \
-accel kvm -nodefaults -nographic -serial stdio \
-kernel vmlinux -append 'console=ttyS0'
...
SeaBIOS (version ...)
Booting from ROM...
Linux version ...
...
<Ctrl-C>
- With CONFIG_KASAN (fails)
./scripts/config -e KASAN
make olddefconfig
make -j$(nproc) vmlinux
qemu-system-x86_64 \
-accel kvm -nodefaults -nographic -serial stdio \
-kernel vmlinux -append 'console=ttyS0'
...
SeaBIOS (version ...)
Booting from ROM...
<QEMU reboot loop, flashing the text above>
- Debugging:
Enable debug info and rebuild.
QEMU: enable and wait for GDB, stop rebooting, remain running.
qemu-system-x86_64 \
-s -S -no-reboot -no-shutdown \
<other options>
gdb vmlinux
(gdb) target remote localhost:1234
...
(gdb) c
...
Thread 2 received signal SIGQUIT, Quit.
...
(gdb) info threads
Id Target Id Frame
1 Thread 1.1 (CPU#0 [running]) bytes_is_nonzero (
start=0xfffffbfff031eebe <error: Cannot access memory at address 0xfffffbfff031eebe>, size=1)
at .../linux/mm/kasan/generic.c:98
* 2 Thread 1.2 (CPU#1 [halted ]) 0x00000000000fd0a9 in ?? ()
...
(gdb) thr 1
...
(gdb) bt
#0 bytes_is_nonzero (start=0xfffffbfff031eebe <error: Cannot access memory at address 0xfffffbfff031eebe>, size=1)
at .../linux/mm/kasan/generic.c:98
#1 memory_is_nonzero (start=0xfffffbfff031eebe, end=0xfffffbfff031eebf) at .../linux/mm/kasan/generic.c:115
#2 memory_is_poisoned_n (addr=0xffffffff818f75f0, size=8) at .../linux/mm/kasan/generic.c:140
#3 memory_is_poisoned (addr=0xffffffff818f75f0, size=8) at .../linux/mm/kasan/generic.c:172
#4 check_region_inline (addr=0xffffffff818f75f0, size=8, write=false, ret_ip=18446744071585002062)
at .../linux/mm/kasan/generic.c:191
#5 kasan_check_range (addr=addr@entry=0xffffffff818f75f0, size=size@entry=8, write=write@entry=false,
ret_ip=18446744071585002062) at .../linux/mm/kasan/generic.c:200
#6 0xffffffff813eb283 in __asan_loadN (addr=addr@entry=0xffffffff818f75f0, size=size@entry=8)
at .../linux/mm/kasan/generic.c:278
#7 0xffffffff815df24e in memcmp (cs=cs@entry=0xffffffff818f75f0, ct=ct@entry=0x1be2fe4, count=<optimized out>,
count@entry=12) at .../linux/lib/string.c:683
#8 0xffffffff81ba2323 in cpuid_base_hypervisor (sig=0xffffffff818f75f0 "XenVMMXenVMM", leaves=2)
at .../linux/arch/x86/include/asm/cpuid/api.h:206
#9 xen_cpuid_base () at .../linux/arch/x86/include/asm/xen/hypervisor.h:46
#10 xen_prepare_pvh () at .../linux/arch/x86/platform/pvh/enlighten.c:119
#11 0x0000000001ba2588 in ?? ()
#12 0x0000000000000000 in ?? ()
(gdb)
Frames #7-#8 show the non-builtin memcmp() (lib/string.c) was called
even with __builtin_memcmp() being used in cpuid_base_hypervisor().
Signed-off-by: Mauricio Faria de Oliveira <mfo@igalia.com>
---
Changes in v9:
- Patch 1: new patch in v9 to fix the patch submitted separately in v8.
- Rebased to next-20260821.
- Link to v8: https://lore.kernel.org/r/20260723-pvh-kasan-inline-v8-0-c1f62c156f52@igalia.com
Changes in v8:
- Patch 2 in v7 was submitted separately as requested, and the
rest of this series was rebased on top of it (Borislav Petkov).
Link: https://lore.kernel.org/all/20260723-x86-memcmp-asm-v2-1-d93ecb43797f@igalia.com/
- Patch 2 in v8:
- Mention 'No functional changes' (Borislav Petkov).
- Remove comment at the top of the header (Borislav Petkov).
- Link to v7: https://lore.kernel.org/r/20260721-pvh-kasan-inline-v7-0-38979a50cef0@igalia.com
Changes in v7:
- Patch 2 (added):
- Address pre-existing issues in 'asm' (Borislav Petkov, Sashiko).
- Link to v6: https://lore.kernel.org/r/20260701-pvh-kasan-inline-v6-0-ba99045dfa9f@igalia.com
Changes in v6:
- Patch 1:
- Explain the return value difference between __inline_memcmp() and memcmp().
- Patch 2 (added):
- Group __inline string functions in <asm/shared/string.h>.
- Link to v5: https://lore.kernel.org/r/20260630-pvh-kasan-inline-v5-0-52afc979be81@igalia.com
Changes in v5:
- Create a minimal separate header in <asm/shared/string.h> instead,
to be used by 'boot/setup.c' and <asm/string.h> (Borislav Petkov).
- Patch 1 (in v4/v3) is no longer needed; removed.
- Patch 1 (in v5):
- Briefly mention there are issues with <asm/string.h>.
- Remove 'Reviewed-by: Jurgen Gross' to be conservative
(same code change and result, but the means changed).
- Link to v4: https://lore.kernel.org/r/20260526-pvh-kasan-inline-v4-0-a310e6a25ecd@igalia.com
Changes in v4:
- Patch 1: address Juergen's feedback:
- s/In next patch/In a future patch/.
- Move footnote (Reasons not to include...) after "---".
- Add 'Reviewed-by: Juergen Gross' in patches 1 and 2 as well.
- Link to v3: https://lore.kernel.org/r/20260520-pvh-kasan-inline-v3-0-bede769c6ec7@igalia.com
Changes in v3:
- Create and use a separate header for inline string functions
to fix a build error reported by kernel test robot (patch 1).
- That also removes '#ifndef _SETUP/#endif' in <asm/string.h>.
- Link to v2: https://lore.kernel.org/r/20260427-pvh-kasan-inline-v2-0-2c57b8dcff6a@igalia.com
Changes in v2:
- Add comment about the return value of __inline_memcmp() in patch 1. (v3: now 2)
- Add 'Reviewed-by: Juergen Gross' in patches 2 and 3 (v3: now 3 and 4).
- Link to v1: https://lore.kernel.org/r/20260422-pvh-kasan-inline-v1-0-7e6194344c92@igalia.com
---
Mauricio Faria de Oliveira (5):
x86/boot: Remove "cc" clobber from memcmp()
x86/asm, x86/boot: expose inline memcmp()
x86/asm: group inline string functions
x86/cpuid: fix unbootable VMs by really inlining memcmp() in hypervisor_cpuid_base()
x86/pvh: fix unbootable VMs by really inlining memset() in xen_prepare_pvh()
arch/x86/boot/string.c | 13 ++--------
arch/x86/include/asm/cpuid/api.h | 2 +-
arch/x86/include/asm/shared/string.h | 47 ++++++++++++++++++++++++++++++++++++
arch/x86/include/asm/string.h | 21 +---------------
arch/x86/platform/pvh/enlighten.c | 3 ++-
5 files changed, 53 insertions(+), 33 deletions(-)
---
base-commit: 903c1cf6dff9964e71eda98a39e2e5d442050472
change-id: 20260422-pvh-kasan-inline-6efac77f1b27
Best regards,
--
Mauricio Faria de Oliveira <mfo@igalia.com>
next reply other threads:[~2026-08-22 18:33 UTC|newest]
Thread overview: 45+ messages / expand[flat|nested] mbox.gz Atom feed top
2026-08-22 18:33 Mauricio Faria de Oliveira [this message]
2026-08-22 18:33 ` [PATCH v9 1/5] x86/boot: Remove "cc" clobber from memcmp() Mauricio Faria de Oliveira
2026-09-01 13:16 ` Jan Beulich
2026-09-02 8:33 ` David Laight
2026-09-02 14:18 ` H. Peter Anvin
2026-09-02 2:31 ` Borislav Petkov
2026-09-02 13:29 ` Michael Matz
2026-09-02 13:48 ` Mauricio Faria de Oliveira
2026-09-03 0:01 ` Borislav Petkov
2026-09-03 0:07 ` Mauricio Faria de Oliveira
2026-09-03 0:39 ` Borislav Petkov
2026-09-03 8:40 ` David Laight
2026-09-02 23:58 ` Borislav Petkov
2026-08-22 18:33 ` [PATCH v9 2/5] x86/asm, x86/boot: expose inline memcmp() Mauricio Faria de Oliveira
2026-09-06 17:01 ` Borislav Petkov
2026-09-06 18:15 ` H. Peter Anvin
2026-09-08 18:04 ` Mauricio Faria de Oliveira
2026-09-08 19:32 ` Borislav Petkov
2026-09-08 21:06 ` Mauricio Faria de Oliveira
2026-09-10 3:38 ` Borislav Petkov
2026-09-10 13:07 ` Mauricio Faria de Oliveira
2026-09-10 14:03 ` H. Peter Anvin
2026-09-08 23:16 ` H. Peter Anvin
2026-09-09 8:38 ` David Laight
2026-09-09 13:43 ` H. Peter Anvin
2026-09-09 19:28 ` David Laight
2026-09-09 19:33 ` H. Peter Anvin
2026-09-09 21:39 ` David Laight
2026-09-09 23:12 ` H. Peter Anvin
2026-09-08 17:57 ` Mauricio Faria de Oliveira
2026-08-22 18:33 ` [PATCH v9 3/5] x86/asm: group inline string functions Mauricio Faria de Oliveira
2026-08-22 18:33 ` [PATCH v9 4/5] x86/cpuid: fix unbootable VMs by really inlining memcmp() in hypervisor_cpuid_base() Mauricio Faria de Oliveira
2026-09-11 4:38 ` Borislav Petkov
2026-09-14 11:22 ` Mauricio Faria de Oliveira
2026-09-15 5:11 ` Borislav Petkov
2026-09-15 8:43 ` David Laight
2026-09-15 15:48 ` Borislav Petkov
2026-09-15 23:49 ` Mauricio Faria de Oliveira
2026-09-16 0:04 ` Borislav Petkov
2026-09-16 0:52 ` Mauricio Faria de Oliveira
2026-08-22 18:33 ` [PATCH v9 5/5] x86/pvh: fix unbootable VMs by really inlining memset() in xen_prepare_pvh() Mauricio Faria de Oliveira
2026-09-11 4:39 ` Borislav Petkov
2026-09-14 11:40 ` Mauricio Faria de Oliveira
2026-09-15 5:26 ` Borislav Petkov
2026-09-15 23:55 ` Mauricio Faria de Oliveira
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20260822-pvh-kasan-inline-v9-0-e70ef3b75b6a@igalia.com \
--to=mfo@igalia.com \
--cc=adobriyan@gmail.com \
--cc=boris.ostrovsky@oracle.com \
--cc=bp@alien8.de \
--cc=brgerst@gmail.com \
--cc=dave.hansen@linux.intel.com \
--cc=hpa@zytor.com \
--cc=jbeulich@suse.com \
--cc=jgross@suse.com \
--cc=kernel-dev@igalia.com \
--cc=linux-kernel@vger.kernel.org \
--cc=mingo@redhat.com \
--cc=tglx@kernel.org \
--cc=x86@kernel.org \
--cc=xen-devel@lists.xenproject.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox
all inboxes | Powered by JetHome®