Symbol: machine_intr_handle