Lines Matching defs:bank
3457 /* These helpers are safe iff @msr is known to be an MCx bank MSR. */
3521 * kernels clear bit 10 in bank 4 to workaround a BIOS/GART TLB
5227 unsigned bank_num = mcg_cap & 0xff, bank;
5240 for (bank = 0; bank < bank_num; bank++) {
5241 vcpu->arch.mce_banks[bank*4] = ~(u64)0;
5243 vcpu->arch.mci_ctl2_banks[bank] = 0;
5280 !(vcpu->arch.mci_ctl2_banks[mce->bank] & MCI_CTL2_CMCI_EN))
5296 if (mce->bank >= bank_num || !(mce->status & MCI_STATUS_VAL))
5299 banks += array_index_nospec(4 * mce->bank, 4 * bank_num);
5313 * reporting is disabled for the bank