Symbol: ef10_intr_fatal