373 static int msr_to_offset(u32 msr)  in msr_to_offset()  argument
377 	if (msr == mca_cfg.rip_msr)  in msr_to_offset()
379 	if (msr == MSR_IA32_MCx_STATUS(bank))  in msr_to_offset()
381 	if (msr == MSR_IA32_MCx_ADDR(bank))  in msr_to_offset()
383 	if (msr == MSR_IA32_MCx_MISC(bank))  in msr_to_offset()
385 	if (msr == MSR_IA32_MCG_STATUS)  in msr_to_offset()
391 static u64 mce_rdmsrl(u32 msr)  in mce_rdmsrl()  argument
396 		int offset = msr_to_offset(msr);  in mce_rdmsrl()
403 	if (rdmsrl_safe(msr, &v)) {  in mce_rdmsrl()
404 		WARN_ONCE(1, "mce: Unable to read msr %d!\n", msr);  in mce_rdmsrl()
416 static void mce_wrmsrl(u32 msr, u64 v)  in mce_wrmsrl()  argument
419 		int offset = msr_to_offset(msr);  in mce_wrmsrl()
425 	wrmsrl(msr, v);  in mce_wrmsrl()