K_INT_COR_ECC
[K_INT_COR_ECC] = "corrected ECC",
(void)cpu_intr_establish(K_INT_COR_ECC, IPL_DDB,
sibyte_bus_watch_intr, (void *)K_INT_COR_ECC);
#define M_INT_COR_ECC _SB_MAKEMASK1(K_INT_COR_ECC)
[K_INT_COR_ECC] = "corrected ECC",