set_interrupt_limits  358 src/execution.cc     set_interrupt_limits(access);
set_interrupt_limits  400 src/execution.cc   set_interrupt_limits(access);
set_interrupt_limits  413 src/execution.cc   set_interrupt_limits(access);
set_interrupt_limits  426 src/execution.cc   set_interrupt_limits(access);
set_interrupt_limits  475 src/execution.cc   set_interrupt_limits(access);
set_interrupt_limits  489 src/execution.cc     set_interrupt_limits(access);
set_interrupt_limits  248 src/execution.h   inline void set_interrupt_limits(const ExecutionAccess& lock);