Symbol: stp4020_intr_dispatch