354 static int msr_to_offset(u32 msr)  in msr_to_offset()  argument
358 	if (msr == mca_cfg.rip_msr)  in msr_to_offset()
360 	if (msr == MSR_IA32_MCx_STATUS(bank))  in msr_to_offset()
362 	if (msr == MSR_IA32_MCx_ADDR(bank))  in msr_to_offset()
364 	if (msr == MSR_IA32_MCx_MISC(bank))  in msr_to_offset()
366 	if (msr == MSR_IA32_MCG_STATUS)  in msr_to_offset()
372 static u64 mce_rdmsrl(u32 msr)  in mce_rdmsrl()  argument
377 		int offset = msr_to_offset(msr);  in mce_rdmsrl()
384 	if (rdmsrl_safe(msr, &v)) {  in mce_rdmsrl()
385 		WARN_ONCE(1, "mce: Unable to read msr %d!\n", msr);  in mce_rdmsrl()
397 static void mce_wrmsrl(u32 msr, u64 v)  in mce_wrmsrl()  argument
400 		int offset = msr_to_offset(msr);  in mce_wrmsrl()
406 	wrmsrl(msr, v);  in mce_wrmsrl()