if (IS_GEN(m->i915, 12))
                err_printf(m, "AUX_ERR_DBG: 0x%08x\n", error->aux_err);
 
+       if (INTEL_GEN(m->i915) >= 12) {
+               int i;
+
+               for (i = 0; i < GEN12_SFC_DONE_MAX; i++)
+                       err_printf(m, "  SFC_DONE[%d]: 0x%08x\n", i,
+                                  error->sfc_done[i]);
+       }
+
        for (ee = error->engine; ee; ee = ee->next)
                error_print_engine(m, ee, error->capture);
 
        if (IS_GEN(i915, 12))
                error->aux_err = intel_uncore_read(uncore, GEN12_AUX_ERR_DBG);
 
+       if (INTEL_GEN(i915) >= 12) {
+               for (i = 0; i < GEN12_SFC_DONE_MAX; i++) {
+                       error->sfc_done[i] =
+                               intel_uncore_read(uncore, GEN12_SFC_DONE(i));
+               }
+       }
+
        /* 4: Everything else */
        if (INTEL_GEN(i915) >= 11) {
                error->ier = intel_uncore_read(uncore, GEN8_DE_MISC_IER);
 
 #define GEN11_VECS_SFC_USAGE(engine)           _MMIO((engine)->mmio_base + 0x2014)
 #define   GEN11_VECS_SFC_USAGE_BIT             (1 << 0)
 
+#define GEN12_SFC_DONE(n)              _MMIO(0x1cc00 + (n) * 0x100)
+#define GEN12_SFC_DONE_MAX             4
+
 #define RING_PP_DIR_BASE(base)         _MMIO((base) + 0x228)
 #define RING_PP_DIR_BASE_READ(base)    _MMIO((base) + 0x518)
 #define RING_PP_DIR_DCLV(base)         _MMIO((base) + 0x220)