And then rebuild and install a new kernel:
KK=`sysctl -n kern.osversion | cut -d# -f1`
cd /usr/src/sys/arch/`machine`/compile/$KK
make obj
make config
make
make install
Index: sys/dev/pci/drm/i915/gt/intel_gt.c
===================================================================
RCS file: /cvs/src/sys/dev/pci/drm/i915/gt/intel_gt.c,v
diff -u -p -r1.5 intel_gt.c
--- sys/dev/pci/drm/i915/gt/intel_gt.c 29 Jan 2022 12:37:09 -0000 1.5
+++ sys/dev/pci/drm/i915/gt/intel_gt.c 11 Dec 2022 07:31:51 -0000
@@ -988,6 +988,10 @@ void intel_gt_invalidate_tlbs(struct int
if (!i915_mmio_reg_offset(rb.reg))
continue;