diff options
| author | Denis Borovikov <denis.borovikov@gmail.com> | 2026-11-04 17:13:50 +0000 |
|---|---|---|
| committer | Vladimir Kondratyev <wulf@FreeBSD.org> | 2026-11-04 17:13:50 +0000 |
| commit | 2edd355e33d28e02f7c7ab3809729f5420c5edaf (patch) | |
| tree | 038b4d95ad47b7940661d463b6a35e8664cd50e3 /gnu/lib/libgomp/config.h | |
| parent | 485ffe067324e314a08411fd11ec89f0581c7cfa (diff) | |
When vt(4) falls back to vt_vga, vga_init() passes vd_video_dev to
vga_pci_repost(), which expects a vgapci(4) device. The framebuffer
driver that set it need not provide one: drm-kmod's linux_fb passes the
parent of the DRM parent device, which is vgapci for LinuxKPI PCI
drivers but the PCI bus for virtio-gpu, whose DRM parent is the virtio
PCI transport. On x86, vga_pci_repost() then calls pci_get_class() on
the bus, which fails the accessor's KASSERT under INVARIANTS; without
INVARIANTS the class reads as 0 and the repost is skipped. Repost only
a vgapci device.
Signed-off-by: Denis Borovikov <denis.borovikov@gmail.com>
Reviewed by: wulf
Differential Revision: https://reviews.freebsd.org/D60880
Diffstat (limited to 'gnu/lib/libgomp/config.h')
0 files changed, 0 insertions, 0 deletions
