152 	int bank;  in cmci_toggle_interrupt_mode()  local
157 	for_each_set_bit(bank, owned, MAX_NR_BANKS) {  in cmci_toggle_interrupt_mode()
158 		rdmsrl(MSR_IA32_MCx_CTL2(bank), val);  in cmci_toggle_interrupt_mode()
165 		wrmsrl(MSR_IA32_MCx_CTL2(bank), val);  in cmci_toggle_interrupt_mode()
350 static void __cmci_disable_bank(int bank)  in __cmci_disable_bank()  argument
354 	if (!test_bit(bank, this_cpu_ptr(mce_banks_owned)))  in __cmci_disable_bank()
356 	rdmsrl(MSR_IA32_MCx_CTL2(bank), val);  in __cmci_disable_bank()
358 	wrmsrl(MSR_IA32_MCx_CTL2(bank), val);  in __cmci_disable_bank()
359 	__clear_bit(bank, this_cpu_ptr(mce_banks_owned));  in __cmci_disable_bank()
410 void cmci_disable_bank(int bank)  in cmci_disable_bank()  argument
419 	__cmci_disable_bank(bank);  in cmci_disable_bank()