Index: src/execution.h |
diff --git a/src/execution.h b/src/execution.h |
index 8aaa7b42288993b3bc0279d3302c2bc0f8df5e0c..6d0b15f214762a65082492ad7fe7af826893dd15 100644 |
--- a/src/execution.h |
+++ b/src/execution.h |
@@ -210,6 +210,7 @@ enum InterruptFlag { |
bool CheckInterrupt(int flagbit); |
void RequestInterrupt(int flagbit); |
void ClearInterrupt(int flagbit); |
+ bool CheckAndClearInterrupt(InterruptFlag flag, const ExecutionAccess& lock); |
void InvokeApiInterruptCallback(); |