155 	int bank;  in cmci_toggle_interrupt_mode()  local
160 	for_each_set_bit(bank, owned, MAX_NR_BANKS) {  in cmci_toggle_interrupt_mode()
161 		rdmsrl(MSR_IA32_MCx_CTL2(bank), val);  in cmci_toggle_interrupt_mode()
168 		wrmsrl(MSR_IA32_MCx_CTL2(bank), val);  in cmci_toggle_interrupt_mode()
353 static void __cmci_disable_bank(int bank)  in __cmci_disable_bank()  argument
357 	if (!test_bit(bank, this_cpu_ptr(mce_banks_owned)))  in __cmci_disable_bank()
359 	rdmsrl(MSR_IA32_MCx_CTL2(bank), val);  in __cmci_disable_bank()
361 	wrmsrl(MSR_IA32_MCx_CTL2(bank), val);  in __cmci_disable_bank()
362 	__clear_bit(bank, this_cpu_ptr(mce_banks_owned));  in __cmci_disable_bank()
413 void cmci_disable_bank(int bank)  in cmci_disable_bank()  argument
422 	__cmci_disable_bank(bank);  in cmci_disable_bank()