mc_tsc            273 drivers/xen/mcelog.c 			m.tsc = mc_bank->mc_tsc;
mc_tsc            104 include/xen/interface/xen-mca.h 	uint64_t mc_tsc;