122 	int bank;  in cmci_toggle_interrupt_mode()  local
127 	for_each_set_bit(bank, owned, MAX_NR_BANKS) {  in cmci_toggle_interrupt_mode()
128 		rdmsrl(MSR_IA32_MCx_CTL2(bank), val);  in cmci_toggle_interrupt_mode()
135 		wrmsrl(MSR_IA32_MCx_CTL2(bank), val);  in cmci_toggle_interrupt_mode()
321 static void __cmci_disable_bank(int bank)  in __cmci_disable_bank()  argument
325 	if (!test_bit(bank, this_cpu_ptr(mce_banks_owned)))  in __cmci_disable_bank()
327 	rdmsrl(MSR_IA32_MCx_CTL2(bank), val);  in __cmci_disable_bank()
329 	wrmsrl(MSR_IA32_MCx_CTL2(bank), val);  in __cmci_disable_bank()
330 	__clear_bit(bank, this_cpu_ptr(mce_banks_owned));  in __cmci_disable_bank()
381 void cmci_disable_bank(int bank)  in cmci_disable_bank()  argument
390 	__cmci_disable_bank(bank);  in cmci_disable_bank()