339 struct xen_mce {  struct
340 	__u64 status;
341 	__u64 misc;
342 	__u64 addr;
343 	__u64 mcgstatus;
344 	__u64 ip;
345 	__u64 tsc;	/* cpu time stamp counter */
346 	__u64 time;	/* wall time_t when error was detected */
347 	__u8  cpuvendor;	/* cpu vendor as encoded in system.h */
348 	__u8  inject_flags;	/* software inject flags */
349 	__u16  pad;
373 struct xen_mce_log {  argument
378 	unsigned recordlen;	/* length of struct xen_mce */  argument