InterruptFlag     321 src/debug.h      bool is_interrupt_pending(InterruptFlag what) {
InterruptFlag     326 src/debug.h      void set_interrupts_pending(InterruptFlag what) {
InterruptFlag     331 src/debug.h      void clear_interrupt_pending(InterruptFlag what) {
InterruptFlag     206 src/execution.h   void Continue(InterruptFlag after_what);