dummy_intr_establish
void *dummy_intr_establish(uint32_t, int, int, struct cpu_info *,
int (*)(void *), void *, const char *) = dummy_intr_establish;