imc_bus_error
platform.intr4 = imc_bus_error;
static void imc_bus_error(vaddr_t, uint32_t, uint32_t);