Symbol: apic_check_stuck_interrupt