26266# 747 "/anthill/stuff/tacas-comp/work/current--X--drivers/gpu/drm/i915/i915.ko--X--safe-main18linux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/46/dscv_tempdir/dscv/ri/08_1/drivers/gpu/drm/i915/i915_debugfs.c.p"
26267 flags = _raw_spin_lock_irqsave(tmp);
26268 }
26269# 748 "/anthill/stuff/tacas-comp/work/current--X--drivers/gpu/drm/i915/i915.ko--X--safe-main18linux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/46/dscv_tempdir/dscv/ri/08_1/drivers/gpu/drm/i915/i915_debugfs.c.p"
26270 if ((unsigned long )dev_priv->first_error == (unsigned long )((struct drm_i915_error_state *)0)) {
26271 {
26272# 749 "/anthill/stuff/tacas-comp/work/current--X--drivers/gpu/drm/i915/i915.ko--X--safe-main18linux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/46/dscv_tempdir/dscv/ri/08_1/drivers/gpu/drm/i915/i915_debugfs.c.p"
26273 seq_printf(m, "no error state collected\n");
26274 }
26275# 750 "/anthill/stuff/tacas-comp/work/current--X--drivers/gpu/drm/i915/i915.ko--X--safe-main18linux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/46/dscv_tempdir/dscv/ri/08_1/drivers/gpu/drm/i915/i915_debugfs.c.p"
26276 goto out;
26277 } else {
26278
26279 }
26280 {
26281# 753 "/anthill/stuff/tacas-comp/work/current--X--drivers/gpu/drm/i915/i915.ko--X--safe-main18linux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/46/dscv_tempdir/dscv/ri/08_1/drivers/gpu/drm/i915/i915_debugfs.c.p"
26282 error = dev_priv->first_error;
26283# 755 "/anthill/stuff/tacas-comp/work/current--X--drivers/gpu/drm/i915/i915.ko--X--safe-main18linux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/46/dscv_tempdir/dscv/ri/08_1/drivers/gpu/drm/i915/i915_debugfs.c.p"
26284 seq_printf(m, "Time: %ld s %ld us\n", error->time.tv_sec, error->time.tv_usec);
26285# 757 "/anthill/stuff/tacas-comp/work/current--X--drivers/gpu/drm/i915/i915.ko--X--safe-main18linux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/46/dscv_tempdir/dscv/ri/08_1/drivers/gpu/drm/i915/i915_debugfs.c.p"
26286 seq_printf(m, "PCI ID: 0x%04x\n", dev->pci_device);
26287# 758 "/anthill/stuff/tacas-comp/work/current--X--drivers/gpu/drm/i915/i915.ko--X--safe-main18linux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/46/dscv_tempdir/dscv/ri/08_1/drivers/gpu/drm/i915/i915_debugfs.c.p"
26288 seq_printf(m, "EIR: 0x%08x\n", error->eir);
26289# 759 "/anthill/stuff/tacas-comp/work/current--X--drivers/gpu/drm/i915/i915.ko--X--safe-main18linux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/46/dscv_tempdir/dscv/ri/08_1/drivers/gpu/drm/i915/i915_debugfs.c.p"
26290 seq_printf(m, "PGTBL_ER: 0x%08x\n", error->pgtbl_er);
26291 }
26292# 760 "/anthill/stuff/tacas-comp/work/current--X--drivers/gpu/drm/i915/i915.ko--X--safe-main18linux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/46/dscv_tempdir/dscv/ri/08_1/drivers/gpu/drm/i915/i915_debugfs.c.p"
26293 if ((unsigned int )((unsigned char )(((struct drm_i915_private *)dev->dev_private)->info)->gen) > 5U) {
26294 {
26295# 761 "/anthill/stuff/tacas-comp/work/current--X--drivers/gpu/drm/i915/i915.ko--X--safe-main18linux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/46/dscv_tempdir/dscv/ri/08_1/drivers/gpu/drm/i915/i915_debugfs.c.p"
26296 seq_printf(m, "ERROR: 0x%08x\n", error->error);
26297# 762 "/anthill/stuff/tacas-comp/work/current--X--drivers/gpu/drm/i915/i915.ko--X--safe-main18linux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/46/dscv_tempdir/dscv/ri/08_1/drivers/gpu/drm/i915/i915_debugfs.c.p"
26298 seq_printf(m, "Blitter command stream:\n");
26299# 763 "/anthill/stuff/tacas-comp/work/current--X--drivers/gpu/drm/i915/i915.ko--X--safe-main18linux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/46/dscv_tempdir/dscv/ri/08_1/drivers/gpu/drm/i915/i915_debugfs.c.p"
26300 seq_printf(m, " ACTHD: 0x%08x\n", error->bcs_acthd);
26301# 764 "/anthill/stuff/tacas-comp/work/current--X--drivers/gpu/drm/i915/i915.ko--X--safe-main18linux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/46/dscv_tempdir/dscv/ri/08_1/drivers/gpu/drm/i915/i915_debugfs.c.p"
26302 seq_printf(m, " IPEIR: 0x%08x\n", error->bcs_ipeir);
26303# 765 "/anthill/stuff/tacas-comp/work/current--X--drivers/gpu/drm/i915/i915.ko--X--safe-main18linux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/46/dscv_tempdir/dscv/ri/08_1/drivers/gpu/drm/i915/i915_debugfs.c.p"
26304 seq_printf(m, " IPEHR: 0x%08x\n", error->bcs_ipehr);
26305# 766 "/anthill/stuff/tacas-comp/work/current--X--drivers/gpu/drm/i915/i915.ko--X--safe-main18linux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/46/dscv_tempdir/dscv/ri/08_1/drivers/gpu/drm/i915/i915_debugfs.c.p"
26306 seq_printf(m, " INSTDONE: 0x%08x\n", error->bcs_instdone);