/*
 * fminject file
 * dcache data parity error for UltraSPARC-T1 processor
 */

fmridef fmri_cpu {
	uint8_t version;
	string scheme;
	uint32_t cpuid;
	uint8_t cpumask;
	uint64_t serial;
	string cpufru;
};

fmri fmri_cpu detector_0 = {
	0x0,				/* version */
	"cpu",				/* scheme */
	0x0,				/* cpuid, simulate d$ error on this id*/
	0x20,				/* cpumask */
	0xfffff240ad4d5180,		/* serial */
	"hc://MB"			/* cpufru */
};


/*
 * cutting a few corners here and not including all payload members
 * several are for manual deubgging only and are don't cares to the
 * diagnosis engine
 */
evdef ereport.cpu.ultraSPARC-T1.ddc {
	fmri fmri_cpu detector;
	uint64_t sparc-afsr;
	uint64_t sparc-afar;
	uint64_t sparc-real-afar;
	uint64_t tstate;
	uint64_t hstate;
	uint64_t tpc;
	uint8_t  tl;
	uint16_t tt;
	uint64_t lsu-diag-reg;
	uint16_t dcache-ways;	
};

event ereport.cpu.ultraSPARC-T1.ddc ddc_a = {
	detector_0,			/* detector */
	0x30080000,			/* sparc-afsr */
	0x18cce0000,			/* sparc-afar */
	0x18cce0000,			/* sparc-real-afar */
	0x9980001604,			/* tstate */
	0x0,				/* hstate */
	0x7bf36808, 			/* tpc */
	0x0,				/* tl */
	0x63,				/* tt */
	0xf,				/* lsu-diag-reg */
	0x1				/* dcache-ways */
};
ddc_a;