Symbol: intel_check_interrupt