/* Reenable CMCI on this CPU in case a CPU down failed.  */
void cmci_reenable(void)
/* Reenable CMCI on this CPU in case a CPU down failed.  */
void cmci_reenable(void)
{
	int banks;
	if (cmci_supported(&banks))
		cmci_discover(banks, 0);
}