K_INT_BAD_ECC
[K_INT_BAD_ECC] = "bad ECC",
(void)cpu_intr_establish(K_INT_BAD_ECC, IPL_DDB,
sibyte_bus_watch_intr, (void *)K_INT_BAD_ECC);
#define M_INT_BAD_ECC _SB_MAKEMASK1(K_INT_BAD_ECC)
[K_INT_BAD_ECC] = "bad ECC",